翻訳と辞書 Words near each other ・ 命辛辛 ・ 命運 ・ 命門穴 ・ 命預けます ・ 命題 ・ 命題計算 ・ 命題論 ・ 命題論 (アリストテレス) ・ 命題論理 ・ 命題論理学 ・ 命題関数 ・ 命題集 ・ 命題集 (ペトルス・ロンバルドゥス) ・ 呾 ・ 呿 ・ 咀 ・ 咀(しゃく)嚼、噛み砕き ・ 咀しゃく(嚼) ・ 咀嚼 ・ 咀嚼リズム Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 命題関数 ： ミニ英和和英辞書 命題関数[めいだいかんすう] (n) propositional (sentential) function =========================== ・ 命 ： [めい, いのち] 　【名詞】 1. command　2. decree　3. life　4. destiny　 ・ 命題 ： [めいだい] 　【名詞】 1. proposition　2. thesis　 ・ 命題関数 ： [めいだいかんすう] 　(n) propositional (sentential) function ・ 題 ： [だい] 　 1. (n,vs) title　2. subject　3. theme　4. topic　 ・ 関 ： [せき, ぜき] 　(suf) honorific added to names of makuuchi and juryo division sumo wrestlers ・ 関数 ： [かんすう] 　(n) function (e.g., math, programming, programing) ・ 数 ： [すう, かず] 　 1. (n,n-suf) number　2. figure　 命題関数 ： ウィキペディア日本語版 命題関数[めいだいかんすう] 命題関数 （ めいだいかんすう、英：propositional function ） とは、数理論理学において、終集合が真な命題と偽な命題とだけから成る集合に等しいような写像である。 == 定義 == 命題関数を定義する為に次の 2 つの記号を用いる。 # 真な命題を表わす記号 ： $\backslash curlyvee$ # 偽な命題を表わす記号 ： $\backslash curlywedge$ ''L0'' を $\backslash curlyvee$ と $\backslash curlywedge$ とだけから成る集合とする。また、''D'' を固定された空でない 1 つの集合とする。そのとき、''n'' 個の ''D'' の直積 $\backslash prod\_^n\; D$ から ''L0'' への写像を ''n'' 変数の命題関数という。命題関数をまた述語、性質、条件ともいう。''n'' 変数の命題関数をまた ''n'' 項関係ともいう。集合 ''D'' を議論領域といい、''D'' の各元を対象という。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「命題関数」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.