1

INFERENCIAS LÓGICAS
Y ESQUEMAS
MOLECULARES
1) PROPOSICIONES LÓGICAS 2
 Valor de verdad de un enunciado.
 No presentan ambigüedad.
 Notación (p, q, r, etc.).
 Ejemplos:
 𝜋 ≈ 3,14159
 Helsinki capital de Finlandia.
 ¡Temblor!
 ¿Hoy es lunes? (No es proposición)
 ¡Dios mío… Ayúdame en la práctica! (No es proposición)

 Nota: Proposiciones lógicas o proposiciones.

1) PROPOSICIONES LÓGICAS 3
 Valores veritativos o valores de verdad.
 Tabla de verdad p
V
F
 Clases de proposiciones lógicas:
 Proposiciones simples o atómicas:
 Julio toma café.
 Proposiciones compuestas o moleculares:
 Lima es capital de Perú y el Londres está en Europa.
2) PROPOSICIONES COMPUESTAS BÁSICAS 4
 La negación
 Tabla de verdad 𝒑 ~𝒑
V F
F V
 p: Messi toma café.
La negación: “No p”
“No es cierto que p”
“No es cierto que Messi toma café”
 q: 5x4=20
 r: París es capital de España
2) PROPOSICIONES COMPUESTAS BÁSICAS 5
 La disyunción (También llamada disyunción débil)
 Posee un sentido inclusivo
 Tengo DNI y/o licencia de conducir
 Tengo DNI o licencia de conducir 𝒑 𝒒 𝒑 ∨ 𝒒
 p ∨ q (se lee p o q)
V V V
 Tabla de verdad V F V
 7 es menor que 4 o 5 es mayor que 3
F V V
 “Sólo es F cuando ambas son falsas” F F F
NOTA: La “o” es también llamada “o débil”
2) PROPOSICIONES COMPUESTAS BÁSICAS 6
 La conjunción
 Tengo DNI y licencia de conducir
 p ∧ q (se lee p y q )
𝒑 𝒒 𝒑 ∧ 𝒒
 Tabla de verdad
 7 es menor que 4 y 5 es mayor que 3 V V V
V F F
F V F
F F F
 “Sólo es V cuando ambas son verdaderas”
2) PROPOSICIONES COMPUESTAS BÁSICAS 7
 La condicional
 Si estudio para el examen entonces aprobaré
 p ⟶ q (se lee p entonces q )
 p: antecedente 𝒑 𝒒 𝒑 ⟶ 𝒒
 q: consecuente
V V V
 Tabla de verdad V F F
 3 − 1 = 4 entonces 51 es número par
F V V
 Me esfuerzo, lograré el éxito.
 “Sólo es F cuando el antecedente es verdadero y F F V
el consecuente falso”
2) PROPOSICIONES COMPUESTAS BÁSICAS 8
 La bicondicional (También llamada doble condicional)
 Viajaré en mis vacaciones si y sólo si obtengo 18 en
el examen parcial
p ⟷ q (se lee p si y sólo si q ) 𝒑 𝒒 𝒑 ⟷ 𝒒
p ⟷ q (se lee p si y solamente si q)
V V V
 Tabla de verdad V F F
F V F
 “Sólo es V cuando tienen el mismo
valor de verdad” F F V
NOTA: No confundir valor de verdad con verdadero.
2) PROPOSICIONES COMPUESTAS BÁSICAS 9
 La disyunción exclusiva – disyunción excluyente – disyunción fuerte
 Mañana a las 6:00 a.m. viajo a Piura o Ica
p ↮ q (sólo p o sólo q )
p ∆ q (sólo p o sólo q ) 𝒑 𝒒 𝒑∆𝒒
 Tabla de verdad
 o voy temprano a clase o duermo V V F
5 minutos más. V F V
F V V
 “Sólo es F cuando tienen el mismo
valor de verdad” F F F
NOTA: La “o” es también llamada “o fuerte” “o excluyente”.
 3) PROPOSICIONES COMPUESTAS 10
 Ejemplo: Realice la tabla de verdad de la proposición compuesta
siguiente: ~𝑝 ∨ 𝑞 ⟶ 𝑟 ∧ 𝑝

 NOTA: Propiedad conmutativa

𝒑 𝒒 𝒑 ∨ 𝒒 𝒑 𝒒 𝒑 ∧ 𝒒 𝒑 𝒒 𝒑 ⟶ 𝒒

V V V V V V V V V
𝒑 ~𝒑 V F V V F F V F F
V F F V V F V F F V V
F V F F F F F F F F V
 PASOS PREVIOS A LA TABLA DE VERDAD 11
PRIMER PASO: Número de proposiciones (n),
las negaciones no se cuentan
~𝑝 ∨ 𝑞 ⟶ 𝑟 ∧ 𝑝

SEGUNDO PASO: Número de posibilidades (NP)

𝑛
𝑁𝑃 = 2
TERCER PASO: Identificar todas las posibilidades 12
𝒑 𝒒 𝒓
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
 TABLA DE VERDAD 13
𝒑 𝒒 𝒓 ~ 𝑝 ∨ 𝑞 ⟶ 𝑟 ∧ 𝑝
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
 TABLA DE VERDAD 14
𝒑 𝒒 𝒓 ሾ ~𝒑 ∨ 𝒒ሿ → ሺ𝒓 ∧ 𝒑ሻ
V V V F V V V
V V F F V F V
V F V F F V V
V F F F F F V
F V V V V V F
F V F V V F F
F F V V F V F
F F F V F F F
1 1 1 1
 TABLA DE VERDAD
𝒑 𝒒 𝒓 ሾ ~𝒑 ∨ 𝒒ሿ → ሺ𝒓 ∧ 𝒑ሻ
15
V V V F V V V V V
V V F F V V F F V
V F V F F F V V V
V F F F F F F F V
F V V V V V V F F
F V F V V V F F F
F F V V V F V F F
F F F V V F F F F
1 2 1 1 2 1
 TABLA DE VERDAD
𝒑 𝒒 𝒓 ሾ ~𝒑 ∨ 𝒒ሿ → ሺ𝒓 ∧ 𝒑ሻ
16
V V V F V V V V V V
V V F F V V F F F V
V F V F F F V V V V
V F F F F F V F F V
F V V V V V F V F F
F V F V V V F F F F
F F V V V F F V F F
F F F V V F F F F F
1 2 1 3 1 2 1
3) PROPOSICIONES COMPUESTAS 17
 Ejemplo: Realice la tabla de verdad de la proposición compuesta
siguiente: ~ 𝑝 ⟶ 𝑞 ⟶ 𝑟 ⟶ 𝑠 ∧ 𝑟

𝒑 𝒒 𝒑 ∧ 𝒒 𝒑 𝒒 𝒑 ⟶ 𝒒

𝒑 ~𝒑 V V V V V V
V F V F F V F F
F V F V F F V V
F F F F F V
𝒑
V
𝒒
V
𝒓
V
𝒔
V
~ 𝑝 ⟶ 𝑞 ⟶ 𝑟 ⟶ 𝑠 ∧ 𝑟
18
V V V F
V V F V
V V F F
V F V V
V F V F
V F F V
V F F F
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F
𝒑 𝒒 𝒓 𝒔 ሾ ~ ሺ 𝒑 ⟶ 𝒒 ሻ ⟶ 𝒓 ሿ ⟶ ሺ 𝒔 ∧ 𝒓 ሻ
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
F
V
V
19
V V F V V V F V F
V V F F V V F F F
V F V V V F V V V
V F V F V F V F V
V F F V V F F V F
V F F F V F F F F
F V V V F V V V V
F V V F F V V F V
F V F V F V F V F
F V F F F V F F F
F F V V F F V V V
F F V F F F V F V
F F F V F F F V F
F F F F F F F F F
1 1 1 1 1
𝒑 𝒒 𝒓 𝒔 ሾ ~ ሺ 𝒑 ⟶ 𝒒 ሻ ⟶ 𝒓 ሿ ⟶ ሺ 𝒔 ∧ 𝒓 ሻ
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
V
V
F
V
F
V
V
20
V V F V V V V F V F F
V V F F V V V F F F F
V F V V V F F V V V V
V F V F V F F V F F V
V F F V V F F F V F F
V F F F V F F F F F F
F V V V F V V V V V V
F V V F F V V V F F V
F V F V F V V F V F F
F V F F F V V F F F F
F F V V F V F V V V V
F F V F F V F V F F V
F F F V F V F F V F F
F F F F F V F F F F F
1 2 1 1 1 2 1
𝒑 𝒒 𝒓 𝒔 ሾ ~ ሺ 𝒑 ⟶ 𝒒 ሻ ⟶ 𝒓 ሿ ⟶ ሺ 𝒔 ∧ 𝒓 ሻ
V
V
V
V
V
V
V
F
F
F
V
V
V
V
V
F
21
V V F V F V F F
V V F F F V F F
V F V V V F V V
V F V F V F V F
V F F V V F F F
V F F F V F F F
F V V V F V V V
F V V F F V V F
F V F V F V F F
F V F F F V F F
F F V V F V V V
F F V F F V V F
F F F V F V F F
F F F F F V F F
3 2 1 2
𝒑 𝒒 𝒓 𝒔 ሾ ~ ሺ 𝒑 ⟶ 𝒒 ሻ ⟶ 𝒓 ሿ ⟶ ሺ 𝒔 ∧ 𝒓 ሻ
V
V
V
V
V
V
V
F
F
F
V
V
V
V
V
F
22
V V F V F V F F
V V F F F V F F
V F V V V V V V
V F V F V V V F
V F F V V F F F
V F F F V F F F
F V V V F V V V
F V V F F V V F
F V F V F V F F
F V F F F V F F
F F V V F V V V
F F V F F V V F
F F F V F V F F
F F F F F V F F
3 4 1 2
𝒑 𝒒 𝒓 𝒔 ሾ ~ ሺ 𝒑 ⟶ 𝒒 ሻ ⟶ 𝒓 ሿ ⟶ ሺ 𝒔 ∧ 𝒓 ሻ
V
V
V
V
V
V
V
F
V
V
V
F
V
F
23
V V F V V F F
V V F F V F F
V F V V V V V
V F V F V F F
V F F V F V F
V F F F F V F
F V V V V V V
F V V F V F F
F V F V V F F
F V F F V F F
F F V V V V V
F F V F V F F
F F F V V F F
F F F F V F F
3 1 2 1 4 1 5 1 2 1
𝒑 𝒒 𝒓 𝒔 ሾ ~ ሺ 𝒑 ⟶ 𝒒 ሻ ⟶ 𝒓 ሿ ⟶ ሺ 𝒔 ∧ 𝒓 ሻ
V
V
V
V
V
V
V
F
V
F
24
V V F V F
V V F F F
V F V V V
V F V F F
V F F V V
V F F F V
F V V V V
F V V F F
F V F V F
F V F F F
F F V V V
F F V F F
F F F V F
F F F F F
3 1 2 1 4 1 5 1 2 1
𝒑 𝒒 𝒓 𝒔 ሾ ~ ሺ 𝒑 ⟶ 𝒒 ሻ ⟶ 𝒓 ሿ ⟶ ሺ 𝒔 ∧ 𝒓 ሻ
V
V
V
V
V
V
V
F
F
F
V
V
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
V
25
V V F V F V V V V F F V F F
V V F F F V V V V F F F F F
V F V V V V F F V V V V V V
V F V F V V F F V V F F F V
V F F V V V F F F F V V F F
V F F F V V F F F F V F F F
F V V V F F V V V V V V V V
F V V F F F V V V V F F F V
F V F V F F V V V F F V F F
F V F F F F V V V F F F F F
F F V V F F V F V V V V V V
F F V F F F V F V V F F F V
F F F V F F V F V F F V F F
F F F F F F V F V F F F F F
3 1 2 1 4 1 5 1 2 1
 4) TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA 26
 Ejemplo: Realice la tabla de verdad de la proposición compuesta
siguiente: ~𝑝 ∨ 𝑞 ∧ ~𝑞 ⟶ ~𝑝

𝒑 𝒒 𝒑 ∨ 𝒒 𝒑 𝒒 𝒑 ∧ 𝒒 𝒑 𝒒 𝒑 ⟶ 𝒒

V V V V V V V V V
𝒑 ~𝒑 V F V V F F V F F
V F F V V F V F F V V
F V F F F F F F F F V
 Ejemplo: Realice la tabla de verdad de la proposición 27
compuesta siguiente: ~𝑝 ∨ 𝑞 ∧ ~𝑞 ⟶ ~𝑝

𝒑 𝒒 ሾሺሺ~𝒑ሻ ∨ 𝒒ሻ ∧ ~𝒒ሿ ⟶ ~𝒑
V V
V F
F V
F F
 Ejemplo: Realice la tabla de verdad de la proposición 28
compuesta siguiente: ~𝑝 ∨ 𝑞 ∧ ~𝑞 ⟶ ~𝑝

𝒑 𝒒 ሾሺሺ~𝒑ሻ ∨ 𝒒ሻ ∧ ~𝒒ሿ ⟶ ~𝒑
V V F V V F F V F
V F F F F F V V F
F V V V V F F V V
F F V V F V V V V

TAUTOLOGÍA
 Ejemplo: Realice la tabla de verdad de la proposición 29
compuesta siguiente: 𝑝 ∧ 𝑞 ∨ 𝑞 ∧ ~𝑞

𝒑 𝒒 ሾሺ𝒑 ∧ 𝒒ሻ ∨ 𝒒ሿ ∧ ~𝒒
V V
V F
F V
F F
 Ejemplo: Realice la tabla de verdad de la proposición 30
compuesta siguiente: 𝑝 ∧ 𝑞 ∨ 𝑞 ∧ ~𝑞

𝒑 𝒒 ሾሺ𝒑 ∧ 𝒒ሻ ∨ 𝒒ሿ ∧ ~𝒒
V V V V V V V F F
V F V F F F F F V
F V F F V V V F F
F F F F F F F F V

CONTRADICCIÓN
 (Ejemplo anterior – Diapositiva 16)
𝒑 𝒒 𝒓 ሾ ~𝒑 ∨ 𝒒ሿ → ሺ𝒓 ∧ 𝒑ሻ
31
V V V F V V V V V V
V V F F V V F F F V
V F V F F F V V V V
V F F F F F V F F V
F V V V V V F V F F
F V F V V V F F F F
F F V V V F F V F F
F F F V V F F F F F

CONTINGENCIA
 Ejercicio
32
Sean p: 8 es un número par, q: 8 es el producto de dos
enteros. Traducir en símbolos cada una de las siguientes
proposiciones:
a) 8 es un número par o es un producto de dos enteros.
b) 8 es impar y es un producto de dos enteros.
c) 8 es par y un producto de dos enteros o es un número
impar y no un producto de dos enteros.
 33
a) 8 es un número par o es un producto de dos enteros.
 34
a) 8 es un número par o es un producto de dos enteros.

𝑝 ∨ 𝑞

a) 𝑝 ∨ 𝑞
 35
b) 8 es impar y es un producto de dos enteros.
 36
b) 8 es impar y es un producto de dos enteros.

~𝑝 ∧ 𝑞

b) (~𝑝ሻ ∧ 𝑞

b) ~𝑝 ∧ 𝑞
 37
c) 8 es par y un producto de dos enteros o

es un número impar y no un producto de dos enteros.

 38
c) 8 es par y un producto de dos enteros o

𝑝 ∧ 𝑞 ∨

es un número impar y no un producto de dos enteros.

~𝑝 ∧ ~𝑞

c) 𝑝 ∧ 𝑞 ∨ ~𝑝 ∧ ~𝑞
 Ejercicio
39
De la falsedad de ሺ𝑝 → ~𝑞ሻ ∨ ሺ~𝑟 → 𝑠ሻ, deducir el
valor de:

a) ~𝑝 ∧ ~𝑞 ∨ ~𝑞

b) ~𝑟 ∨ 𝑞 ∧ 𝑞 ↔ ~𝑞 ∨ 𝑟 ∧ 𝑠

c) ሺ𝑝 → 𝑟ሻ → ሺ𝑝 ∨ 𝑞ሻ ∧ ~𝑞
 Ejercicio
40
Si se sabe que 𝑝 ∧ 𝑞 y ሺ𝑞 → 𝑡ሻ son falsas. ¿Cuáles de
las siguientes proposiciones son verdaderas?

a) ~𝑝 ∨ 𝑡 ∨ 𝑠

b)~ 𝑝 ∧ ~𝑞 ∨ ~𝑝

c) ~𝑝 ∨ 𝑞 ∧ ~𝑡 ↔ 𝑝 →𝑞 ∧~ 𝑞∧t
 Ejercicio
41
Si la proposición ~𝑝 ∧ 𝑞 → 𝑝 ∧ 𝑟 ∨ 𝑡 es falsa.
Hallar el valor veritativo de:

a)~ ~𝑝 ∨ ~𝑞 → 𝑟 ∨ ~𝑡

b) ~𝑞 ∧ ~r ∨ ~𝑡 ∧ 𝑝 ∨ 𝑞

c) ~𝑝 → 𝑡 → ~𝑞 → 𝑟
5) IMPLICANCIA LÓGICA Y EQUIVALENCIA LÓGICA 42
 Implicancia lógica (Implicancia)
 𝑝 ⟶ 𝑞 es TAUTOLOGÍA
 Ejemplo: ~𝑝 ∨ 𝑞 ∧ ~𝑞 ⟶ ~𝑝
𝒑 𝒒 ሾሺሺ~𝒑ሻ ∨ 𝒒ሻ ∧ ~𝒒ሿ ⟶ ~𝒑
V V F V V F F V F
V F F F F F V V F
F V V V V F F V V
F F V V F V V V V
~𝑝 ∨ 𝑞 ∧ ~𝑞 ⟹ ~𝑝
5) IMPLICANCIA LÓGICA Y EQUIVALENCIA LÓGICA 43
 Equivalencia lógica (Equivalencia)
 𝑝 ⟷ 𝑞 es TAUTOLOGÍA
 Ejemplo: 𝑝 ∧ ሺ𝑝 ∨ 𝑞ሻ ⟷ 𝑝
𝒑 𝒒 𝒑 ∧ ሺ𝒑 ∨ 𝒒ሻ ⟷ 𝒑
V V V V V V V V V
V F V V V V F V V
F V F F F V V V F
F F F F F F F V F
𝑝 ∧ ሺ𝑝 ∨ 𝑞ሻ ⟺ 𝑝
6) PROPOSICIONES LÓGICAMENTE EQUIVALENTE 44
 Dos proposiciones 𝑝 y 𝑞 se llaman EQUIVALENTES (o lógicamente
equivalentes) si sus tablas de verdad son idénticas, y se simboliza
𝑝≡𝑞

 Ejemplo: Verificar si las proposiciones ሺ𝑝 → 𝑞ሻ y

~𝑞 → ~𝑝 son equivalentes.
 Ejemplo: 45
Verificar si las proposiciones ሺ𝑝 → 𝑞ሻ y ~𝑞 → ~𝑝
son equivalentes.
𝒑 𝒒 𝒑 ⟶ 𝒒 𝒑 𝒒 ሾ ~𝑞 → ~𝒑ሻ
V V V V V F V F
V F F V F V F F
F V V F V F V V
F F V F F V V V

ሺ𝑝 → 𝑞ሻ ≡ ~𝑞 → ~𝑝
7) LEYES DEL ÁLGEBRA PROPOSICIONAL 46

𝑝∨𝑝 ≡𝑝
𝑝∨𝑞 ≡𝑞∨𝑝
 𝑝 ∨ 𝑞 ∨ 𝑟 ≡ 𝑝 ∨ ሺ𝑞 ∨ 𝑟ሻ
 𝑝 ∨ ሺ𝑞 ∧ 𝑟ሻ ≡ ሺ𝑝 ∨ 𝑞ሻ ∧ ሺ𝑝 ∨ 𝑟ሻ
𝑝∨𝐹 ≡𝑝
𝑝∨𝑉 ≡𝑉
 𝑝 ∨ ~𝑝 ≡ 𝑉
 ~ሺ~𝑝ሻ ≡ 𝑝
7) LEYES DEL ÁLGEBRA PROPOSICIONAL 47
𝑝∧𝑝 ≡𝑝
𝑝∧𝑞 ≡𝑞∧𝑝
 𝑝 ∧ 𝑞 ∧ 𝑟 ≡ 𝑝 ∧ ሺ𝑞 ∧ 𝑟ሻ
 𝑝 ∧ ሺ𝑞 ∨ 𝑟ሻ ≡ ሺ𝑝 ∧ 𝑞ሻ ∨ ሺ𝑝 ∧ 𝑟ሻ
𝑝∧𝐹 ≡𝐹
𝑝∧𝑉 ≡𝑝
 𝑝 ∧ ~𝑝 ≡ 𝐹
 ~𝑉 ≡ 𝐹 ; ~𝐹 ≡ 𝑉
 ~ 𝑝 ∨ 𝑞 ≡ ~𝑝 ∧ ~𝑞
 ~ 𝑝 ∧ 𝑞 ≡ ~𝑝 ∨ ~𝑞
7) LEYES DEL ÁLGEBRA PROPOSICIONAL 48
(Lista adicional)

 𝑝 → 𝑞 ≡ ~𝑝 ∨ 𝑞
 𝑝 → 𝑞 ≡ ~𝑞 → ~𝑝
 𝑝 ∧ ሺ𝑝 ∨ 𝑞ሻ ≡ 𝑝
 𝑝 ∨ ሺ𝑝 ∧ 𝑞ሻ ≡ 𝑝
 𝑝 ↔ 𝑞 ≡ ሺ𝑝 → 𝑞ሻ ∧ ሺ𝑞 → 𝑝ሻ
 𝑝 ↔ 𝑞 ≡ ሺ𝑝 ∧ 𝑞ሻ ∨ ሺ~𝑝 ∧ ~𝑞ሻ
 𝑝∆𝑞 ≡ ሺ𝑝 ∧ ~𝑞ሻ ∨ ሺ𝑞 ∧ ~𝑝ሻ
 Problema: Simplificar las siguientes proposiciones utilizando 49
las leyes del álgebra proposicional o la lista adicional

a) ~ ~ 𝑝 ∧ 𝑞 ⟶ ~𝑞 ∨ 𝑞

b) ~𝑝 ∧ 𝑞 ⟶ ሺ𝑟 ∧ ~𝑟ሻ ∧ ~𝑞

 Problema: Demostrar que la siguiente proposición es una

tautología.

𝑝 ∨ ~𝑞 ∧ 𝑞 ⟶ 𝑝
 Problema: Determinar si (a) y (b) son proposiciones equivalentes 50
a) 𝑝 ⟶ ሺ𝑟 ∨ ~𝑞ሻ

b) ሺ𝑞 ⟶ ~𝑝ሻ ∨ ሺ~𝑟 ⟶ ~𝑝ሻ

 Problema: Dada 51
𝑧: 𝑝 →𝑞 → 𝑝∨ 𝑞∧𝑟 → 𝑞∧ 𝑝∨𝑟

a) Indicar los valores de 𝑝 y 𝑟 de modo que si 𝑞 es 𝐹, entonces z es 𝐹

b) Indicar los valores de 𝑝 y 𝑟 de modo que si 𝑞 es V, entonces z es 𝐹

8) INFERENCIA LÓGICA O ARGUMENTO LÓGICO 52
 𝑃1 ∧ 𝑃2 ∧ . . . ∧ 𝑃𝑘 → 𝑞
 𝑃1 , 𝑃2 , . . . , 𝑃𝑘 son llamadas PREMISAS, y originan otra proposición
llamada CONCLUSIÓN.
 Si la condicional es una TAUTOLOGÍA; es decir, si es una implicación
entonces recibe el nombre de ARGUMENTO VÁLIDO o INFERENCIA
VÁLIDA.
 Si la condicional NO ES TAUTOLOGÍA entonces se denomina FALACIA.
8) INFERENCIA LÓGICA O ARGUMENTO LÓGICO 53
 INFERENCIAS VÁLIDAD NOTABLES:
 LEY DEL MODUS PONENDO PONENS (Afirmando el antecedente)
 ሺ𝑝 → 𝑞ሻ ∧ 𝑝 ⟹ 𝑞
 También simbolizado como: 𝑝→𝑞
𝑝
________
 Ejemplo: ∴ 𝑞
Si el paciente realiza el tratamiento entonces mejorará su salud
El paciente realiza el tratamiento
_________________________________________________
∴ El paciente mejorará su salud
8) INFERENCIA LÓGICA O ARGUMENTO LÓGICO 54
 INFERENCIAS VÁLIDAD NOTABLES:
 LEY DEL MODUS TOLLENDO TOLLENS (Negando el consecuente)
 ሺ𝑝 → 𝑞ሻ ∧ ~𝑞 ⟹ ~𝑝
 También simbolizado como: 𝑝→𝑞
~𝑞
________
 Ejemplo: ∴ ~𝑝
Si María aprueba el curso entonces viajará a Francia
No viajó a Francia
_________________________________________________
∴ María no aprobó el curso
8) INFERENCIA LÓGICA O ARGUMENTO LÓGICO 55
 INFERENCIAS VÁLIDAD NOTABLES:
 LEY DEL SILOGISMO HIPOTÉTICO (Ley transitiva)
 ሺ𝑝 → 𝑞ሻ ∧ ሺ𝑞 → 𝑟ሻ ⟹ ሺ𝑝 → 𝑟ሻ
 También simbolizado como: 𝑝→𝑞
ሺ𝑞 → 𝑟ሻ
________
 Ejemplo: ∴ ሺ𝑝 → 𝑟)
Si llueve en exceso entonces se desbordarán los ríos
Si se desbordan los ríos entonces habrá vidas en riesgo
_________________________________________________
∴ Si llueve en exceso entonces habrá vidas en riesgo
8) INFERENCIA LÓGICA O ARGUMENTO LÓGICO 56
 INFERENCIAS VÁLIDAD NOTABLES:
 LEY DEL SILOGISMO DISYUNTIVO
 ሺ𝑝 ∨ 𝑞ሻ ∧ ~𝑝 ⟹ 𝑞
 También simbolizado como: 𝑝∨𝑞
~𝑝
________
 Ejemplo: ∴𝑞
Gladys tiene DNI o partida de nacimiento
Gladys no tiene DNI
_________________________________________________
∴ Gladys tiene partida de nacimiento
8) INFERENCIA LÓGICA O ARGUMENTO LÓGICO 57
 INFERENCIAS VÁLIDAD NOTABLES:
 LEY DE SIMPLIFICACIÓN
 ሺ𝑝 ∧ 𝑞ሻ ⟹ 𝑝 , ሺ𝑝 ∧ 𝑞ሻ ⟹ 𝑞 𝑝 𝑝
 También simbolizado como: 𝑞 𝑞
____ ____
∴𝑝 ∴𝑞
 Ejemplo:
Ningún estudiante es ocioso
Carlos es un excelente pianista
________________________
∴ Ningún estudiante es ocioso
8) INFERENCIA LÓGICA O ARGUMENTO LÓGICO 58
 OBSERVACIÓN: Una inferencia no se modifica si una o varias de las
proposiciones componentes 𝑃1 , 𝑃2 , . . . , 𝑃𝑘 , 𝑞 se reemplazan por
otra u otras que sean EQUIVALENTES.
 Ejemplo Comprobar la validez del argumento:

Si estudio, entonces no me desaprueban Matemáticas

Si no voy a nadar, entonces estudio
Pero, me desaprobaron Matemáticas
_________________________________________
∴ (Por lo tanto) Me fui a nadar
Si estudio, entonces no me desaprueban Matemáticas 59

Si no voy a nadar, entonces estudio

Pero, me desaprobaron Matemáticas

_________________________________________
∴ (Por lo tanto) Me fui a nadar
Si estudio, entonces no me desaprueban Matemáticas 60
𝑝 → ~ 𝑞
Si no voy a nadar, entonces estudio
~ 𝑟 → 𝑝
Pero, me desaprobaron Matemáticas

𝑞 ________
_________________________________________ ∴
∴ (Por lo tanto) Me fui a nadar

𝑟
Si estudio, entonces no me desaprueban Matemáticas 61
𝑝 → ~ 𝑞
Si no voy a nadar, entonces estudio
~ 𝑟 → 𝑝
𝑝 → ~𝑞
Pero, me desaprobaron Matemáticas ~𝑟 → 𝑝
𝑞
𝑞 ________
_________________________________________ ∴𝑟
∴ (Por lo tanto) Me fui a nadar

𝑟
𝑝 → ~𝑞
~𝑟 → 𝑝
62
𝑞
________
∴𝑟 𝑝 → ~𝑞 ∧ ~𝑟 → 𝑝 ∧ 𝑞 → 𝑟

Para comprobar la validez: 𝑝 → ~𝑞 ∧ ~𝑟 → 𝑝 ∧ 𝑞 ⟹ 𝑟

Usamos las premisas, las Inferencias válidas notables y

también leyes del álgebra proposicional:
𝑝 → ~𝑞 ∧ ~𝑟 → 𝑝 ∧ 𝑞 ⟹ 𝑟
63
𝑝→𝑞 𝑝→𝑞 𝑝→𝑞 𝑝∨𝑞
Recordar: 𝑝 ~𝑞 ሺ𝑞 → 𝑟ሻ ~𝑝
________ ________ ________ ________
∴ 𝑞 ∴ ~𝑝 ∴ ሺ𝑝 → 𝑟) ∴𝑞

𝑝 → ~𝑞 ∧ ~𝑟 → 𝑝 ∧ 𝑞
 𝑝 → ~𝑞 ∧ ~𝑟 → 𝑝 ∧ 𝑞 ⟹ 𝑟
64
𝑝→𝑞 𝑝→𝑞 𝑝→𝑞 𝑝∨𝑞
Recordar: 𝑝 ~𝑞 ሺ𝑞 → 𝑟ሻ ~𝑝
________ ________ ________ ________
∴ 𝑞 ∴ ~𝑝 ∴ ሺ𝑝 → 𝑟) ∴𝑞

𝑝 → ~𝑞 ∧ ~𝑟 → 𝑝 ∧ 𝑞 ≡ ~𝑟 → 𝑝 ∧ 𝑝 → ~𝑞 ∧ 𝑞
⟹ ~𝑟 → ~𝑞 ∧ 𝑞
⟹𝑟
8) INFERENCIA LÓGICA O ARGUMENTO LÓGICO 65
 Ejemplo Comprobar la validez del argumento:

En el cumpleaños de mi esposa la llevaré a cenar afuera

Es el cumpleaños de mi esposa o trabajo hasta tarde
Hoy no llevé a mi esposa a cenar afuera
_________________________________________
∴ (Por lo tanto) Hoy trabajaré hasta tarde
En el cumpleaños de mi esposa la llevaré a cenar afuera 66

Es el cumpleaños de mi esposa o trabajo hasta tarde

Hoy no llevé a mi esposa a cenar afuera

________
_________________________________________ ∴
∴ (Por lo tanto) Hoy trabajaré hasta tarde
En el cumpleaños de mi esposa la llevaré a cenar afuera 67
𝑝 → 𝑞
Es el cumpleaños de mi esposa o trabajo hasta tarde
𝑝 ∨ 𝑟
Hoy no llevé a mi esposa a cenar afuera 𝑝→𝑞
𝑝∨𝑟
~ 𝑞 ~𝑞
_________________________________________ ________
∴ (Por lo tanto) Hoy trabajaré hasta tarde ∴𝑟

𝑟
 𝑝→𝑞
𝑝∨𝑟
68
~𝑞
________
∴𝑟 𝑝 → 𝑞 ∧ 𝑝 ∨ 𝑟 ∧ ~𝑞 → 𝑟

Para comprobar la validez: 𝑝 → 𝑞 ∧ 𝑝 ∨ 𝑟 ∧ ~𝑞 ⟹ 𝑟

Usamos las premisas, las Inferencias válidas notables y

también leyes del álgebra proposicional:
 𝑝 → 𝑞 ∧ 𝑝 ∨ 𝑟 ∧ ~𝑞 ⟹ 𝑟
69
𝑝→𝑞 𝑝→𝑞 𝑝→𝑞 𝑝∨𝑞 𝑝 𝑝
Recordar: 𝑝 ~𝑞 ሺ𝑞 → 𝑟ሻ ~𝑝 𝑞 𝑞
________ ________ ________ ________ ____ ____
∴ 𝑞 ∴ ~𝑝 ∴ ሺ𝑝 → 𝑟) ∴𝑞 ∴𝑝 ∴𝑞

𝑝 → 𝑞 ∧ 𝑝 ∨ 𝑟 ∧ ~𝑞
 𝑝 → 𝑞 ∧ 𝑝 ∨ 𝑟 ∧ ~𝑞 ⟹ 𝑟
70
𝑝→𝑞 𝑝→𝑞 𝑝→𝑞 𝑝∨𝑞 𝑝 𝑝
Recordar: 𝑝 ~𝑞 ሺ𝑞 → 𝑟ሻ ~𝑝 𝑞 𝑞
________ ________ ________ ________ ____ ____
∴ 𝑞 ∴ ~𝑝 ∴ ሺ𝑝 → 𝑟) ∴𝑞 ∴𝑝 ∴𝑞

𝑝 → 𝑞 ∧ 𝑝 ∨ 𝑟 ∧ ~𝑞 ≡ 𝑝 → 𝑞 ∧ ~𝑞 ∧ 𝑝 ∨ 𝑟
⟹ ~𝑝 ∧ 𝑝 ∨ 𝑟
⟹ ~𝑝 ∧ 𝑝 ∨ ~𝑝 ∧ 𝑟
⟹ ~𝑝 ∧ 𝑟
⟹ 𝑟
8) INFERENCIA LÓGICA O ARGUMENTO LÓGICO 71
 Ejemplo Comprobar la validez del argumento:

En el cumpleaños de mi esposa la llevaré a cenar afuera

Es el cumpleaños de mi esposa o trabajo hasta tarde
Hoy no llevé a mi esposa a cenar afuera
_________________________________________
∴ (Por lo tanto) Hoy no es el cumpleaños de mi esposa