prenex normal form

ウィキペディア

冠頭標準形

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:10 UTC 版)

冠頭標準形（英: prenex normal form）とは、数理論理学において一階述語論理の論理式の形式であり、量化子が論理式の先頭部分に集められている形式を指す（残りの部分をマトリクスと呼び、先頭の各量化子はマトリクス全体にかかっている）。

古典論理では、あらゆる論理式には等価な冠頭標準形の論理式が存在する。例えば、量化子がなく自由変項を含む論理式 φ(y)、ψ(z)、ρ(x) があるとき、

$\forall x\exists y\exists z(\phi \lor (\psi \rightarrow \rho ))$カテゴリ - 関係記事更新

Weblio日本語例文用例辞書

「Prenex normal form」の例文・使い方・用例・文例

• タックマンモデルとは、チームビルディングにおける5段階、すなわち形成(Forming)、混乱(Storming)、統一(Norming)、機能(Performing)、散会(Adjourning)を示すモデルである。
• 【文法】 相関語 《either と or, the former と the latter など》.