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