REGLAS DE INFERENCIA

1.- Modus Ponendo Ponens (P.P.)
Este método establece que afirmando (ponendo) el consecuente en una CONDICIONAL, se puede obtener como conclusión la afirmación del Antecedente .
2.- Modus Tollendo Tollens (T.T.)
Este método establece que negando (tollendo) el consecuente de un CONDICIONAL se puede obtener como conclusión la negación (tollens) del antecedente.

3.- Modus Tollendo Ponens (T.P)
Este método establece que negando una proposion de una DISYUNCION, se puede obtener como conclusión la afirmación de la otra proposición de la disyunción.
ó

4- Silogismo Hipotético (S.H.)
Si dos condicionales son verdaderos, dados de tal forma que el consecuente de uno es el antecedente del otro, entonces podemos obtener, como conclusión, que el condicional cuyo antecedente es el antecedente del primero y cuyo consecuente es el consecuente del segundo, es verdadero

5.-Silogismo Disyuntivo (S.D.) si dos CONDICIONALES son verdaderos y la DISYUNCIÓN INCLUSIVA formada por los antecedentes de esos condicionales, también es verdadera, entonces podemos concluir que la disyunción inclusiva formada por los consecuentes, de dichos condicionales, es verdadera

6.- Doble Negación (D.N.)
Si una proposición cualquiera es verdadera, podemos obtener, como conclusión, que su doble negación también es verdadera.
7.- Simplificación (S)
Si la CONJUNCIÓN de dos proposiciones es verdadera, podemos obtener, como conclusión, que cualquiera de las proposiciones componentes es verdadera.
o bien

8.- Adición (A)
Si una proposición es verdadera, entonces se puede concluir que la DISYUNCIÓN INCLUSIVA de dicha proposición con cualquier otra, también es verdadera

9.-LEYES De Morgan (De M.)
Esta ley permite transformar una disyunción en una conjunción, y viceversa, es decir, una conjunción en una disyunción. Cuando se pasa de una a otra, se cambian los valores de afirmación y negación de los términos de la disyunción/conjunción .