Las proposiciones son los elementos básicos en lógica proposicional. Se denotan con letras mayúsculas y pueden ser verdaderas (con valor 1) o falsas (valor 0). Por ejemplo, “Este rival los supera a todos” es una proposición.
En lógica proposicional, solo existen estos dos valores de verdad: verdadero o falso.
Interpretación:
- Una misma expresión puede hacer referencia a más de una proposición, dependiendo de cómo se interprete.
- Las variables proposicionales se interpretan cuando adoptan un valor de verdad (1 o 0). Por ejemplo, en el universo de Tolkien, la proposición “algunos individuos son inmortales” es verdadera, pero en nuestro mundo, es falsa.