Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Considerando que os símbolos ¬, ∧, ∨, →, ∀ e ∃ representam...
Ano:
2023
Banca:
COPEVE/UFAL - FUNDEPES
Prova:
COPEVE/UFAL - FUNDEPES - IFAL - Bibliotecário Documentalista - 2023
Considerando que os símbolos ¬, ∧, ∨, →, ∀ e ∃ representam negação, conjunção, disjunção, implicação, quantificador universal e quantificador existencial, respectivamente, assinale a alternativa que pode ser inferida a partir da fórmula ∀ x (P (x) → Q (x)) ∧ ∀ x (R (x) ∨ ¬P (x)) ∧ ∃ x (R (x)) ∧ ∀ x (¬¬P (x) ∧ S (x)).
A
∀ x (¬R (x))
B
∃ x (Q (x) ∧ R (x))
C
∃ x (Q (x) ∧ ¬S (x))
D
∀ x (¬P (x) ∧ R (x))
E
∃ x (¬R (x) ∧ ¬S (x))