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

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

Técnico-Administrativo UFAL Efetivo - Edital n.017- - Médio e Superior

Questão de Raciocínio Lógico

Considerando-se que os símbolos ¬, ∧, ∨, →, ↔, ∀ e ∃ representam negação, conjunção, disjunção, implicação, bi-implicação, quantificador universal e quantificador existencial, respectivamente, e considerando-se, ainda, a fórmula ∀x(P(x)→(Q(x)∧¬R(x)))∧∃xR(x)∧∃xQ(x)∧∀xS(x) como verdadeira, pode-se concluir que, necessariamente, tem-se:

Sua resposta

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

Ver as 58 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.