Questão 39 — Lógica Quantificacional — Negação de Sentenças (Raciocínio Lógico) — Fundação VUNESP · Exército Brasileiro — Escola de Saúde e Formação Complementar do Exército (ESFC… 2023

Raciocínio Lógico Lógica Quantificacional — Negação de Sentenças

Fundação VUNESP 2023

Exército Brasileiro — Escola de Saúde e Formação Complementar do Exército (ESFCEx) · Oficial do Quadro Complementar do Exército · Caderno 013. Prova Objetiva — Modelo de prova (Versão) A

Gabarito disponível

A afirmação (∃ x, y) | (x + π = y → x – e = y²) tem como uma de suas negações lógicas a afirmação

Selecione uma alternativa A) (∄ x, y) | (x + π = y → x – e = y²). B) (∃ x, y) | (x + π ≠ y → x – e ≠ y²). C) (∀ x, y) (x – e ≠ y² ∧ x + π ≠ y). D) (∀ x, y) (x + π = y ∧ x – e ≠ y²). E) (∀ x, y) (x + π ≠ y ∨ x – e ≠ y²).

Resolução comentada

A negação de ∃(p→q) é ∀(p ∧ ¬q).

A negação de "existe x,y tal que (p→q)" é "para todo x,y, ¬(p→q)". Como ¬(p→q) ≡ p ∧ ¬q, resulta ∀x,y (x+π=y ∧ x−e≠y²).

Análise das alternativas

A) ∄ é a mesma negação da existência, mas mantém a condicional sem negá-la. B) Mantém ∃ e troca a condicional incorretamente. C) Nega p em vez de manter p. E) É a negação de p ∧ q, não de p→q.

Referência: Lógica: negação de quantificadores e da condicional.

Resolução comentada do VaiConcursos.