LEYES DE INFERENCIA

[ ( p →q ) ∧ p ] ⇒ q
1. p →q
2. p
---------------- Modus Ponendo Ponens (PP)
C: q

Si afirmo el antecedente, mi conclusión es la afirmación

del consecuente.
[ ( p →q ) ∧ q ] ⇒ p

1. p →q
2. q
---------------- Modus Tollendo Tollens (TT)
C: p

Si niego el consecuente, mi conclusión es la negación del

antecedente.
[ ( p ∨q ) ∧ q ] ⇒ p
1. p ∨q
2. q
----------------
C: p
[ ( p ∨q ) ∧ p ] ⇒q Modus Tollendo Ponens o Silogismo
1. p ∨q Disyuntivo (SD)
2. p
----------------
C: q

Si niego una proposición de la disyunción, mi conclusión

es la afirmación de la otra proposición.
[ ( p →q ) ∧ ( q → r ) ] ⇒ ( p → r )
1. p →q
Silogismo Hipotético (SH)
2. q → r
----------------
C: p →r
[ ( p ) ∧ ( q ) ] ⇒ ( p ∧q )
Adjunción

( p ∧q)⇒ p
Simplificación
( p ∧q)⇒ q

p ⇒( p ∨ q) Adición

( p →q ) ∧ ( r → s ) ∧( p ∨ r) ⇒(q ∨ s)
Dilema Constructivo
( p →q ) ∧ ( r → s ) ∧( p ∧ r) ⇒(q ∧ s)
( p →q ) ∧ ( r → s ) ∧( q ∨ s )⇒( p∨ r )
Dilema Destructivo
( p →q ) ∧ ( r → s ) ∧( q ∧ s )⇒( p∧ r )

( p →r ) ∧ ( q → r ) ∧( p ∨ q)⇒ r Método de Resolución