LUIS ENRIQUE LEIVA MORANTES

UNIVERSIDAD SURCOLOMBIANA -UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Ejemplo 1:
Leyes de inferencia:
[(p→¬q)∧(q∨¬r)∧r]→¬p esto es un argumento se divide en
[(p→¬q)∧(q∨¬r)∧r] antecedente
consecuente ¬p
con base a unas premisas que tiene el antecedente se mira que leyes de inferencia se puede
aplicar toda mirar la estructura y la forma de cada ley de inferencia

Premisas: iniciales que posee el argumento

P1: p→¬q
P2: q∨¬r
P3: r
A la que hay que llegar Conclusión: ¬p

P4: q →¬p contraria de 1

P5: q (MTP) entre 2 y 3
P6: ¬p (MPP) entre 4 y 5

ejemplo 2
[(p∧¬q)∧(p→¬r)∧(q∨¬s)]⟶(¬r∧¬s)
A la que hay que llegar Conclusión: (¬r∧¬s)
Premisa 1: p ∧ ¬q
Premisa 2: p→¬r
Premisa 3: q v ¬s
Premisa 4: p simplificación premisa 1
Premisa 5: ¬q simplificación premisa 1
Premisa 6: ¬r MTT entre 2 y 4
Premisa 7: ¬s Silogismo disyuntivo entre 3 y 5
Premisa 8: P8: ¬r∧¬s

Ejemplo 3

[(p∨(q∧r))∧¬(q∧r)∧(p→s)]→s
Premisas
P1: p∨(q∧r)
P2: ¬(q∧r)
P3: p→s
A la que hay que llegar Conclusión: s
Demostración de la validez del argumento:
P1: p∨(q∧r)
LUIS ENRIQUE LEIVA MORANTES
UNIVERSIDAD SURCOLOMBIANA -UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
P2: ¬(q∧r)
P3: p→s
P4: p ………… Modus Tollendo Ponens entre P1 y P2
P5: s ………… Modus Ponendo Ponens entre P3 y P4

Tutor