Respuestas

2014-02-12T03:39:31+01:00
Algunas de las reglas de inferencia más conocidas son:En la lógica proposicional:Modus ponendo ponensModus ponendo tollensModus tollendo ponensModus tollendo tollensSilogismo hipotéticoSilogismo disyuntivoEn la lógica de primer orden:Regla de Generalización universalEn la lógica modal:Regla de Necesitación