前束正規化求解方法是什麼

前束正規化求解方法：1、利用量詞轉換把否定深入到原子謂詞公式前；2、運用換名規則和代替規則，將公式中所有變元均用不同的符號；3、利用量詞轄域的擴張把量詞移到前面。

前束正規化求解方法：

前束正規化的概念：

一個公式，如果量詞均在全式的開頭，它們的作用域延伸到整個公式的末端，則該公式叫做前束正規化(Prenex Normal Form)。

前束正規化可記為下Q述形式

其中Qi為任意或者存在，xi為個體變元，A是沒有量詞的謂詞公式。

若A是合取正規化，則稱P為前束合取正規化；若A是析取正規化，則稱P為前束析取正規化。

利用換名規則、代替規則、量詞的否定公式及量詞轄域的擴張與收縮公式等，可以將任一謂詞公式化成前束正規化。

PS：如果一個公式單獨只有A，那麼該公式也是前束正規化。

求前束正規化的方法：

(1)通過利用公式消去渭詞公式中的聯結詞->和<->；

(2)利用量詞轉換把否定深入到原子謂詞公式前，即利用量詞轉化公式把否定聯結詞深入到命題變元和謂詞填式的前面；

(3)運用換名規則和代替規則，將公式中所有變元均用不同的符號；

(4)利用量詞轄域的擴張收縮律，量詞前移，即利用量詞轄域的擴張把量詞移到前面。

以上就是前束正規化求解方法是什麼的詳細內容，更多請關注TW511.COM其它相關文章！