四月 07, 2020

The Henkin style proof of the completeness of predicate logic

The Semantics Definition 1: Structure A ⟨I,J,K,&#x...

二月 04, 2020

「你的邏輯被狗吃了嗎?」談普通人的邏輯學

不管是公民討論還是e...