向量邏輯

向量邏輯是一種建基於矩陣代數的邏輯模型 。 它假設邏輯真值可成爲一種向量 ， 而一元和二元謂詞演算皆以矩陣的算法進行 。