论文部分内容阅读
对数理逻辑中的各种联结词所构成的集合进行了讨论，并用计算机编程进行理论推导，把逻辑推理转化为计算机能够实现的0.1运算，用计算机实现了逻辑推理的全过程.得到的主要结果是：全功能联结词集合一共11个，其中，一阶全功能联结词集合2个；二阶全功能联结词集合7个；三阶全功能联结词集合2个；没有四阶及四阶以上的全功能联结词集合。这便修正了近年来有关全功能联结词的一个错误结论。