prenex normal form
plural of beachworm
A bunch, clump, mass / (obsolete, slang) A crowd; a group of people. / (obsolete) A boor, lout. / (mining) A thin layer of refuse at the bottom of a seam.
(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.
plural of Harbour
証明を簡潔にするために、各述語論理の式を全ての量化子が行列の前に出る形（前束標準形）に変換してから解消法を適用します。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
