翻訳と辞書 |
命題関数[めいだいかんすう] 命題関数 ( めいだいかんすう、英:propositional function ) とは、数理論理学において、終集合が真な命題と偽な命題とだけから成る集合に等しいような写像である。 == 定義 == 命題関数を定義する為に次の 2 つの記号を用いる。 # 真な命題を表わす記号 : # 偽な命題を表わす記号 : ''L0'' を と とだけから成る集合とする。また、''D'' を固定された空でない 1 つの集合とする。そのとき、''n'' 個の ''D'' の直積 から ''L0'' への写像を ''n'' 変数の命題関数という。命題関数をまた述語、性質、条件ともいう。''n'' 変数の命題関数をまた ''n'' 項関係ともいう。集合 ''D'' を議論領域といい、''D'' の各元を対象という。
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「命題関数」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|