Los Fundamentos de la Lógica Proposicional
¿Sabías que las matemáticas tienen su propio idioma? La lógica proposicional es exactamente eso: un sistema que nos ayuda a construir y evaluar argumentos usando símbolos específicos.
Primero, necesitas conocer los tres tipos de proposiciones que existen. Una tautología es cuando algo siempre es verdadero, sin importar las circunstancias. Una contradicción es lo opuesto: siempre falso. Y la contingencia puede ser tanto verdadera como falsa, dependiendo de la situación.
El negador (~) es tu herramienta más simple pero poderosa. Cuando ves "no", "ni" o "es falso que", estás ante una negación que cambia el valor de verdad de cualquier proposición. Es como un interruptor que convierte lo verdadero en falso y viceversa.
Tip clave: Memoriza que el negador siempre invierte el valor de verdad. Si p es verdadero, ~p es falso.