1. Eliminación de la falsa en la disyunción Si una de las dos proposiciones es falsa podemos concluir la otra
2. Eliminación de la verdadera en la conjunción Si hay una verdadera la podemos elimianr concluimos que la otra proposición es verdadera
3. Transitividad de la Implicación en la loa terminos p entonces q, q se convierte en un puente
4. Disyunción de casos Si dos proposiciones que impliquen r son verdaderas podemos concluir r
5. Modus Ponens si un termino es verdadero podemos concluir el segundo termino
6. Modus Tollendo Tollens Si una implicación es verdadadera y su segundo termino es falso se concluyela negación del primero, Concluir algo verdadero desde algo verdadero
7. Simplificación Si una conjunción es verdadera cualquiera de las dos es Verdadera
