翻訳と辞書
Words near each other
・ 命辛辛
・ 命運
・ 命門穴
・ 命預けます
・ 命題
・ 命題計算
・ 命題論
・ 命題論 (アリストテレス)
・ 命題論理
・ 命題論理学
命題関数
・ 命題集
・ 命題集 (ペトルス・ロンバルドゥス)
・ 呾
・ 呿
・ 咀
・ 咀(しゃく)嚼、噛み砕き
・ 咀しゃく(嚼)
・ 咀嚼
・ 咀嚼リズム


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

命題関数 : ウィキペディア日本語版
命題関数[めいだいかんすう]
命題関数 ( めいだいかんすう、英:propositional function ) とは、数理論理学において、終集合が真な命題と偽な命題とだけから成る集合に等しいような写像である。
== 定義 ==
命題関数を定義する為に次の 2 つの記号を用いる。
# 真な命題を表わす記号 : \curlyvee
# 偽な命題を表わす記号 : \curlywedge
''L0'' を \curlyvee\curlywedge とだけから成る集合とする。また、''D'' を固定された空でない 1 つの集合とする。そのとき、''n'' 個の ''D'' の直積 \prod_^n D から ''L0'' への写像を ''n'' 変数の命題関数という。命題関数をまた述語性質条件ともいう。''n'' 変数の命題関数をまた ''n'' 項関係ともいう。集合 ''D'' を議論領域といい、''D'' の各元を対象という。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「命題関数」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.