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. [
Explore this link on the map →related reading
- Logical truth - Wikipediaen.wikipedia.org
- nothing to prove - starting from nixnicoles.substack.com
- Making Beliefs Pay Rent (in Anticipated Experiences) — LessWronglesswrong.com
- Intuitionistic logic - Wikipediaen.wikipedia.org
- The Useful Idea of Truth — LessWronglesswrong.com
- Fine Counterfactualsas.nyu.edu
- Can There Be Vague Objects?astrofrelat.fcaglp.unlp.edu.ar
- First-order logic - Wikipediaen.wikipedia.org
- Is this true?notes.jordanscales.com
- List of logic symbols - Wikipediaen.wikipedia.org
- 3. Logic - Mathematics in Lean v4.19.0 documentationleanprover-community.github.io
- Liar paradox - Wikipediaen.wikipedia.org