Considérese la siguiente declaración X: «Si esta declaración es verdad, el mundo terminará en una semana», que será abreviada como «si X es verdad, entonces Y».