2. Las Proposiciones
Una proposición se refiere a un
enunciado que puede ser verdadero o falso,
generalmente una oración enunciativa, base de
lo que constituye el lenguaje formal de la lógica
simbólica.
Una proposición lógica es Expresión
enunciativa a la que puede atribuirse un
sentido o función lógica de verdad o falsedad
3. Tabla de la Verdad
La tabla de verdad de una proposición
enumera todas las posibles combinaciones
de los valores de verdad para las
proposiciones p1, p2, . . . , pn.