第7章谓词逻辑2015-11-5范例.ppt

* 5、合式谓词公式的范式 合式谓词公式有量词出现，用命题逻辑中的范式已无法研究，常用的有前束范式和 Skolem范式。 一个合式谓词公式，如果 ①所有量词均非否定地出现在公式最前面； ②所有量词的辖域均相同，且是整个公式。 称此合式谓词公式为前束范式。 不含自由变元的前束范式，称为闭的前束范式。 * 任一合式谓词公式都可以化为前束范式，化归的步骤如下： １）消去公式中多余量词； ２）将公式中联结词转换成∧，∨，?； ３）将公式中否定符等价地移到谓词的字母前； ４）将公式中不同变元用不同字母表示； ５）扩大各量词的辖域至整个公式。 由于各量词辖域相同，不考虑量词，可象命题逻辑中一样，把公式规范化成析取范式和合取范式，分别称为前束析取范式和前束合取范式。 * 例１： （?ｘ)[(Ａ(x)∨(?ｚ)Ｂ(ｚ，ｙ))→?(?ｙ)Ｃ(ｘ，ｙ)] ?(?ｘ)[?(Ａ(ｘ)∨(?ｚ)Ｂ(ｚ,ｙ))∨?(?ｙ)Ｃ(ｘ，ｙ)] (蕴涵式） ?(?ｘ)[(?Ａ(ｘ)∧?(?ｚ)Ｂ(ｚ,ｙ))∨(?ｙ)?Ｃ(ｘ,ｙ)](Ｄe.Ｍorgan,Ｅ19） ?(?ｘ)[(?Ａ(ｘ)∧(?ｚ)?Ｂ(ｚ,ｙ))∨(?ｕ)?Ｃ(ｘ,ｕ)] （Ｅ19） ?(?ｘ)[(?ｚ)(?Ａ(ｘ)∧?Ｂ(ｚ,ｙ))∨(?ｕ)?Ｃ(ｘ,ｕ)] （Ｅ23） ?(?ｘ)(?ｚ)(?ｕ)[(?Ａ(ｘ)∧