離散數學西電版第二章：謂詞邏輯複習筆記

第二章：謂詞邏輯複習筆記 離散數學 第二章：謂詞邏輯複習筆記 一、謂詞和量詞 1.個體常元和個體變元 2.謂詞 3.n元命題函數 4.量詞 （1）全稱量詞 ∀ \forall ∀ （2）存在量詞 ∃ \exists ∃ （3）量化 （4）論域 二、謂詞公式 1.原子公式 2.約束變元和自由變元 （1）作用變元 （2）轄域 （3）自由變元，約束變元 （4）約束變元的換名 約束變元的換名規則如下： 自

>>阅读原文<<