热度排名 #1544

用布尔代数重读亚里士多德的三段论

Aristotle's syllogisms revisited with the Algebra of Boole | MathFoundations 280 | N J Wildberger

把“所有 A 都是 B”写成集合包含关系，再试处理“有些 A 是 B”。可用一个空集合当反例，核对三段论里哪一步另需假定某一类事物确实存在。

Insights into Mathematics · 1 串讨论 · 热度 1.819

讨论出处