会计学第二章谓词(wèicí)逻辑2.1谓词演算2.1.1谓词(wèicí)和个体谓词(wèicí)和个体谓词(wèicí)和个体谓词(wèicí)和个体个体(gètǐ)域2.1谓词演算2.1.2量词(liàngcí)全称(quánchēnɡ)量词存在(cúnzài)量词量词(liàngcí)量词(liàngcí)量词(liàngcí)量词(liàngcí)2.1谓词演算2.1.3合式公式合式(héshì)谓词公式2.1谓词演算2.1.4自由(zìyóu)变元和约束变元自由(zìyóu)变元和约束变元自由(zìyóu)变元和约束变元自由(zìyóu)变元和约束变元2.1谓词演算2.1.5谓词公式(gōngshì)的解释谓词(wèicí)公式的解释谓词公式(gōngshì)的解释2.1谓词演算2.1.6含有量词的等价(děngjià)式和永真蕴含式量词(liàngcí)转换律量词(liàngcí)辖域扩张及收缩律量词(liàngcí)分配律量词(liàngcí)分配律重要等价(děngjià)式和永真蕴含式重要等价(děngjià)式和永真蕴含式重要(zhòngyào)等价式和永真蕴含式量词(liàngcí)交换式第二章谓词(wèicí)逻辑2.2谓词(wèicí)逻辑中的推理规则2.2.1谓词公式(gōngshì)的翻译谓词公式(gōngshì)的翻译谓词公式(gōngshì)的翻译谓词(wèicí)公式的翻译谓词(wèicí)公式的翻译/第二章谓词(wèicí)逻辑规则(guīzé)1：约束变元的改名规则(guīzé)规则(guīzé)1：约束变元的改名规则(guīzé)规则(guīzé)2：自由变元的代入规则(guīzé)规则(guīzé)3：命题变元的代换规则(guīzé)规则(guīzé)4：取代规则(guīzé)谓词逻辑(luójí)的推理规则5：量词的增加(zēngjiā)和删除规则2.3谓词(wèicí)公式的范式前束范式(fànshì)前束范式(fànshì)前束范式(fànshì)斯柯林范式(fànshì)斯柯林范式(fànshì)斯柯林范式(fànshì)