Enunciados de questões e informações de concursos

Ponto de Exclamação Atenção: Esta questão foi anulada pela banca.

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 é



spinner
Ocorreu um erro na requisição, tente executar a operação novamente.