Proposiciones Lógicas...

Son cualquier enunciado u oración al cual se le pueda asignar un valor de verdad (Verdadero o Falso)

Algunos Ejemplos...

- Todos los días sale el sol

• Una hora tiene 100 segundos
• Las plantas pertenecen al reino animal
• 7+5=12

Si observas, todas las expresiones dadas anteriormente son proposiciones. Algunas son verdaderas y otras falsas.

¿Cuáles no son proposiciones?

• ¿Que hora es?
• ¡Que calor hace hoy!
• No estacione.

Si notas, estas no cumplen con la definición de proposición, por ser expresiones a las que no se les puede determinar un valor de verdad.

Para trabajar en forma simbólica las proposiciones es necesario utilizar variables proposicionales que permiten transformar expresiones en lenguaje natural en lenguaje simbólico.

Por ejemplo...

• Un día tiene 25 horas: p
• La lógica es una ciencia: q
  

Ten en cuenta que las variables proposicionales se escriben en minúsculas.