Cálculo proposicional

Cálculo proposicional (o sentencial). Está conformado por proposiciones expresadas por letras (mayúsculas o minúsculas) que pueden o no ser interpretadas por enunciados. El enunciado "si llueve hará frío" es traducido a notación lógica de esta manera:

p equivale a "llover"

q equivale a "hará frío"

entonces "si p entonces q" y si empleamos los conectivos lógicos [v] se expresará como "p --> q" [v. Fórmulas bien formadas].