Questões de Concurso

Considere as proposições a seguir.

I - ¬ ( A Λ B ) ↔ ( A → ¬ B)

II - ¬ (A→ ¬ B) → ((A V ¬ B ) Λ (¬ A V B))

III - ((A→ B) → A) → A

IV - ((A V B) Λ (¬ A V C )) → (B V C )

São tautologias as proposições apresentadas em

Considere as cláusulas C1 e C2, representadas, respectivamente, pelos conjuntos { ¬ A(x),B(x)} e { A(g(y)),B(y)}.
Um resolvente dessas cláusulas é

No cálculo proposicional, dada a fórmula (P → Q) → (¬ P Λ Q), exatamente em quantas valorações do par (P, Q) essa proposição assume o valor verdade?

Dadas as proposições atômicas P, Q e R do cálculo proposicional, afirma-se que

Associe as sentenças da lógica de 1ª ordem às suas respectivas propriedades.



As associações corretas são: