Filtrar


Questões por página:

Julgue o próximo item, relacionado à lógica proposicional, considerando os símbolos lógicos comuns e as letras maiúsculas como representativas de proposições simples.


A proposição lógica a seguir é uma tautologia. ~ (Q → P) ˅ [(~B) ˅ (~C)] ↔ ~[(B ˄ C) ˄ (Q → P)]

Considere p uma proposição contingente, q uma tautologia e r uma contradição. Além disso, considere as seguintes proposições compostas:
A : p ˅ q, B : p ˄ r, C : r → p.
Qual o valor lógico da proposição D : [ ( A↔ B ) ˄ ~ C ] ˅ ~ A?
Sejam p e q proposições simples. Qual das proposições abaixo é uma tautologia?
Sejam p e q proposições simples. Qual das proposições abaixo é uma contradição?
No que segue, ~, ?, ? e → representam os conectivos lógicos negação, disjunção, conjunção e condicional, respectivamente.
Qual das alternativas abaixo corresponde aos itens omissos da última coluna da tabela abaixo (de cima para baixo), onde V representa a Verdade e F a Falsidade?