Para cada uma das proposições compostas abaixo, encontre uma proposição equivalente que não envolva condicionais:
\neg p \rightarrow \neg q

Passo 1

O enunciado pede para eliminar o conectivo condicional em
\neg p \to \neg q.
O conteúdo é lógica proposicional, onde usamos a equivalência
A \to B \equiv \neg A \lor B
para reescrever implicações sem o “ \to”.

Passo 2

Aplicando a equivalência em
\neg p \to \neg q, temos
\neg p \to \neg q \;\equiv\; \neg(\neg p)\;\lor\;\neg q.

Passo 3

Simplificando \neg(\neg p) para p, obtemos
p \lor \neg q.

Resposta

p \lor \neg q

Exercícios relacionados