Considere a afirmação: Os garfos têm quatro pontas ou as facas não são afiadas. Uma afirmação logicamente equivalente a essa é:

Gabarito

A

Comentário do professor

A afirmação do enunciado tem a forma \(p \lor q\), em que \(p\) representa “os garfos têm quatro pontas” e \(q\), “as facas não são afiadas”. Para convertê-la em uma condicional equivalente, negamos a primeira proposição e mantemos a segunda: \(p \lor q \equiv \neg p \rightarrow q\).

Assim, \(\neg p\) corresponde a “os garfos não têm quatro pontas”, enquanto \(q\) continua sendo “as facas não são afiadas”. A afirmação equivalente é, portanto: Se os garfos não têm quatro pontas, então as facas não são afiadas.

Isso ocorre porque a disjunção e a condicional são falsas exatamente quando os garfos não têm quatro pontas e as facas são afiadas. Gabarito: alternativa A.