Questões de Raciocínio Lógico · Copeve/UFAL

Raciocínio LógicoEquivalências e negaçõesCopeve/UFAL 2017

Prefeitura de Maceió - AL

Questão de Raciocínio Lógico

NS – 01. BIBLIOTECÁRIO 5

Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, dados os pares de fórmulas, I. ∃x(P(x) ∧ ¬Q(x)) e ∃x(¬P(x) ∧ ¬Q(x)) II. ∃x(P(x) ∧ ¬Q(x)) e ∃x(P(x) ∧ Q(x)) III. ∀x(P(x) ∧ ¬Q(x)) e ∀x¬(¬P(x) v Q(x)) IV. ∀x(P(x) ∧ ¬Q(x)) e ¬∀x(P(x) ∧ ¬Q(x)) verifica-se que há equivalência das fórmulas em

Sua resposta

Mais questões de Equivalências e negações

Ver as 323 questões de Equivalências e negações

Questão de prova oficial, com o gabarito definitivo publicado pela banca. Reproduzida para fins de estudo.