Concept
Vacuous truth
Overview
statement that can be expressed in the form of a conditional statement with a false antecedent
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Integer
- Intuitionistic logic
- Logical conjunction
- Relevance logic
- Mathematics
- Natural language
- Curry–Howard correspondence
- Minimal logic
- Spain
- Set (mathematics)
- Truth
- Tokyo
- Logical form
- Logic
- Classical logic
- Principle of explosion
- Material conditional
- Contradiction
- Universal quantification
- Antecedent (logic)
- Consequent
- Proposition
- Empty set
- Agda (programming language)
Place in the tradition
Part of Deontic logic.