3.1. Tablas de verdad 3.2. Generador de tablas de verdad 3.3. Equivalencia lógica 3.4. Tautologías 3.5. Contradicciones Navegación del libro ‹ c. La formalización del bicondicional arriba 3.1. Tablas de verdad ›