INFERENCIA LÓGICA

Cuando a partir de una o más proposiciones llamadas premisas, se deduce la afirmación de

otra proposición llamada conclusión.
La validez de una inferencia se determina, si la conjunción de premisas implica una conclusión
lógica, es decir:

Si: p1, p2, p3, . . . . . , pn son las premisas

C es la conclusión; entonces:
(p1 ˄ p2 ˄ p3 ˄ . . . . ˄ pn) → C es una Tautología

VALIDEZ DE UNA INFERENCIA

Decimos que una inferencia es válida cuando el resultado es una TAUTOLOGÍA.
Ejemplos:
Establecer si las inferencias siguientes son válidas.
1. p → (~q)
p ˅ (~q)
~q

Solución:
P1: p → (~q)
P2: p ˅ (~q)
C: ~q

p q p → ~q ˄ p ˅ ~q → ~q
V V V F F F V V F V F
V F V V V V V V V V V
F V F V F F F F F V F
F F F V V V F V V V V
TAUTOLOGÍA

Es válida mi inferencia

2. p→q
q→p
p↔q

3. p↔q
r˅q
~r
q

4. p→q
~p → ~r
p↔r
5. Si Mario estudia, entonces no desaprueba matemática y si no juega fútbol, entonces
estudiará, pero desaprobó matemática. Por lo tanto jugó fútbol.
p: Mario estudia
q: Desaprueba matemática
r: Mario juega futbol

Solución:
P1: p → (~q)
P2: ~r → p
P3: q
C: r

p q r p → (~q ˄ ~ → p ˄ q → r
) r
V V V V F F F F V V F V V V
V V F V F F F V V V F V V F
V F V V V V V F V V F F V V
V F F V V V V V V V F F V F
F V V F V F V F V F V V V V
F V F F V F F V F F F V V F
F F V F V V V F V F F F V V
F F F F V V F V F F F F V F
TAUTOLOGÍA

Es válida mi inferencia

6. Si todas las minas son explotadas entonces la minería dará buenos resultados. Si la
minería da buenos resultados entonces aumentará el volumen de producción. En
consecuencia si todas las minas son explotadas entonces aumentará el volumen de
producción.

Método abreviado
Ejemplos:
Establecer la valides de las siguientes inferencias:
1. p → ~q
p ˅ ~q
~q

p → ~q ˄ p ˅ ~q → ~q
F F V F F

V ˄ V → F

V → F = F
Existe contradicción
No se ha podido probar su falsedad

Resulta TAUTOLOGIA

Es válida mi inferencia
2. p↔q
r˅q
q

p↔q ˄ r˅q → q

F F V F F

V V F

V → F = F

No existe contradicción
Se ha podido probar su falsedad

Resulta CONTRADICCION

No es válida mi inferencia

3. p→q
q˄r
r→s
p→s

p→q ˄ q˄r ˄ r→s → p→s

V V V V V V V F

V V V F

V → F = F

Existe contradicción
No se ha podido probar su falsedad

Resulta TAUTOLOGIA

Es válida mi inferencia

4. p→q
~q
p→s

5. p→q
q→r
r
r

6. p→q
~q → r
p → ~r