Esto se debe a que la falsedad determina la existencia de un contraejemplo que puede ser verificado por aritmética simple.