菜单
数理逻辑的主要任务是用数学的方法研究推理.所谓推理是指从前提出发推出结论的思文过程,而前提是已知的命题集合,结论是从前提出发应用推理规则推出的命题公式.[2]
设 和 都是命题公式,若对于 和 中出现的命题变项的任意一组赋值,或者 为假,或者当 为真时 也为真,则称由前提 推出结论 的推理的是有效的或正确的,并称 是有效的结论.[2]
设 都是命题公式, 当且仅当
,
称B是 一组前提的有效结论.
命题公式 推B的推理正确当且仅当
是重言式.
2.真值表法
2.1真值表的定义
设 是公式 中的所有的命题变项,给 各指定一个真值,称为对 的一个赋值或者解释.假如指定的一组值使得 为1,则称这组值为 的一组成真赋值;若使得 为0,则称这组值为 的一组成假赋值.
将命题公式 在全部赋值下的取值情况列成表,称为 的真值表.
2.2构造真值表的具体步骤
(1)首先找出公式中所含的全部命题変项 (若无下角标命题变项就按字母顺序排列),列出 个赋值情况,从00 0开始赋值,然后按二进制加法顺次写出每个赋值,直到写到11 1为止.
(2)然后按从低到高的顺序写出所有公式的各个层次.
(3)最后对应各个赋值计算出各层次的真值,直到计算出公式的真值.
如果两个公式 与 的真值表对所有赋值最后一列都相同,即最后结果都相同,则称这两个真值表相同,而不考虑构造真值表的中间过程.[2]
要想知道推理是否正确就是判断其是不是重言式,所以可以用真值表法判断推理是否正确.
例2.1 判断推理 是否正确.
解:此推理的形式结构为
共2页:
上一页
1
2
下一页
上一篇:
基于混合遗传算法的0-1背包问题求解
下一篇:
内部排序算法的时间复杂度分析
行列式在高中数学中的应用
多项式拟合在变形数据分析中的应用
因子分析在学生成绩综合评价中的应用
方差分析在小麦亩产量中的应用
中心极限定理在生活中的应用
大数定律在生活中的应用
概率论在经济中的应用
大众媒体对公共政策制定的影响
河岸冲刷和泥沙淤积的监测国内外研究现状
乳业同业并购式全产业链...
中考体育项目与体育教学合理结合的研究
酸性水汽提装置总汽提塔设计+CAD图纸
java+mysql车辆管理系统的设计+源代码
杂拟谷盗体内共生菌沃尔...
电站锅炉暖风器设计任务书
十二层带中心支撑钢结构...
当代大学生慈善意识研究+文献综述
主页
计算机
机械
自动化
关闭菜单
栏目
毕业论文
计算机论文
经济论文
生物论文
数学论文
物理论文
机械论文
新闻传播论文
音乐舞蹈论文
法学论文
文学论文
材料科学
日语论文
英语论文
化学论文
自动化
管理论文
艺术论文
会计论文
土木工程
电子通信
食品科学
教学论文
医学论文
体育论文
论文下载
研究现状
任务书
开题报告
外文文献翻译
文献综述
范文
菜单
毕业论文
刷新
分享
收藏
关于
关闭
关闭
分享本页
返回
关闭
暂无收藏
全部清除
关闭菜单
About
751论文网手机版...
主页:
http://www.751com.cn
关闭
返回