3値論理(,)とは、通常の真()と偽()から成る真偽値の他に、第3の真理値を持つ論理体系。