Vacuous truth

In mathematics and logic, a vacuous truth is a conditional or universal statement that is only true because the antecedent cannot be satisfied. For example, the statement "all cell phones in the room are turned off" will be true when there are no cell phones in the room. In this case, the statement "all cell phones in the room are turned on" would also be vacuously true, as would the conjunction of the two: "all cell phones in the room are turned on and turned off". For that reason, it is sometimes said that a statement is vacuously true only because it does not really say anything.

Vacuous truth

In mathematics and logic, a vacuous truth is a conditional or universal statement that is only true because the antecedent cannot be satisfied. For example, the statement "all cell phones in the room are turned off" will be true when there are no cell phones in the room. In this case, the statement "all cell phones in the room are turned on" would also be vacuously true, as would the conjunction of the two: "all cell phones in the room are turned on and turned off". For that reason, it is sometimes said that a statement is vacuously true only because it does not really say anything.