Por ejemplo, si p = x "es par", la implicación