Dadas as sentenças A e B da lógica de primeira ordem, onde A é a sentença !$ ∀ x( ¬ p(x) \rightarrow q(x)) !$ e B é a sentença !$ ¬ ∃x¬p(x)∨ ∀xq(x) !$, tem-se que
Provas
Questão presente nas seguintes provas
Analista de Sistemas - Engenharia de Software
120 Questões
