Vacuous truth
In mathematics and logic, a vacuous truth is a conditional or universal statement (a universal statement that can be converted to a conditional statement) that is true because the antecedent cannot be satisfied.
Vacuous truth - Wikipedia Jump to content From Wikipedia, the free encyclopedia Conditional statement which is true because the antecedent cannot be satisfied In mathematics and logic , a vacuous truth is a conditional or universal statement (specifically a universal statement that can be converted to a conditional statement) that is true because the antecedent cannot be satisfied . [ 1 ] [ 2 ] [ 3 ] An example of such a statement is "if Tokyo is in Spain , then the Eiffel Tower is in Bolivia ". It is sometimes said that a statement is vacuously true because it does not really say anything. [
related reading
- Liar paradox - Wikipediaen.wikipedia.org
- Logical truth - Wikipediaen.wikipedia.org
- Intuitionistic logic - Wikipediaen.wikipedia.org
- First-order logic - Wikipediaen.wikipedia.org
- Definability of Truth in Probabilistic Logic - Christiano 2013intelligence.org
- Quantifier (logic) - Wikipediaen.wikipedia.org
- Type theory - Wikipediaen.wikipedia.org
- True quantified Boolean formula - Wikipediaen.wikipedia.org
- Moore's paradox - Wikipediaen.wikipedia.org
- Principle of explosion - Wikipediaen.wikipedia.org
- Principle of bivalence - Wikipediaen.wikipedia.org
- Paradox - Wikipediaen.wikipedia.org