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

Passo 1

O enunciado nos dá a proposição composta
p \rightarrow \lnot q
e pede uma forma equivalente que não use condicionais. O conteúdo aqui é aplicar equivalências básicas de lógica proposicional.

Passo 2

Sabemos que, em lógica proposicional, vale a equivalência
A \rightarrow B \;\equiv\; \lnot A \;\lor\; B.
Tomando A = p e B = \lnot q, obtemos
p \rightarrow \lnot q \;\equiv\; \lnot p \;\lor\; \lnot q.

Passo 3

Como detalhe adicional, pela Lei de De Morgan, a disjunção de negações pode ser escrita como negação de conjunção:
\lnot p \;\lor\; \lnot q \;\equiv\; \lnot\bigl(p \wedge q\bigr).

Resposta

\lnot p \lor \lnot q
(que também é equivalente a \lnot(p \wedge q)).

Exercícios relacionados