Questões de Concurso Comentadas por alunos sobre lógica de argumentação - diagramas e operadores lógicos em raciocínio lógico

Assinale a alternativa que apresenta um argumento válido.

Três colegas da faculdade – João, Pedro e Gustavo – são muito bons em Cálculo, Álgebra e Trigonometria, mas não necessariamente nessa ordem. Um deles é estudante de Engenharia, o outro, de Matemática, e o outro, de Física. Considerando que João é estudante de engenharia, que Gustavo é muito bom em Cálculo, e que Pedro não estuda Física e é ruim em Álgebra, assinale a alternativa correta.

O predicado g(x, y) é avaliado como verdadeiro se “x gosta de y".
A sentença “se uma pessoa não gosta de si mesma então não gosta de qualquer outra" pode ser expressa em lógica de primeira ordem como

A variável x ocorre livre na fórmula

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 é