Logo Studenta

Reglas de Inferencia

¡Estudia con miles de materiales!

Vista previa del material en texto

Modus Ponens
 p 
 p  q
 ______________
 q 
Llueve y , si llueve entonces se mojan las calles
Las calles están mojadas 

Modus Tollens
p  q 
 
 ¬q 
 _____________
 ¬p 
Si llueve entonces se mojan las calles. Pero las calles no están mojadas
No está lloviendo

Adición disyuntiva
p 
______
p  q 
Aprobé Algebra
Aprobé Álgebra o Física

Combinación conjuntiva
p
 
q
_______
 p  q 
Aprobé Algebra
Aprobé Fisica
Aprobé Álgebra y Física

Simplificación
p  q 
________
 
p 
Aprobé Algebra y Fisica
Aprobé Álgebra 

Silogismo hipotético
 p  q 
 q  r 
________
 p  r 
Si llueve, se inundan las calles.
Si se inundan las calles , los autos no podrán circular
Si llueve, los autos no podrán circular

Silogismo disyuntivo
 p  q 
 ¬q 
________
 
 p
Juan olvidó sus llaves sobre la mesa o en el escritorio. 
Juan vio que las llaves no estaban en el escritorio
Juan olvidó sus llaves sobre la mesa
