BRZEN
Vacuous truth
Texto da Wikipédia (en), licença CC BY-SA. O BETARUBI mostra o verbete inteiro nesta página — a leitura não continua fora do site.
In mathematics and logic, a vacuous truth is a conditional or universal statement that is true because the antecedent cannot be satisfied. An example of such a statement is "if Tokyo is in Spain, then the Eiffel Tower is in Bolivia".