|
真理関数 ( しんりかんすう、Truth Function ) とは、数理論理学において、各変数の変域と終集合とがそれぞれ真な命題と偽な命題とだけから成る集合に等しいような写像である。真理関数は命題関数でもある。 == 定義 == 真理関数を定義する為に次の 2 つの記号を用いる。 #真な命題を表わす記号 : #偽な命題を表わす記号 : ''L'' を と とだけから成る集合、''n'' を自然数とするとき、''n'' 個の ''L'' の直積 から ''L'' への写像を ''n'' 変数の真理関数という。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「真理関数」の詳細全文を読む スポンサード リンク
|