Questão de Raciocínio Lógico — Diagramas Lógicos, Proposições Categóricas, Negação de Quantificadores — FUNDEPES COPEVE-UFAL 2017
Raciocínio LógicoDiagramas Lógicos, Proposições Categóricas, Negação de Quantificadores
- Código
- qg942889
- Banca
- FUNDEPES COPEVE-UFAL
- Órgão
- Pref SM Campos
- Ano
- 2017
- Cargo
- Cont (SM Campos)
Considerando que os símbolos \neg, \land, \lor, \forall e \exists representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, e dado o conjunto de premissas \{\forall X (\neg P(X) \land Q(X))\}, qual informação abaixo pode ser inferida?
- A\forall X (P(X) \land Q(X))
- B\exists X (P(x) \land Q(x))
- C\forall X P(X)
- D\forall X Q(X)
- E\exists X P(X)