ホームページ  >  記事  >  トーインパラダイムの解決法とは?

トーインパラダイムの解決法とは?

coldplay.xixi
coldplay.xixiオリジナル
2020-10-29 11:37:0828500ブラウズ

フロントエンド パラダイムの解決方法: 1. 量指定子変換を使用して、アトミック述語式の前に否定を置きます; 2. 名前変更ルールと置換ルールを使用して、式内のすべての変数に異なるシンボルを使用します; 3 . 量指定子スコープの拡張を使用して、量指定子を前面に移動します。

トーインパラダイムの解決法とは?

トーインパラダイムの解決方法:

トーインパラダイムの概念:

式で、量指定子が式全体の先頭にあり、その範囲が式全体の最後まで拡張される場合、その式は Prenex 標準形式と呼ばれます。

フロント バンドル パラダイムは、次の Q 形式として記録できます。

トーインパラダイムの解決法とは?

ここで、Qi は任意または存在、xi は個別変数、A は量指定子の式のない述語。

A が結合正規形の場合、P は接頭結合正規形と呼ばれ、A が選言正規形の場合、P は接頭結合正規形と呼ばれます。

任意の述語は、名前変更ルール、置換ルール、量指定子の否定式、および量指定子のスコープの拡張式と縮小式を使用して、フロントエンド正規形に定式化できます。

PS: 数式に A のみが含まれる場合、その数式も順正規形になります。

接頭辞正規形を求める方法:

(1) 魏語の式中の接続詞 -> と

(2) 量指定子変換を使用して、原子述語式の前に否定を置きます。つまり、量指定子変換式を使用して、命題変数と述語の穴埋めの前に負の接続詞を置きます。

(3) 名前変更ルールと置換ルールを使用して、数式内のすべての変数に異なるシンボルを使用します。

(4) 量指定子のスコープの拡張および縮小の法則を使用します。量指定子を前に移動します。つまり、量指定子スコープの拡張を使用して量指定子を前に移動します。

以上がトーインパラダイムの解決法とは?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。

声明:
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。