Last Updated：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.

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

See correct answer

prenex normal form

Source Word

prenex normal form

Noun

uncountable

Japanese Meaning

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

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

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

Sense（1）