全功能联结词集合的计算机实现

• 作者: 邹辉 魏贵民
• 来源期刊: 成都理工大学学报（自然科学版）
• 学科: 数学
• 关键词: 联结词 真值表 全功能联结词集合
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 地球探测与信息技术
• 页码范围: 359-363
• 页数: 5页
• 分类号: O141
• 字数: 3340字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-9727.2007.03.023

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏贵民	成都理工大学信息管理学院	13	24	3.0	4.0
2	邹辉	成都理工大学信息管理学院	2	2	1.0	1.0