Hoy practicamos:

1. tablas de verdad en general
2. Equivalencia lógica entre fórmulas.
3. Reglas de inferencia.

E introdujimos otra regla de inferencia, algo más sutil que las anteriores, que es la famosa regla de reducción al absurdo, que descubrieron (como casi todo lo bueno en esta vida) los antiguos griegos.

Más sobre todo esto en breve, con ejercicios para el jueves.