Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Associe as sentenças da lógica de 1a ordem às suas...
Associe as sentenças da lógica de 1a ordem às suas respectivas propriedades.
I - ∀ x (P(x) ∨ Q(x)) → (∀ x P(x) ∨ ∀ x Q(x))
II - ∀ x ( ¬P(x) → P(x))
R - É uma tautologia.
S - É satisfatível mas não uma tautologia.
T - É insatisfatível.
As associações corretas são:
A
I - R , II - T
B
I - R , II - R
C
I - S , II - S
D
I - S , II - T
E
I - T , II - T