La
lógica proposicional o
lógica de orden cero es un
sistema formal cuyos elementos más simples representan proposiciones, y cuyas
constantes lógicas, llamadas
conectivas, representan
operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.