¿Qué es una proposición lógica?

En matemáticas no basta con hablar: necesitamos afirmaciones precisas. La lógica estudia enunciados de los que podemos decidir si son verdaderos o falsos. De esa decisión depende todo el razonamiento posterior, por eso es la base del pensamiento matemático.
Fíjate en el detalle: un enunciado abierto con una variable, como x + 2 = 7, no es proposición mientras no se conozca el valor de x. Preguntas, órdenes y exclamaciones tampoco lo son, porque no tienen valor de verdad.
- Verdadera: '5 es un número impar'.
- Falsa: '7 es un número par'.
- No es proposición: 'Cierra la ventana' (una orden).
- No es proposición: '¿Cuánto es 9 entre 3?' (una pregunta).
¿Cuál de los siguientes enunciados es una proposición?
El enunciado 'x + 2 = 7' es una proposición.
Una es un enunciado del que se puede decir si es verdadero o .
Relaciona cada enunciado con su clasificación.
Escribe un enunciado de la vida diaria que creas que es proposición y explica su valor de verdad. Luego reescríbelo para que deje de serlo.
Piensa en cambiarlo por una pregunta o una orden.
Tu texto se guarda sólo en este dispositivo.
En resumen: una proposición es un enunciado declarativo con valor de verdad. Las preguntas, órdenes, exclamaciones y enunciados abiertos con variables todavía no lo son. En el siguiente objeto aprenderás a combinar proposiciones con conectivos lógicos (y, o, no, si… entonces).
Comentarios
Inicia sesión para comentar.
Todavía no hay comentarios. Sé la primera persona en opinar.