- Formalmente, se define una proposición como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez.
- Las proposiciones se representan mediante variables proposicionales simbolizadas mediante letras. Con la combinación de variables proposicionales y conjunciones se obtienen fórmulas sentenciales o sentencias.
- Tautología: es la sentencia que es verdadero
- Contradicción: es la sentencia que es falsa.
- Indeterminación: es la sentencia que ni es verdadera ni falsa.
Tablas de verdad:
- La tabla de verdad de una sentencia es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituyen la sentencia y el valor de verdad de la sentencia para cada interpretación.
Conectivas
- Por su definición, también se pueden dividir en: Primitivas: las variables proposicionales, los paréntesis y las conectivas NO y O. Definidas: las conectivas Y, SI ... ENTONCES, ... SI Y SOLO SI ... y O ... O.