スコーレム標準形とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > スコーレム標準形の意味・解説 

スコーレム標準形

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/12/03 17:23 UTC 版)

スコーレム標準形(スコーレムひょうじゅんけい、: Skolem normal form)とは、数理論理学において一階述語論理における存在記号がすべて全称記号の前にある冠頭標準形論理式を言う。

トアルフ・スコーレムによるスコーレムの定理により、第一階述語論理における任意の論理式に対して、演繹的に等価(deductive equivalence)[1]なスコーレム標準形の論理式が存在する[2]

定義

冠頭標準形(prenex normal form)

第一階述語論理における任意の論理式は、論理式の一番前にすべて否定形でない前置記号を持ち、その作用域がどれも論理式の終わりまで及ぶような標準形に直すことができる。

このような標準形を冠頭標準形(prenex normal form)と呼ぶ[3]。なお、冠頭標準形の一番前から数えて存在記号の前にある全称記号の数を、その冠頭標準形の次数(degree)と呼ぶ。

スコーレム標準形(Skolem normal form)

スコーレム化は、存在量化された変項 カテゴリ




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「スコーレム標準形」の関連用語



3
16% |||||







10
8% |||||

スコーレム標準形のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



スコーレム標準形のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのスコーレム標準形 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS