複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/狹義謂詞邏輯/19064468
複製
複製成功

狹義謂詞邏輯

鎖定
狹義謂詞邏輯(restricted predicate logic)亦稱一階謂詞邏輯或一階邏輯一種基本的謂詞邏輯.，該邏輯的特點是在其中除命題聯結詞外，所討論的函詞和謂詞都只以個體為變元，而量詞的指導變元也只是個體一階邏輯是應用最廣泛的邏輯，它可以形式公理化。
中文名
狹義謂詞邏輯
外文名
restricted predicate logic
別    名
一階謂詞邏輯
一階邏輯
概念
但一階邏輯不是自封閉的.雖然一階邏輯中含有量詞“∃”“∀”以及謂詞變元A，函詞變元 F，但沒有以謂詞變元和函詞變元為指導變元的量詞.例如，當A,B為謂詞變元，公式A(x)→B (x)是一階邏輯的公式，但(∃A)(∃B)[A(x)→B (x)]卻不是一階邏輯的公式一階謂詞邏輯的形式系統和狹義謂詞邏輯的形式系統分別稱為一階謂詞演算和狹義謂詞演算. [1] 
參考資料
  • 1.    數學辭海第4卷