Com relação à fórmula ∀y(P(x) ∧ ∃x(P(y) ∨ Q(x))) da lógica dos predicados, onde x e y são variáveis e P e Q são predicados unários, pode-se afirmar que
Você errou!  
Resposta:
Acesse Comentários para encontrar explicações sobre a solução da questão.
Parabéns! Você acertou!
Aprenda mais ensinando outros alunos ao comentar esta questão.
Considere aluno, um predicado unário na lógica dos predicados, representando a propriedade ser aluno, e U o conjunto universo com 8 objetos. É possível afirmar que
Você errou!  
Resposta:
Acesse Comentários para encontrar explicações sobre a solução da questão.
Parabéns! Você acertou!
Aprenda mais ensinando outros alunos ao comentar esta questão.