Relacione as sentenças da lógica de primeira ordem da coluna da direita às explicações da coluna da esquerda.
|
I - A fórmula é uma tautologia. |
P - !$ ∃x(p(x) \rightarrow ∀\, x \, p \, (x)) !$ |
|
II - A fórmula é satisfatível, mas não é uma tautologia. |
Q - !$ ∀x(p(x)∨∀x ¬p(x)) !$ |
| III -A fórmula é insatisfatível. | R - !$ ∀x(¬p(x)\rightarrow ∃ x¬p(x)) !$ |
| S - !$ ∀xp(x)∧ ∃x ¬p(x) !$ |
A associação correta é
Provas
Questão presente nas seguintes provas
Analista de Sistemas - Engenharia de Software
120 Questões
