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 é