EJERCICIOS DE DEDUCCIÓN NATURAL DE LÓGICA DE ENUNCIADOS

Deduce mediante la reglas de inferencia la validez o invalidez de las siguientes

inferencias (formaliza aquellos argumentos que estén en lenguaje natural):

1. pq
rs
pr
qs

2. ¬ p q
q r
q r
p r

3. Si Belén Esteban es inteligente, los elefantes vuelan y construyen aeronaves en la

NASA. Pero resulta que los elefantes se convierten en estrellas de la prensa rosa o
huyen despavoridos a la selva. Si huyen despavoridos a la selva, no vuelan y no
construyen aeronaves. Luego, Belén Esteban no es inteligente.
4. rs
pq
¬ (¬ p s)
q ∧¬r

5. (p→q)∧r
s→t
r→s
q∨t
6. “Si me engaño, existo. El que no existe, no puede engañarse. Luego yo existo si me
engaño” ( S. Agustín, La ciudad de Dios).

7. Este es algo más divertido ( ya ha sido expplicado y hemos hecho algún ejemplo).
p∨(q∧r)
p∨q
8. Interesante:
p∨q
p→r
¬s→¬q
r∨s