Una fórmula como esta también puede reescribirse de forma equivalente como una implicación: