-
题名基于二元域研究命题公式
- 1
-
-
作者
楼建华
-
机构
石河子大学师范学院数学系
-
出处
《石河子大学学报（自然科学版）》
CAS
2006年第4期494-496,共3页
-
文摘
简单讨论二元域F2及其性质。采用映射定义联结词和命题公式,把它们均抽象为F2上的多项式。基于F2研究命题公式的多项式范式和异或范式,给出全功能联结词集的判定条件。
-
关键词
二元域
映射
命题联结词
全功能联结词集
-
Keywords
binary field
mapping
prepositional connectives
adequate set of connectives
-
分类号
O153.4
[理学—基础数学]
-
-
题名一个古典的自然推理系统——论斯多葛命题逻辑
被引量：2
- 2
-
-
作者
程仲棠
-
出处
《广东社会科学》
CSSCI
1990年第1期36-40,8,共6页
-
文摘
在逻辑史上,斯多葛派的重大贡献就是继亚里士多德建立了第一个名词逻辑系统(即三段论系统)之后,建立了第一个命题逻辑系统.亚里士多德的三段论系统是一个古典的公理系统,而斯多葛命题逻辑系统则是一个古典的自然推理系统.在斯多葛派之前,麦加拉学派和逍遥学派已经研究过假言命题的逻辑形式,但他们并没有建立一个命题逻辑系统,在逻辑史上首先把命题逻辑加以系统化,并建立了第一个自然推理系统的是斯多葛派.
-
关键词
命题逻辑
自然推理系统
斯多葛派
推理规则
推理形式
命题联结词
逻辑系统
复合命题
元逻辑
逻辑史
-
分类号
C55
[社会学]
-
