Sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. Las proposiciones son enunciados que pueden ser ciertos o falsos y no pueden ser falsas y verdaderas al mismo tiempo. Su valor de verdad depende únicamente de las proposiciones mismas y no de factores externos. Las inferencias se construyen sin tener en cuenta la estructura interna de las proposiciones más simples, solo se examinan las relaciones lógicas entre proposiciones.
