2. Questões de Concurso

Filtrar

Questões por página:

Julgue o item abaixo, relacionado à lógica proposicional.

A sentença: “Um governo efetivo precisa de regras rígidas, de tribunais que desempenhem suas funções com seriedade e celeridade e de um sistema punitivo rigoroso” pode ser corretamente representada pela expressão , em que P, Q e R sejam proposições convenientemente escolhidas.

Considere as sentenças da lógica de primeira ordem a seguir.

I - ∃x ∃y A(x,y) Λ ¬ ∃x A(x,x)

II - ∀ x ∀y A (x,y) Λ ¬ ∀ x A (x,x)

III - ∀ x ∀ A ( x, y) → ¬ ∀ xA (x, x)

São insatisfatíveis APENAS as sentenças apresentadas em

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?
© 2016-2025 Fonte Concursos - Questões de Concurso e Plano de Estudo