フロントエンド パラダイムの解決方法: 1. 量指定子変換を使用して、アトミック述語式の前に否定を置きます; 2. 名前変更ルールと置換ルールを使用して、式内のすべての変数に異なるシンボルを使用します; 3 . 量指定子スコープの拡張を使用して、量指定子を前面に移動します。
トーインパラダイムの解決方法:
トーインパラダイムの概念:
式で、量指定子が式全体の先頭にあり、その範囲が式全体の最後まで拡張される場合、その式は Prenex 標準形式と呼ばれます。
フロント バンドル パラダイムは、次の Q 形式として記録できます。
ここで、Qi は任意または存在、xi は個別変数、A は量指定子の式のない述語。
A が結合正規形の場合、P は接頭結合正規形と呼ばれ、A が選言正規形の場合、P は接頭結合正規形と呼ばれます。
任意の述語は、名前変更ルール、置換ルール、量指定子の否定式、および量指定子のスコープの拡張式と縮小式を使用して、フロントエンド正規形に定式化できます。
PS: 数式に A のみが含まれる場合、その数式も順正規形になります。
接頭辞正規形を求める方法:
(1) 魏語の式中の接続詞 -> と
(2) 量指定子変換を使用して、原子述語式の前に否定を置きます。つまり、量指定子変換式を使用して、命題変数と述語の穴埋めの前に負の接続詞を置きます。 (3) 名前変更ルールと置換ルールを使用して、数式内のすべての変数に異なるシンボルを使用します。 (4) 量指定子のスコープの拡張および縮小の法則を使用します。量指定子を前に移動します。つまり、量指定子スコープの拡張を使用して量指定子を前に移動します。以上がトーインパラダイムの解決法とは?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。