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
Autenticação
Limite Diário Atingido
Você atingiu o limite de 10 questões diárias para usuários sem plano. Ao se tornar um membro, você poderá:
Resolver mais questões e melhorar seu desempenho.
Acessar conteúdo exclusivo da IAProvatec.
Potencializar seus estudos com estatísticas avançadas.
Que tal se tornar um membro agora e aproveitar todos os recursos da plataforma?
