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 as facas não são afiadas, então os garfos não têm quatro pontas.

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

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

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.