独立命题集相关论文
该文涉及三个命题逻辑系统:二值经典逻辑系统,Lukasiewicz逻辑系统和L逻辑系统,主要内容是在不同的逻辑系统中有重点的讨论命题集......
本文的主要目的有两个,第一,在L^*系统中给出了独立命题集的概念,并定义了命题集的约简;第二,讨论了命题集的根。......