Fundamentos de la Lógica Proposicional
La lógica es la ciencia del razonamiento que nos permite verificar si una proposición es verdadera o falsa. Es una herramienta eficaz para desarrollar pensamiento crítico y análisis.
Debemos diferenciar entre enunciados y proposiciones. Un enunciado es cualquier oración, como "Buenos días" o "¿Cómo estás?". Pero no todos los enunciados son proposiciones. Un enunciado abierto contiene variables y su valor de verdad depende del valor de estas variables. Por ejemplo, "2x-1=7" es verdadero si x=4, pero falso si x=3.
Una proposición es específicamente un enunciado declarativo que afirma o niega algo y tiene la propiedad de ser verdadero (V) o falso (F), pero nunca ambos a la vez. Por ejemplo, "Un triángulo tiene lados" es una proposición verdadera, mientras que "Cusco está al noreste del Perú" es una proposición falsa.
💡 Dato clave: Sólo los enunciados declarativos pueden ser proposiciones. Las preguntas, órdenes o deseos no son proposiciones porque no pueden evaluarse como verdaderas o falsas.