La declaración anterior se puede reformular como «si X es verdad, entonces Y».