真理関数

しんりかんすう

名詞

標準

truth-function

作例 · 標準

論理学では、命題の真偽値を決定する真理関数を扱う。

幻辭AI · gemini-2.5-flash

ANDやOR、NOTといった基本的な論理演算は、真理関数の一種だ。

幻辭AI · gemini-2.5-flash

真理関数表を作成することで、複雑な論理式の真偽を視覚的に確認できる。

幻辭AI · gemini-2.5-flash

ウィキペディア

真理関数とは、数理論理学において、真理値の各変数の変域と終集合とがそれぞれ『「真な命題」と「偽な命題」のみから成る集合』に等しいような写像である。真理関数は命題関数でもある。