概述
真值表等数理逻辑方法的判定功能
龚启荣
【摘
要】
真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演
算中重言式的判定
(
或证明
)
方法
,
但不是传统命题逻辑推理式的判定方法
.
【期刊名称】
《贵州大学学报(自然科学版)》
【年
(
卷
),
期】
2001(018)001
【总页数】
6
页
(P58-63)
【关键词】
数理逻辑
;
重言式
;
传统逻辑
;
推理式
;
判定方法
【作
者】
龚启荣
【作者单位】
贵州大学信息管理系
,
【正文语种】
中
文
【中图分类】
基础科学
第
18
卷第
1
期
2001
年
2
月贵州大学学报(自然科学版)
Journal of Guizhou
University(Natural Science) Vol.18No.lFeb.2001
真值表等数理逻辑方法的判定
功能‘龚启荣(贵州大学信息管理系，贵阳
550025)
摘要真佳表、归谬赋值、真
值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定(或证明)方法，
但不是传统命题逻辑推理式的判定方法．关键词数理逻辑重言式传统逻辑推理式判
定方法中图分类号四口
.22 &0141
文献标识码
A
文章编号
1
删－
5269(2001)01
一
0058-06
国内较为流行的一本传统形式逻辑教材认为：“一个推理形式
‘ A1,A2 ，…，
An;.'.A ’是有
效的，当且仅当命题形式(
A1
八
A2 /
···/
An
)
最后
以上就是潇洒钻石为你收集整理的pvq真值表_真值表等数理逻辑方法的判定功能的全部内容，希望文章能够帮你解决pvq真值表_真值表等数理逻辑方法的判定功能所遇到的程序开发问题。
如果觉得靠谱客网站的内容还不错，欢迎将靠谱客网站推荐给程序员好友。
本图文内容来源于网友提供，作为学习参考使用，或来自网络收集整理，版权属于原作者所有。
发表评论 取消回复