Trece reglas de inferencia

Trece reglas:
1- Ponendo Ponens (PP) – Afirmando se afirma.
En toda proposición condicional verdadera, si es verdadero el antecedente, es verdadero el consecuente.
2- Tollendo Tollens (TT) – Negandose niega.
En una proposición condicional, negando el consecuente, se niega el antecedente.
3- Adjunción (A).
De dos proposiciones verdaderas se obtiene una conjunción verdadera.
4- Simplificación(S).
Si una conjunción es cierta, las proposiciones que la forman también son ciertas.
5- Tollendo Ponens (TP) – Negando se afirma.
En una disyunción, negando una de las proposiciones, se afirma laotra.
6- Adición (LA).
La disyunción de una proposición cierta con otra proposición cualquiera, es cierta.
7- Silogismo Hipotético (SH).
Dadas dos proposiciones condicionales, donde el antecedente de unaes el consecuente de la otra, se concluye con otra condicional formada por el antecedente y el consecuente de las dos primeras, respectivamente.
8- Silogismo Disyuntivo (SD).
Dadas tres proposiciones,donde una de ellas es una disyunción, y las otras dos son condicionales cuyos antecedentes son los miembros de la disyunción, se concluye con una disyunción de los consecuentes de las condicionales.9- Simplificación Disyuntiva (DP).
De la disyunción de dos proposiciones iguales, se puede concluir con la afirmación de una de ellas.
10- Leyes de De Morgan (LM/DM).
-La conjunción de dos negacionesequivale a la negación de una disyunción.
-La negación de una disyunción equivale a la conjunción de dos negaciones.
-La disyunción de dos negaciones equivale a la negación de una conjunción.
-Lanegación de una conjunción equivale a la disyunción de dos negaciones.
-Una conjunción equivale a la negación de la disyunción de dos negaciones.
-La negación de la disyunción de una afirmación con unanegación equivale a la conjunción de una negación con una afirmación.
11- Ley de la Bicondicional (LB).
Una proposición bicondicional equivale a dos proposiciones condicionales.
12- Doble negación...