检索结果-南通市图书馆

命题逻辑浅议

引用

中学数学 1989年第3期 15-18页

作者：程自道湖北大学

一、命题及复合命题我们通常所使用的语句有各种不同的形式,其中最简单的一种形式是只由“主语”和“谓语”所构成。例如,

关键词：真值表分配律命题逻辑数学作业交换律恒真命题集合代数结合律基本法则命题式原命题推理方式恒假命题

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

论证(Ⅳ)

引用

中学教研(数学) 1982年第4期 41-47页

作者：张明樑

五、真值表我们在命题演算中已经看到一个命题可以形式地看作一个数学式子进行演算(1982年第二期第34页),并且在演算中使用了三种符号:

关键词：命题形式数学式子实数值二次函数真值表恒真命题实数解命题演算原命题

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

试论数学推理方法的逻辑根据

引用

西北师范大学学报(自然科学版) 1983年第2期 7-12页

作者：祁永谨

数学的基本特征之一,是逻辑推理的严格性以及它的结论的确定性。那末逻辑推理的确切涵义与根据是什么呢?本文试用逻辑代数的观点给以阐述。数学中推理的有效性数学中的命题,大都具有“如果…,那么…”的形式,或者,更简单些可以表为“若p... 详细信息

数学的基本特征之一,是逻辑推理的严格性以及它的结论的确定性。那末逻辑推理的确切涵义与根据是什么呢?本文试用逻辑代数的观点给以阐述。数学中推理的有效性数学中的命题,大都具有“如果…,那么…”的形式,或者,更简单些可以表为“若p则q”,其中p,q是命题。命题“若p则q”称为“条件命题”或“假言命题”,在逻辑代数中表为“p→q”,p称为前提(条件),q称为结论(终结)。命题p→q的真假由下表给出: