Argument
Drinker paradox
Overview
apparent logical paradox
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- First-order logic
- Proof assistant
- Intuitionistic logic
- Relevance logic
- Natural language
- Paradox
- Predicate (logic)
- Theorem
- Prentice Hall
- Classical logic
- Material conditional
Place in the tradition
Part of Intuitionistic logic.