Pular para o conteúdo principal

Questão de Raciocínio Lógico — Lógica de Primeira Ordem — VUNESP 2023

Raciocínio LógicoLógica de Primeira Ordem
Código
vu194968
Banca
VUNESP
Órgão
EsFCEx
Ano
2023
Cargo
CFO/QC ( )
A afirmação ∃ x,y∃ \, x, y \mid x+π=y→x−e=y2x+ \pi = y \to x-e=y^2 tem como uma de suas negações lógicas a afirmação
  1. A(∄x,y)∣(x+π=y→x–e=y2).(∄ x, y) | (x + \pi = y → x – e = y2).
  2. B(∃x,y)∣(x+π≠y→x–e≠y2).(∃ x, y) | (x + \pi ≠ y → x – e ≠ y2).
  3. C(∀x,y)(x–e≠y2∧x+π≠y).(∀ x, y) (x – e ≠ y2 ∧ x + \pi ≠ y).
  4. D(∀x,y)(x+π=y∧x–e≠y2).(∀ x, y) (x + \pi = y ∧ x – e ≠ y2).
  5. E(∀x,y)(x+π≠y∨x–e≠y2).(∀ x, y) (x + \pi ≠ y ∨ x – e ≠ y2).
Revelar gabarito e comentário

GabaritoD — (∀ x, y) (x + \pi = y ∧ x – e ≠ y2).

Link permanente: /questoes/vu194968