I - !$ ∀y ∃xP(x,y) \rightarrow ∃x∀xP(x,y) !$
II - !$ (∀xP(x) \rightarrow ∃yQ(y)) \rightarrow ∀x∃y(¬P(x)∨ Q(y)) !$
Analisando as fórmulas lógicas acima, conclui-se que
Provas
Questão presente nas seguintes provas
Analista de Sistemas - Processos de Negócios
120 Questões
