2. Questões de Concurso

Filtrar

Questões por página:
Julgue os itens seguintes, relativos à lógica proposicional.

A sentença “A indicação de juízes para o STF deve ser consequência de um currículo que demonstre excelência e grande experiência na magistratura” pode ser corretamente representada na forma P→Q, em que P e Q sejam proposições simples convenientemente escolhidas

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