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

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 冠頭標準形 ： ミニ英和和英辞書 冠頭標準形[かんむりあたまひょうじゅんがた] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 冠 ： [かんむり] 　【名詞】1. crown　2. diadem　3. first　4. best　5. peerless　6. cap　7. naming　8. designating　9. initiating on coming of age　10. top character radical, 11. corona, comb ・ 頭 ： [あたま, とう] 　【名詞】 1. counter for large animals　 ・ 標 ： [しるし] 　【名詞】 1. (1) mark　2. (2) symbol　3. (3) evidence ・ 標準 ： [ひょうじゅん] 　【名詞】 1. standard　2. level　 ・ 準 ： [じゅん] 　 1. (n,pref) level　2. apply correspondingly　3. correspond to　4. being proportionate to　5. conforming to　6. semi　7. quasi　8. associate　9. standard　10. rule　1 1. aim ・ 形 ： [けい, かたち, ぎょう] 　 1. (suf) shape　2. form　3. type 冠頭標準形 ： ウィキペディア日本語版 冠頭標準形[かんむりあたまひょうじゅんがた] 冠頭標準形（英: 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.