¿Cómo estar seguro de que un argumento es válido?

1. Simplificación

1.1. Separa 2 fórmulas que estaban unidas por una conjunción

2. Adición

2.1. Permite introducir una disyunción

3. Silogismo disyuntivo

3.1. Permite romper una disyunción

4. Modus tollens

4.1. Concluimos la negación del antecedente

5. Identidad

5.1. Toda fórmula se implica a sí misma

6. Principio del tercio excluso

6.1. Una fórmula tendrá un valor: verdadera o falsa.

7. Doble negación

7.1. Invierte el valor de verdad de la fórmula a la que se antepone

8. Leyes de morgan

8.1. Pasar de una conjunción a una disyunción y a la inversa

9. Distribución

9.1. Cuando tenemos una fórmula unida por una conjunción

10. Reglas de inferencia

10.1. Conjunción, simplificación, adición, silogismo disyuntivo, modus ponens, modus tollens y silogismo hipotético.

11. Conjución

11.1. Permite introducir dicha conectiva

12. Modus ponens

12.1. Permite romper un condicional material

13. Silogismo hipotético

13.1. Relaciona los elementos que integran dos condicionales materiales

14. Principio de no contradicción

14.1. Una fórmula no sea al mismo tiempo verdadera y falsa.

15. Reglas de equivalencia

15.1. Doble negación, conmutación, leyes de De Morgan e implicación material.

16. Conmutación

16.1. Hacer explícita esa propiedad

17. Implicación material

17.1. Convierte implicaciones en disyunciones o en conjunciones

18. Asociación

18.1. Varía el orden de la asociación de las fórmulas