:::讨论.在多值逻辑中，给定一个 MV-代数 A，一个 A-赋值就是从命题演算中公式的集合到 MV-代数的函数。如果对于所有 A-赋值这个函数把一个公式映射到 1（或 formula_180），则这个公式是一个 A-重言式。因此对于无穷值逻辑（比如模煳逻辑、武卡谢维奇逻辑），我们设 [0,1] 是 A 的下层集合来获得 [0,1]-赋值和 [0,1]-重言式（经常就叫做赋值和重言式）。Chang 发明 MV-代数来研究波兰数学家扬·武卡谢维奇（）在 1920 年介入的多值逻辑。Chang 的完备定理