Questão
ID 858018Disciplina: Raciocínio Lógico
Assunto: Simbologia dos Quantificadores Lógicos
Ano: 2011 Banca: Fundação CESGRANRIO Órgão: Petróleo Brasileiro S.A.
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: