真理値
しんりち truth-value

真理関数
しんりかんすう truth-function