Considerando-se que os símbolos ¬, ∧, ∨, →, ↔, ∀ e ∃ repres...
Próximas questões
Com base no mesmo assunto
Ano: 2024
Banca:
FUNDEPES
Órgão:
UFAL
Provas:
FUNDEPES - 2024 - UFAL - Assistente em Administração
|
FUNDEPES - 2024 - UFAL - Técnico de Laboratório - Área: Química |
FUNDEPES - 2024 - UFAL - Técnico de Laboratório - Área: Biologia |
Q2569628
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: