8)描述了这两个公式的等同。
例子.一个简单的例子是 formula_15，带有定义为 formula_16 和 formula_17 的运算。
讨论.在多值逻辑中，给定一个 MV-代数 A，一个 A-赋值就是从命题演算中公式的集合到 MV-代数的函数。如果对于所有 A-赋值这个函数把一个公式映射到 1（或 formula_180），则这个公式是一个 A-重言式。因此对于无穷值逻辑（比如模煳逻辑、武卡谢维奇逻辑），我们设 [0,1] 是 A 的下层集合来获