Conectores Lógicos y Tablas de Verdad
Los conectores lógicos son como las conjunciones del lenguaje, pero con símbolos matemáticos. Cada uno tiene su propia "personalidad": la conjunción (∧) significa "y" y solo es verdadera cuando ambas partes lo son, como "Velázquez y Goya son pintores".
Las tablas de verdad son tu herramienta principal para resolver ejercicios. Funcionan como una receta: siempre sigues el mismo patrón de 1 (verdadero) y 0 (falso). La disyunción inclusiva (∨) es más generosa - basta con que una parte sea verdadera.
Para resolver ejercicios complejos como (p ∧ q) → p, divide el problema en partes pequeñas. Primero resuelves p ∧ q, después aplicas la condicional. Si todos los resultados finales son 1, tienes una tautología - ¡algo que siempre es verdadero!
Truco clave: La condicional (→) solo es falsa cuando el antecedente es verdadero y el consecuente es falso. En todos los demás casos, es verdadera.