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.

Considerando que P, Q e R sejam proposições simples, a tabela abaixo contém elementos para iniciar a construção da tabela-verdade da proposição



A partir dessas informações, julgue o próximo item.

Completando-se a tabela, a coluna correspondente à proposição conterá, na ordem em que aparecem, de cima para baixo, os seguintes elementos: V, F, F, F, V, V, V, V.

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