#逻辑学

【逻辑学】简单的形式语言及可靠性、完全性证明

选了哲学系开的Ⅲ类通识课“逻辑导论”。此文主要是做习题(之后大概也会如此),因此先快速掠过定义:…
【逻辑学】简单的形式语言及可靠性、完全性证明