Fundamentos de la Lógica: Proposiciones y Conectores
¿Sabías que no todas las oraciones pueden ser verdaderas o falsas? En lógica, trabajamos con proposiciones, que son enunciados que definitivamente pueden ser verdaderos (V) o falsos (F), pero nunca ambos al mismo tiempo.
Las preguntas, órdenes y exclamaciones NO son proposiciones porque no podés determinar si son verdaderas o falsas. Por ejemplo, "¿Sos profesor?" no es proposición, pero "3+(-4)=-2" sí lo es (y resulta ser falsa).
Las proposiciones simples son las que no necesitan conectores, como "Sucre es la capital de Sincelejo" (falsa, por cierto). Las proposiciones compuestas combinan dos o más proposiciones simples usando conectivos lógicos.
💡 Dato clave: Los conectivos lógicos más importantes son: conjunción (∧) que significa "y", disyunción (∨) que significa "o", condicional (→) que significa "si... entonces", y bicondicional (↔) que significa "si y solo si".
Representamos las proposiciones simples con letras minúsculas como p, q, r. Esto hace que sea más fácil trabajar con ellas en fórmulas complejas.