命題邏輯基本概念
在開始基礎邏輯以前我們要先了解Metalanguage（後設語言），用來討論語言的語言。我們會將命題用字母表示。如果是修過大一邏輯的哲學系朋友一定知道，我們會用大寫英文字母來代指一個命題。比方說：
F：I fucked up the final exam.
這樣。
但如果是有深造過

學習

創作

文化生活

分享古日耳曼文化、宗教信仰、神話以及語言的學習內容。可能有錯誤之處，請多包涵。

FirstOrderLogic