Por definición de implicación se obtiene la siguiente cláusula de Horn: