的证明，而不能以二值逻辑的互补性质进行论证。
概观.传统的二值逻辑仅使用少量数学函数演算一个或两个逻辑变量。在古典逻辑，值 1 被赋为「真」，而值 0 则被赋为「假」。相对地，一个二值的向量逻辑需要为「真」、「假」二值赋予两个由实数组成的 "q-"维单位列向量 "s" 及" n"，亦即：(其中 formula_3 为一任意自然数，而「单位」的意思是两个向量的范数为 1。又，"s "、"n" 二者通常互相正交)。由这种关系可衍生出一个内含各逻辑值的向量空间"V" = {"s","n