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:

“¬”: negação
“ ∧”: conjunção
“ ∨”: disjunção
“?”: implicação
“=”: bi-implicação

Considere o conjunto P de duas fórmulas abaixo.

(1) Y ? X
(2) (X ? ¬Y) ∧ (¬X ? Y )

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