Las siguientes tautologas son fundamentales para el desarrollo de nuestro curso (de hecho,

son fundamentales para el desarrollo de toda la matemtica clsica). Utilizando tablas de verdad, deben demostrar que efectivamente se trata de tautologas. Ya que estas tautologas son
fundamentales, deben ser recordadas siempre (esto incluye recordar tanto la formulacin correcta de cada una de ellas como el nombre correspondiente).
1. Principio de identidad:

2. Ley del tercero excluso:

( )
3. Principio de no contradiccin:

( )

9. Leyes de DeMorgan:

( ) ( )
( ) ( )
10. Identidad:

( )
( )

4. Doble negacin:

5. Idempotencia:

( )
( )
6. Conmutatividad:

( ) ( )
( ) ( )
( ) ( )
( ) ( )

11. Dominacin:

( )
( )
12. Ley de la implicacin:

( ) ( )
13. Bicondicionaldoble condicional:

( ) (( ) ( ))
14. Ley de la contrarecproca:

7. Asociatividad:

(( ) ) ( ( ))
(( ) ) ( ( ))
(( ) ) ( ( ))

( ) ( )
15. Negacin de la implicacin:

( ) ( )

8. Distributividad:

( ( )) (( ) ( ))
( ( )) (( ) ( ))

16. Negacin de la equivalencia:

( ) (( ) ( ))