Enunciados de questões e informações de concursos
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:
“\neg”: negação
“\wedge”: conjunção
“\vee”: disjunção
“\to”: implicação
“≡”: bi-implicação
Considere o conjunto P de duas fórmulas abaixo.
(1) Y \to X
(2) (X \to \negY) (\negX \to Y )
Então, a consequência lógica de P é