INFERENCIA

LOGICA
 INFERENCIA LÓGICA
Se llama inferencia lógica a toda condicional de la forma:

( P1  P2  …. Pn )  C

donde las proposiciones P1, P2,...,Pn son llamadas “premisas” y

la proposición C es llamada “conclusión”.

Si la conjunción de premisas implica a la conclusión (tautología),

entonces se dice que la inferencia es válida;

Si es una contradicción se dice que es una falacia y

Si es una contingencia se dice que es no válida.

La inferencia también suele simbolizarse por
el siguiente esquema:
P1
P2
premisas :
Pn
conclusión C
EJEMPLO

Establecer la validez de la siguiente inferencia:

P1: p~q
P2: p~q
C: ~q

p q (p~q)(p~q)  ~q
V V
V F
F V
F F
 EL MÉTODO ABREVIADO

Es un procedimiento que evita el laborioso trabajo de

construir la tabla de valores para determinar la
validez de una inferencia.

Este método consiste en suponer la conjunción de

premisas verdadera y la conclusión falsa, única
posibilidad que invalida la implicación.

( P1  P2  …. Pn )  C
V V V F

Si no se demuestra esta posibilidad la inferencia será

válida.
En éste método se aplica los siguientes pasos:

1. Asignar el valor de verdad “V” a cada una de las premisas y

de falsedad “F” a la conclusión.

2. Deducir el valor de verdad de cada una de las variables

proposicionales en función de las reglas veritativas, empezando
por la conclusión o por una de las premisas que ofrezca
menos posibilidades.

3. Si cada una de las variables toma un solo valor de verdad, se

habrá probado que la conjunción de premisas es verdadera y la
conclusión es falsa; por lo que, la inferencia será no válida (no
hay implicación).

4. Si una variable tiene los dos valores de verdad “V” y “F” a la

vez o hay contradicción con lo asumido en (1), quedará
demostrado que no es posible que la conjunción de premisas
sea verdadera y la conclusión falsa. Por lo tanto hay implicación
y la inferencia será válida.
 EJERCICIOS DE APLICACION

1. Determinar la validez de las siguientes

inferencias lógicas:

a) pq
pr
(s~r) s

~qs

b) (pq)  ~r
(pr)  ~s
sq
p  ~r
2. Estudiar si es válido o no el siguiente argumento:

Si en la luna no hay oxigeno, entonces

no hay agua ni aire.

Si no hay oxigeno ni hay agua, entonces

no hay plantas.

No es el caso; que en la luna haya

oxigeno o no hay plantas.

En consecuencia, la luna esta hecha de

queso
LEYES LOGICAS
 PRINCIPIOS LOGICOS

1.Ley de Identidad
pp
pp
2. Ley de no contradicción
( p  p)
3. Ley del tercio excluido
p  p
EQUIVALENCIAS
NOTABLES
1. Ley de idempotencia
a) p  p  p  …  p
b) p  p  p  …  p

2. Ley de doble negación

 (  p)  p
 3. LEYES CONMUTATIVAS:

a) p  q  q  p
b) p  q  q  p
c) p  q  q  p

4. LEYES ASOCIATIVAS:

a) (p  q)  r  p  (q  r) p  q  r
b) (pq)r  p  (q  r)  p  q  r
c) (pq)r  p(qr)
5. DISTRIBUTIVAS:

a) p(qr)  (pq)(pr)
b) p(qr)  (pq)(pr)
c) p(qr)  (pq)(pr)
d) p(qr)  (pq)(pr)

6 . DE MORGAN:

a) ~(pq)  ~p~q
b) ~(pq)  ~p~q
7. CONDICIONALES:

a) pq  ~pq
b) ~(pq)p~q

8 . BICONDICIONALES:

a) p  q  (pq)(qp)
b) p  q  (pq)(~p~q)
9. LEY DEL DISYUNTIVO EXCLUSIVO

a) p  q  (p  q)  (~ p  ~ q)
b) p  q  ~(p  q)

10. DE ABSORCIÓN:

a) p  (p  q)  p
b) p  (p  q)  p
c) p  (~ p  q)  p  q
d) p  (~ p  q)  p  q
11. DE COMPLEMENTO:

a) p~p  C, C:contradicción
b) p~p  T, T: tautología

12. DE IDENTIDAD:

a) pT  p
b) pC  C
c) pT  T
d) pC  p
 EJERCICIOS DE APLICACION

1. Determinar los esquemas más simples equivalentes a

las proposiciones:
a) ~[~(pq)~q]p
b) [(~q~p)(~p~q)]~(pq)

2. Usando equivalencias lógicas simplificar:

a){[(~p~q)pq][(pq)(~p~q)p]}~q
b) [~(~p~q)~(pq)][p(~pqr)]