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 é:

Se os garfos não têm quatro pontas, então as facas não são afiadas.

Se as facas não são afiadas, então os garfos não têm quatro pontas.

Os garfos têm quatro pontas se, e somente se, as facas são afiadas.

Os garfos têm quatro pontas e as facas não são afiadas.

Se as facas são afiadas, então os garfos não têm quatro pontas.