最終更新日：2025/11/29

(logic) A way of expressing a formula of predicate logic such the formula consists of a prenex and a matrix, with the prenex preceding the matrix.

音声機能が動作しない場合はこちらをご確認ください

正解を見る

prenex normal form

元となった辞書の項目

prenex normal form

不可算名詞

日本語の意味

述語論理において、論理式を前束（量化子部分）と行列（量化子のかかる部分）に分け、前束を先頭に置く形で表現する方法。

To simplify proofs, we convert each predicate logic formula into prenex normal form before applying resolution.

証明を簡潔にするために、各述語論理の式を全ての量化子が行列の前に出る形（前束標準形）に変換してから解消法を適用します。

意味（1）