翻訳と辞書 Words near each other ・ クリフ・リチャード ・ クリフ・リー ・ クリフ・リー (曖昧さ回避) ・ クリフ・ロバートソン ・ クリブ ・ クリブス ・ クリブドン・タウンFC ・ クリブレ ・ クリブ・アトウェル ・ クリプキ ・ クリプキ・モデル ・ クリプス・コース ・ クリプタ ・ クリプタンド ・ クリプチスタ ・ クリプテリア ・ クリプテート ・ クリプト ・ クリプト (カードゲーム) ・ クリプト (企業) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク クリプキ・モデル ： ミニ英和和英辞書 クリプキ・モデル ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 クリプキ・モデル ： ウィキペディア日本語版 クリプキ・モデル クリプキ・モデル (Kripke Model) は クリプキ意味論 (Kripke) とも言われている。これは Saul Aaron Kripke が提唱し、状況に応じた真理値を持つ論理体系の論理式について与えられる意味論である。これは「可能世界」という概念で説明される。可能世界とは、例えば「ある小説の男性は魔法が使える」ということと、現実世界の「ある男性は魔法が使えない」ということを、「それらは世界が異なるので、それぞれの世界ではそれらが成り立つ」という方法で説明されている。 == 定義 == クリプキ意味論は、可能世界の集合とそれらの関係で定義される。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「クリプキ・モデル」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.