论文部分内容阅读
深入研究FI代数的与其导出序结构相关的一些性质。特别地，分别得到了在FI代数（L，→，0）中下列各式之一成为恒等式的若干条件：（1）（x∨y）→z=（x→z）∧（x∨y）；（2）z→（x∨y）=（z→x）∨（z→y）；（3）（x∧y）→z=（x→z）∨（y→z）；（4）z→（x∧y）=（x→x）∧（z→y）。