Associe as sentenças da lógica de 1ª ordem às suas respectivas propriedades.
| I- !$ ∀ \, x(P(x) ∨ Q (x)) \rightarrow ( ∀ \, x \, P(x) ∨ \, ∀ \, x \, Q(x)) !$ | R - É uma tautologia. |
| II- !$ ∀ \, x \, (¬ P(x) \rightarrow P(x)) !$ | S - É satisfatível mas não uma tautologia. |
| T - É insatisfatível. |
As associações corretas são:
Provas
Questão presente nas seguintes provas
Analista de Sistemas - Engenharia de Software
70 Questões
