Matemática

Lógica Sentencial (ou Cálculo Proposicional) formaliza a

estrutura lógica mais elementar do discurso matemático,

definindo precisamente o significado dos conectores lógicos não, e, ou, se ... então e outros. Os símbolos

lógicos utilizados são:

Então, a consequência lógica de P é