四値論理
四値論理(よんちろんり、Four-valued logic)は、論理学において4つの真理値を持つ任意の論理。