第4章-谓词演算与推理(上).pptVIP

* * 非等值型范式 * * 非等值型范式 * * 非等值型范式 * * 非等值型范式 * * 非等值型范式 * 计算机应用技术研究所 * 本节内容到此结束 * * * 谓词公式的等价与蕴含 * * 谓词公式的等价与蕴含 * * 谓词公式的等价与蕴含 使用这8个公式可构成20个等价式和蕴含式。为便于记忆，可将这20个等价式和蕴含式按下图方式进行排列。 * * 谓词公式的等价与蕴含 * * 谓词公式的等价与蕴含 * * 谓词公式的等价与蕴含 * * 谓词公式的等价与蕴含 * 计算机应用技术研究所 * 本节内容到此结束 * 本章学习内容(上) 谓词公式的范式 3 1 2 谓词公式与等值演算 个体词、谓词与量词 * 计算机应用技术研究所 * 谓词公式的范式 谓词公式的范式 等值型范式 非等型范式 * * 等值型范式 * * 等值型范式 【定理】任意一个含有量词的谓词公式都可以转化为与之等值的前束型公式的形式，但是这种形式并不唯一。 * * 等值型范式 * * 等值型范式 * * 等值型范式 * * 等值型范式 * * 等值型范式 【定理】任意一个含有量词的谓词公式都分别存在与之等值的前束析取范式和前束合取范式，但范式的形式并不唯一。 【证明】首先将谓词公式可以转化为与之等值的前束型公式，然后将前束型公式的母式转化为析取范式或合取范式，即可得到相应的前束析取范式或者前束