LÓGICA

PROPOSICION
AL
 DEFINICIÓN

ESTUDIO DE LAS PROPOSICIONES Y LA

RELACIÓN ENTRE ELLAS, ASI COMO LA
FUNCIÓN QUE TIENEN LOS CONECTIVOS
LÓGICOS
 DOS TIPOS DE LENGUAJE
LENGUAJE NATURAL
• Dos mas dos es cuatro
• Si es filósofo, es racional
LENGUAJE
FORMALIZADO
• 2 +2=4 (lenguaje matemático)
• p (lenguaje lógico)
 NIVELES DEL LENGUAJE
LENGUAJE OBJETO METALENGUAJE
Refiere algún objeto Lenguaje que se
de la realidad. refiere a otro
lenguaje

“El lapicero rojo” consta de tres palabras es una oración

Nivel 0 Nivel 1 Nivel 2

Lenguaje objeto Metalenguaje

 PROPOSICIÓN
Es el significado de un enunciado informativo que
posee valor veritativo (verdadero o falso)

-París es capital de Francia - El manco de Lepanto fue cervantes

-El sol es un planeta - Llueve
- 5+1= 6 - Marx dijo: “pienso luego existo”
- - La física es una ciencia social
- Todo peruano es europeo - La vía láctea es una galaxia
 EXPRESIONES QUE NOS PROPOSICIONES

CLASES EJEMPLOS

Funciones proposicionales x+3= 20

Nombres y descripciones definidas El manco de Lepanto

Frases conocidas Una golondrina no hace un verano

Sentencias populares de los filósofos Pienso luego existo

Pseudoproposiciones El libro tiene dolor de espalda

Saludos !Hola!, buenos días

Órdenes y preguntas !Silencio!, ¿qué día es hoy?

CLASIFICACIÓN
DE LAS
PROPOSICIONES
 Proposiciones simples
(atómicas o elementales)
- Posee un solo mensaje
- Carecen de conectores lógico: (...y…, …o…, si… entonces, …si y solo si…)
- Carecen del adverbio de negación (no)
a. Proposiciones predicativas. Son las que poseen sujeto y predicado
Ejemplos
- La pizarra es de madera - Estudia - Hegel fue un filósofo alemán
b. Proposiciones relacionales. Son las que poseen más de un sujeto vinculados entre si
Ejemplos
- El cinco es mayor que dos - Karina y Carlos son primos - El Perú se halla entre Chile y Ecuador

- Hegel y Schopenhauer fueron filósofos rivales - Piura y tumbes son ciudades vecinas
 PROPOSICIONES compuestas
(moleculares o coligativas)

- Posee dos o más mensajes enlazados por nexos lógicos (...y…, …o…, si… entonces, …si y solo si…).
- Poseen adverbio (no)
Proposiciones conjuntivas “…y…”; Proposiciones disyuntivas (débil,“…o…”), fuerte, “O…o…”;
Proposiciones condicional “…si… entonces…”; Proposiciones bicondicionales “…si y solo si…”;
Proposiciones negativas “No…”
- Juan es cantante y maría es escritora - Juan es filósofo o literato - Juan no es abogado
formalización
 PROPOSICIONES compuestas
(moleculares o coligativas)

a. Proposiciones conjuntivas: “…y…”

- Son proposiciones que se vinculan mediante el nexo “…y…” (o sus equivalentes “tanto…como”, “pero”,
“además”, “sin embargo”, “no obstante”, “incluso”, “a la vez”, “así mismo”, “igualmente”, “pese a que”, “a
la vez”, “a pesar de”, etc.)

Ejemplo:
Estudia además de trabajar. Y al conmutarse sería Trabaja además de estudiar. Se mantiene el mensaje
 PROPOSICIONES compuestas
(moleculares o coligativas)

b. Proposiciones disyuntivas: “…o…”

- Son proposiciones que se vinculan mediante el nexo “…o…” (o sus equivalentes ...u…, ora… ora, ya…
ya, sea… sea, etc.)
Disyuntiva inclusiva (débil)
- Son las que presentan tres posibles mensajes; por ejemplo, Canta o baila, sus posibles mensajes
serían los siguientes:
Mensaje 1: Canta Mensaje 2: Baila Mensaje 3: Canta y baila a la vez

Marx es filósofo o economista

𝑝∨𝑞
 PROPOSICIONES compuestas
(moleculares o coligativas)

Disyuntiva exclusiva (fuerte): “O…o…”

- Son las que presentan dos posibles mensajes: por ejemplo, O canta o baila , sus posibles mensajes
serían los siguientes:
Mensaje 1: Canta Mensaje 2: Baila
La disyuntiva fuerte puede
presentar la estructura “…o…”
Nació en Ayacucho o Lima ; O canta o baila en estos casos:
p↮ 𝑞 p↮ 𝑞 -Nació en Lima o Arequipa
-Una proposición es verdadera
∆ ∆
o falsa
 PROPOSICIONES compuestas
(moleculares o coligativas)
b. Proposiciones condicional: “…si… entonces…”
- Son proposiciones que se vinculan mediante el nexo “…si…entonces…” (o sus equivalentes “por
tanto”, “en consecuencia”, “se deduce”, “se infiere”, “por ende”, “por consiguiente”, “por eso”, “luego”,
“de ahí que”. Asimismo, otros equivalentes son “si”, “porque”, “ya que”, “dado que”, “puesto que”,
“pues”, “debido a que” y “la razón es que”. Estas proposiciones poseen antecedente y consecuente

Ejemplos:

- Si estudio, entonces ingresaré

antecedente consecuente

- Ingresaré si estudio

consecuente antecedente
 PROPOSICIONES compuestas
(moleculares o coligativas)
b. Proposiciones condicional: “…si… entonces…”

Si estudio entonces ingresaré Si……….. entonces = por tanto, en consecuencia, por consiguiente, de ahí que,
por ende, por ello, luego.
antecedente consecuente
𝑝→𝑞

Ingresaré si estudio ………Si……… = porque, ya que, dado que, puesto que, debido a que, pues.

consecuente antecedente
𝑞→𝑝
 PROPOSICIONES compuestas
(moleculares o coligativas)
b. Proposiciones bicondicionales: “…si y solo si…”
- Son proposiciones que se vinculan mediante el nexo “…si y solo si…” (o sus equivalentes “cuando y
solo cuando”, “cuando y solamente cuando”, “si y solamente si”, “entonces y solo entonces”, “es
condición necesaria”, etc.
Ejemplo:

La manzana está madura si y solo si está dulce

𝑝 ⟷q
 PROPOSICIONES compuestas
(moleculares o coligativas)
b. Proposiciones negativas: “No…”
- Son proposiciones poseen el adverbio de negación “No…” (o sus equivalentes “es falso que”, “nunca”,
“jamás”, “tampoco”, “no es verdad que”, etc.

Ejemplos:
- Alberto no es ingeniero
- Es falso que la revolución haya fracasado
- Soy infiel
∼𝑝
 PROPOSICIONES MOLECULARES
NEXOS GRAMATICALES Y CONSTANTES O DENOMINACION TIPOS DE CONSTANTES
ADVERBIO DE NEGACIÓN CONECTORES LÓGICAS

…y… Conjunción

… o… Disyuntiva débil
DIÁDICAS
O… o… Disyuntiva fuerte

Si… entonces… Condicional

… si y solo si… Bicondicional

No… Negación MONÁDICAS

Funciones veritativas
 CONJUNCIÓN DISYUNCÍON CONDICIONAL
𝑝∧𝑞 DEBIL 𝑝→q
V V VVV 𝑝∨𝑞 VVV
V F VF F VVV VF F
F V FF V VV F FV V
F F FF F FV V FV F
FF F

BIOCONDICIONAL DISYUNCIÓN
NEGACIÓN
𝑝 ⟷q FUERTE
p↮ 𝑞 ∼𝑝
VVV FV
VF F VFV
VV F V F
FF V
FV V
FV F FF F

Aplicación de la fórmula , donde “n” significa la cantidad de variable que tiene la fórmula y el resultado es la
cantidad de combinaciones.
 Tabla de funciones veritativas

V V V V F V V F V

V F F V V F F V F

F V F V V V F

F F F F F V V
Tablas de verdad y
método abreviado
 Tabla de verdad
-TAUTOLÓGICAS O VALIDAS Son leyes lógicas
-CONTRADICTORIAS
No son leyes lógicas
-CONSISTENTES O CONTINGENTE

(𝑝 ∧𝑞) →𝑝
V V V V
V F F V
F V F V
F F F V TAUTOLOGÍA
 CLASIFICACIÓN DE LAS FORMULAS SEGÚN EL RESU.LTADO DE SU MATRIZ FÓRMULA EQUIVALENTE
PRINCIPAL

TAUTOLÓGICAS O VALIDAS V,V,V,V,…..,V

CONTRADICTORIAS F,F,F,…,F

CONSISTENTES O CONTINGENTE V,F,V,…,F

 El método abreviado
Es un procedimiento decisorio que permite determinar la validez o la invalidez de las inferencias. Para su
aplicación se debe seguir estos pasos:

Paso 1
Asignar el valor de falsedad (si te pide corroborar una Tautología) o verdad (si te pide corroborar una
contradicción), como hipótesis, al ordenador de mayor jerarquía.
Paso 2
Evaluar los valores de los otros operadores y variables procurando en lo posible que se cumpla la
hipótesis.
Paso 3
Si se llega a una contradicción entre sus operadores o variables, significa que el valor de la formula es
tautológica si asignaste el valor de falsedad y Contradictoria si asignaste el valor de verdad.
Ejemplo: RESOLUCIÓN
¿Esta proposición es tautológica ? q=V y q=F, hay una contradicción en
V V el valor de la variable ; por lo cual, la
V F expresión es una tautología

F
Equivalencias
notables
 EQUIVALENCIAS NOTABLES
IDEMPOTENCIA ASOCIACIATIVA ABSORCIÓN
…. []
[)]
…. []
DOBLE NEGACIÓN [)]
[]
∼(∼ A )⟷ 𝐴 DISTRIBUICIÓN []
∼(∼ ( ∼ A ) )⟷ ∼ 𝐴
[)]
DEFINICIÓN DEL CONDICIONAL
CONMUTACIÓN [)] ( A → B ) ⟷∼( 𝐴∧ ∼ 𝐵)
( A ∧ B ) ⟷ ( 𝐵∧ 𝐴) TEOREMAS DE A. MORGAN ( A → B ) ⟷(∼ 𝐴∨ 𝐵)
( A ∨ B ) ⟷ ( 𝐵∨ 𝐴) ∼ ( A ∧ B ) ⟷ (∼ 𝐵 ∨∼ 𝐴) DEFINICIÓN DEL BICONDICIONAL
[)]
( A ↮ B ) ⟷ (𝐵↮ 𝐴)
∼ ( A ∨ B ) ⟷ (∼ 𝐵 ∧∼ 𝐴) DEFINICIÓN DE LA DISYUNTIVA EXCLUSIVA
( A ⟷ B ) ⟷ (𝐵 ⟷ 𝐴) [)]
 EQUIVALENCIAS NOTABLES

TRANSPOSICIÓN LEYES TAUTOLÓGICAS Y CONTRADICCION

( A → B ) ⟷(∼ 𝐵 →∼ 𝐴) Q

⏊
Implicancias notables
 IMPLICANCIAS
NOTABLES FALACIA FORMAL
MODUS PONENDO PONENS (M.P) AFIRMACIÓN DEL CONSECUENTE
𝑃 1: 𝐴 → B 𝑃 1: 𝐴 → B
𝑃 2: 𝐴 [] 𝑃 2: 𝐵 []
C C

MODUS TOLLENDO TOLLENS (M.T) NEGACIÓN DEL ANTECEDENTE

𝑃 1: 𝐴 → B 𝑃 1: 𝐴 → B
𝑃 2:∼ B [] 𝑃 2:∼ A []

C C
 IMPLICANCIAS
NOTABLES FALACIA FORMAL
SILOGISMO DISYUNTIVOS (S.D)
SILOGISMO DISYUNTIVOS (S.D)
𝑃 1: 𝐴 ∨ B
𝑃 1: 𝐴 ∨ B []
[] 𝑃 2: A
𝑃 2:∼ B
C
C
CADENA FALSA
𝑃 1: 𝐴 → B
[)]C)
SILOGISMO HIPOTÉTICO 𝑃 2: A → 𝐶
𝑃 1: 𝐴 → B
[)]C) C
𝑃 2: B → 𝐶
CAMBIO DEL ANTECEDENTE DE LA CONCLUSION
C
𝑃 1: 𝐴 → B
[)])
𝑃 2: B → 𝐶
C
 IMPLICANCIAS NOTABLES
ADJUNCIÓN (ADJ.) SIMPLIFICACIÓN (SIMPL.) ADICIÓN (ADIC.)

𝑃 1: 𝐴 𝑃 1: 𝐴 ∧ 𝐵 𝑃 1: 𝐴 ∧ 𝐵
𝑃 1: 𝐴
𝑃 2: B C C
C
C
( 𝐴∧ B )→ 𝐵
( 𝐴∧ B )→ 𝐴
( 𝐴∧ B ) → ( 𝐴∧ B ) A →( 𝐴 ∨ 𝐵 )
 IMPLICANCIAS NOTABLES
DILEMAS CONSTRUCTIVOS DILEMAS DESTRUCTIVOS

*SIMPLES (DCS) *SIMPLES (DDS)

𝑃 1: 𝐴 → B
𝑃 1: 𝐴 → B
𝑃 2: 𝐴→C
𝑃 2: 𝐶→ B
𝑃 3:∼ 𝐵∨ ∼C
𝑃 3 : 𝐴∨C [)]
C
C [)]

*COMPUESTO (DCC) *COMPUESTO (DDC)

𝑃 1: 𝐴 → B 𝑃 1: 𝐴 → B
𝑃 2:C → 𝐷 𝑃 2:C → 𝐷
𝑃 3 : A ∨𝐶 [)] 𝑃 3:∼ B∨ ∼ D
C C
[)]
 DEDUCCIÓN NATURAL
PRUEBA DIRECTA

𝑃 1: 𝑝 → q C a) c) e)
𝑃 2:∼𝑟 ∨ ∼q
𝑃 3:𝑟 b) d)

4 : ∼ q2.3 .(𝑆𝑖𝑙𝑜𝑔𝑖𝑠𝑚𝑜.𝐷𝑖𝑠𝑦𝑢𝑛𝑡𝑖𝑣𝑜.)
5 : ∼ p1.4.(𝑀𝑜𝑑𝑢𝑠.𝑇𝑜𝑙𝑙𝑒𝑛𝑑𝑜𝑡𝑜𝑙𝑙𝑒𝑛𝑠.)
CIRCUITOS
LÓGICOS
 DEFINICIÓN
Son esquemas formales que representan a sistemas informáticos de diversa índole (desde corriente eléctrica
hasta datos informáticos), y cuyo elementos son los siguientes: entrada, interruptor y salida

CIRCUITO EN SERIE CIRCUITO EN PARALELO

𝑝
𝑝 𝑞
𝑞

(𝑝 ∧ q)
(𝑝 ∨ q)
 práctica
1.- Simbolice la siguiente proposición:

María se matricula en la UNI, si solo si ,consigue vacante en Ingeniería de Sistemas y no obtiene la beca a Francia.

𝑝 ⟷ 𝑞 ∧∼ 𝑟
𝑝 ⟷ (𝑞 ∧∼ 𝑟 )

𝑝 ⟷ (𝑞 ∧ ∼ 𝑟 )
 práctica
2.- Simbolice la siguiente proposición:

Es falso que siendo de la burguesía, luche a favor del proletariado. Pues es falso que el burgués renuncie a su clase.

∼ 𝑝 𝑞 ∼ 𝑟
→
→
∼ 𝑝→𝑞 ∼r

∼r
→
∼ (𝑝 → 𝑞)
∼ (𝑝 → 𝑞)← ∼ r
∼r → ∼(𝑝 →𝑞)
6.- El equivalente de si estudié, ingresé es………..

→
si estudié , ingresé

𝑝 𝑞
Hallamos su equivalente 𝑝→𝑞

∼[(𝑝 ∧ 𝑞)→ 𝑞]