Drinker Paradox
Theorem, Classical logic, Predicate logic, Paradox, Mathematical logic, Raymond Smullyan
978-620-0-11600-0
6200116008
60
2011-12-24
29.00 €
eng
https://images.our-assets.com/cover/230x230/9786200116000.jpg
https://images.our-assets.com/fullcover/230x230/9786200116000.jpg
https://images.our-assets.com/cover/2000x/9786200116000.jpg
https://images.our-assets.com/fullcover/2000x/9786200116000.jpg
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The drinker paradox is a theorem of classical predicate logic that states: There is someone in the pub such that, if he is drinking, everyone in the pub is drinking. The paradox was popularised by the mathematical logician Raymond Smullyan, who called it the "drinking principle" in his book What Is the Name of this Book? The paradox is valid due to the nature of material implication in formal logic, which states that "If P, then Q" is always true if P (the condition or antecedent) is false. The proof begins by recognizing it is true that either everyone in the pub is drinking (in this particular round of drinks), or at least one person in the pub isn't drinking.
https://www.morebooks.de/books/cn/published_by/duct-publishing/189849/products
数学
https://www.morebooks.de/store/cn/book/drinker-paradox/isbn/978-620-0-11600-0