謂詞邏輯

1謂詞邏輯語法 謂詞邏輯是對命題邏輯的擴充，在其基礎上引入了個體詞、謂詞、量詞及函數符號。其中，個體詞表示研究對象中可以獨立存在的具體或抽象個體，個體的取值範圍稱爲個體域或論域；謂詞用來刻畫個體的行爲屬性或個體間的相互關係；量詞表示個體的數量屬性；數符號的引入則爲命題的符號化帶來方便。爲了建立嚴格的謂詞邏輯演算系統，必須要有嚴格的形式化語言作爲支撐，因此本小節首先給出謂詞邏輯形式語言的定義。 定義

>>阅读原文<<