真理関数
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/04/13 16:29 UTC 版)
![]() | この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年4月) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
真理関数(しんりかんすう、英:Truth function) とは、数理論理学において、真理値の各変数の変域と終集合とがそれぞれ『「真な命題」と「偽な命題」のみから成る集合』に等しいような写像である。真理関数は命題関数でもある。
定義
真理関数を定義する為に次の 2 つの記号を用いる。
- 真な命題を表す記号 : 出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。
- 前原昭二、復刊 数理論理学序説、共立出版株式会社、2010。
- 真理関数のページへのリンク