Considere a sentença: “Se gosto de capivara, então gosto de javali”. Uma sentença logicamente equivalente à sentença dada é:

Gabarito

Certo

Comentário do professor

A sentença é uma condicional do tipo \(p\to q\), com \(p\) = “gosto de capivara” e \(q\) = “gosto de javali”.

Uma propriedade básica da lógica proposicional é que \(p\to q\) é logicamente equivalente a \(\neg p\vee q\).

Intuitivamente: a condicional só é falsa quando \(p\) é verdadeira e \(q\) é falsa; a disjunção \(\neg p\vee q\) também é verdadeira em todos os mesmos casos em que a condicional é verdadeira, e falsa no mesmo caso contrário.

Substituindo \(p\) e \(q\) por suas frases, obtemos: Não gosto de capivara ou gosto de javali, que é a forma equivalente solicitada.