A proposição composta cuja tabela-verdade indica uma contradição é:
A~(~(p ∨ q) → ~p)
B~(p ∨ q) → ~p)
C(~p → q) ∨ p)
D~((~p → q) ∨ p))
E(p → q) ∨ p)
Revelar gabarito e comentário▾
GabaritoA — ~(~(p ∨ q) → ~p)
Comentário gerado por IA. É um apoio ao estudo, ancorado em fontes, mas pode conter imprecisões — confira sempre na fonte oficial (lei, súmula, edital e gabarito da banca). Encontrou um erro? Use “Reportar”.
Contradição em Proposições Lógicas
Gabarito: letra A. A proposição ~(~(p ∨ q) → ~p) é uma contradição, pois sua tabela-verdade resulta em F para todas as valorações de p e q. A condicional interna ~(p ∨ q) → ~p é uma tautologia, e sua negação gera a contradição.
Resolução passo a passo
Uma contradição é uma proposição composta cujo valor lógico é sempre falso, independentemente dos valores das proposições simples. Vamos analisar cada alternativa.
p
q
~(p ∨ q)
~p
~(p ∨ q) → ~p
~(~(p ∨ q) → ~p)
V
V
F
F
V
F
V
F
F
F
V
F
F
V
F
V
V
F
F
F
V
V
V
F
Alternativa A — ✅ Correta ⟵ GABARITO
Proposição: ~(~(p ∨ q) → ~p)
A condicional (~(p ∨ q) → ~p) tem antecedente ~(p ∨ q), que, pela Lei de De Morgan, equivale a ~p ∧ ~q.
A condicional fica: (~p ∧ ~q) → ~p. Essa é uma tautologia, pois se ~p ∧ ~q for verdadeiro, necessariamente ~p é verdadeiro; a condicional nunca é falsa.
A proposição total é a negação de uma tautologia. Logo, é sempre falsa → contradição.
PEGA ESSA DICA!
Para verificar rapidamente, use a equivalência: ~(p ∨ q) → ~p equivale a p ∨ (q ∧ ~p)? Não é necessário; basta reconhecer que ~(p ∨ q) implica ~p, tornando a condicional verdadeira.
Alternativa B — ❌ Incorreta
Proposição: ~(p ∨ q) → ~p
Essa é exatamente a condicional do item A, sem a negação externa. Como vimos, é uma tautologia (sempre verdadeira). Portanto, não é contradição.
Alternativa C — ❌ Incorreta
Proposição: (~p → q) ∨ p
Se p é verdadeiro, a disjunção é verdadeira.
Se p é falso (~p verdadeiro), a condicional (~p → q) depende de q: se q for verdadeiro, a condicional é verdadeira; se q for falso, a condicional é falsa. Nesse último caso, a disjunção (F) ∨ F resulta em falso.
Portanto, a proposição é verdadeira em três das quatro linhas da tabela-verdade, sendo contingente (não contradição).
Alternativa D — ❌ Incorreta
Proposição: ~((~p → q) ∨ p)
O parêntese interno (~p → q) ∨ p equivale a (p ∨ q) ∨ p (pois ~p → q = p ∨ q). Simplificando: p ∨ q.
A proposição total é ~(p ∨ q), que equivale a ~p ∧ ~q.
Essa é falsa apenas quando p e q são verdadeiros, e verdadeira nos demais casos. Logo, é contingente, não contradição.
Alternativa E — ❌ Incorreta
Proposição: (p → q) ∨ p
(p → q) equivale a ~p ∨ q.
A disjunção fica: (~p ∨ q) ∨ p = (~p ∨ p) ∨ q = V ∨ q = V.
Portanto, é uma tautologia, não contradição.
Conclusão: A única alternativa que resulta sempre falsa é a letra A.
PEGA ESSA DICA!
Mãe Boazinha (OU)
Personagem mnemônico para a Disjunção ('OU' / ∨). A 'mãe boazinha' é flexível: basta UM elemento verdadeiro para o resultado ser verdadeiro. Regra: 'Tudo F dá F' (só é falso quando todas são falsas).