翻訳と辞書 Words near each other ・ 冠賢一 ・ 冠輪動物 ・ 冠輪動物上門 ・ 冠辞 ・ 冠部 ・ 冠里 ・ 冠野智美 ・ 冠閉塞 ・ 冠集中治療室 ・ 冠雪 ・ 冠頭標準形 ・ 冠顎骨 ・ 冠鳩 ・ 冠鶴 ・ 冡 ・ 冢 ・ 冢田大峯 ・ 冣 ・ 冤 ・ 冤枉 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 冠頭標準形 ： ウィキペディア日本語版 冠頭標準形[かんむりあたまひょうじゅんがた] 冠頭標準形（英: prenex normal form）とは、数理論理学において一階述語論理の論理式の形式であり、量化子が論理式の先頭部分に集められている形式を指す（残りの部分をマトリクスと呼び、先頭の各量化子はマトリクス全体にかかっている）。 古典論理では、あらゆる論理式には等価な冠頭標準形の論理式が存在する。例えば、量化子がなく自由変項を含む論理式 φ(''y'')、ψ(''z'')、ρ(''x'') があるとき、 :$\backslash forall\; x\; \backslash exists\; y\; \backslash exists\; z\; (\backslash phi\; \backslash lor\; (\backslash psi\; \backslash rightarrow\; \backslash rho))$ は $\backslash phi\; \backslash lor\; (\backslash psi\; \backslash rightarrow\; \backslash rho)$ をマトリクスとする冠頭標準形であり、 :$\backslash forall\; x\; ((\backslash exists\; y\; \backslash phi)\; \backslash lor\; ((\backslash forall\; z\backslash psi\; )\; \backslash rightarrow\; \backslash rho))$ は上と論理的に等価だが冠頭標準形でない論理式である。 == 冠頭形への変換 == 全ての一階述語論理の論理式には（古典論理では）論理的に等価な冠頭標準形の論理式が存在する。いくつかの変換規則を再帰的に適用することで、論理式を冠頭標準形に変換できる。規則は、論理式に出現する論理演算子の種類によって異なる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「冠頭標準形」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.