| 全功能联结词集合的一个注记 |
| |
| 引用本文： | 黄喻,邹辉.全功能联结词集合的一个注记[J].西南民族学院学报(自然科学版),2006,32(4):654-658. |
| |
| 作者姓名： | 黄喻 邹辉 |
| |
| 作者单位： | 成都理工大学信息管理学院,成都,610059 成都理工大学信息管理学院,成都,610059 |
| |
| 摘 要： | 本文对数理逻辑中的各种联结词所构成的集合进行了讨论,得到全功能联结词集合,指出了12个全功能联结词集合.其中,一阶全功能联结词集合2个;二阶全功能联结词集合7个;三阶全功能联结词集合3个;没有四阶及四阶以上的全功能联结词集合.
|
| 关 键 词： | 联结词 全功能联结词集合 真值表 |
| 文章编号： | 1003-2843(2006)04-0654-05 |
| 修稿时间： | 2006年3月21日 |
One note for adequate sets of connectives |
| |
| HUANG Yu,ZHOU Hui.One note for adequate sets of connectives[J].Journal of Southwest Nationalities College(Natural Science Edition),2006,32(4):654-658. |
| |
| Authors: | HUANG Yu ZHOU Hui |
| |
| Abstract: | This paper discusses the sets which are made of all kinds of connectives in the mathematical logic,gets adequate sets of connectives,and indicates 12 adequate sets of connectives.We have 2 first-order adequate sets of connectives;7 second-order adequate sets of connectives;and 3 third-order adequate sets of connectives;but we have no fourth-order and more than fourth-order adequate sets of connectives. |
| |
| Keywords: | connective adequate set of connectives truth table |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
