una matriz es un conjunto de tablas de verdad. Una matriz M es característica en un sistema S syss todas y solo las fbfs designadas uniformemente (tautológicas) en M son teoremas de S. Un sistema es n-valente si tiene una matriz característica n-valente y ninguna matriz caracteristica con menos de n valores; plurivalente si es n-valente para n > 2; infinitamente plurivalente si es n-valente para infinitas n.
(Haack, 1978).