Presenta proposiciones, cuantificadores, tablas de verdad, reglas de inferencia y predicados. Separa la forma lógica de una afirmación de su contenido para evitar errores comunes en pruebas y problemas.
