É a parte da Lógica Matemática que estuda a validade de argumentos apresentados em uma linguagem própria, a linguagem proposicional.

Estabelece símbolos, regras de formação e regras de dedução de validade.

Consiste na valoração das fórmulas com atribuição da propriedade de verdadeiro ou falso.