Proposiciones y Formalización

Proposiciones

Es una oración declarativa que puede ser verdadera o falsa. Las proposiciones dicen de las cosas y, consecuentemente, pueden ser verdaderos o falsos. No son enunciados las expresiones lingüísticas interrogativas, exclamativas o imperativas.


Los enunciados o proposiciones pueden ser atómicos o simples, los que no se pueden descomponer en otros; y moleculares o complejos, los que sí se pueden descomponer.

El lenguaje o vocabulario de la lógica proposicional o de enunciados consta de tres clases de elementos o símbolos: variables, constantes y auxiliares.

Variables

Variables o variables proposicionales son los símbolos que sustituyen las proposiciones o enunciados. Se llaman variables porque su significado va cambiando en las diferentes argumentaciones o expresiones.

Se han acordado cinco variables o letras como símbolos: p, q, r, s, t.

Una variable como por ejemplo p puede simbolizar "La Tierra es un planeta" o "Todos los planetas giran entorno all Sol" o cualquier otra proposición. Por ello, siempre es preciso indicar la proposición que se simboliza con la variable. Así, p = La Tierra es un planeta.