Filtrar


Questões por página:
mostrar texto associado

A proposição "Se o país é próspero, então todos os trabalhadores têm emprego" pode ser representada simbolicamente por Q → S.

mostrar texto associado

A proposição "Nesse país o direito é respeitado, mas o cidadão não se sente seguro" pode ser representada simbolicamente por PΛ(¬R)

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