《逻辑学基础》课件 重言式判定方法.ppt_第1页
《逻辑学基础》课件 重言式判定方法.ppt_第2页
《逻辑学基础》课件 重言式判定方法.ppt_第3页
《逻辑学基础》课件 重言式判定方法.ppt_第4页
《逻辑学基础》课件 重言式判定方法.ppt_第5页
已阅读5页，还剩3页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

1、例、请用真值表方法判定（PQ）Q P是否重言式。,例: 或者逻辑学难学,或者没有多少学生喜欢它.如果数学容易学,那么逻辑学不难学.因此,如果许多学生喜欢逻辑学,那么数学并不容易学. 判断上述推理是否正确.,可以形式化为： (pq)(rp)(qr),归谬赋值法 真值表方法最适用于比较简单的公式.当遇到一个比较复杂的公式时，它就不太适用，甚至在纸张或黑板的有限空间内都画不出相应的真值表。假如一公式含有多个不同的变项，比如说5个，该公式的真值表将不得不包括2的5次方+1行。这用手操作起来十分不便，容易在某个地方出错，出错后检查起来也很不容易。因此，真值表方法必须简化。,归谬赋值法就是真值表方法的一种

2、简化，其基本思路是：如果公式A是一个重言式，那么，无论A中的变项指派什么样的值，根据A的形式结构以及其中联结词所表示的真值运算，A必定且只能取值为真。因此，若假设A不是重言式，即可以为假，然后按照联结词的真值表，逐步逆推出其中各个子公式应该取的真值，直至逆推出其中所所含的命题变项的真值，看能否在子公式或命题变项上导致矛盾的赋值，即必须对同一个子公式或命题变项既指派真又,指派假。根据归谬法，从一个假设导致矛盾，而矛盾肯定不成立，因此原假设不成立，该公式不可能为假，恒为真，是重言式。 归谬赋值法的步骤是： （1）写出所要判定的公式A。 （2）在A的主联结词下写0。 （3）按照联结词的真值表，由主联结词的真值逐步逆推出其中子公式的真值，在相应的子公式下写1或者0，并按此办法依次进行下去。在一子公式下写1或者0，也就是在它的主联结词下写1或0；如果这个公式是命题变项，则在该变项下写1或者0。,（4）检查赋值中是否出现矛盾。尽管赋值过程尚未完成，但已经出现矛盾，则就此打住。否则，赋值过程一直进行下去，直至给出命题变项的真值。若出现矛盾，为醒目起见，在互相矛盾的赋值下面置一短横线。这表明该公式不可能为假，必定是重言式。若未出现矛盾，则表明该公式可以为假，不是重言式

人人文库> 全部分类> 应用文书 > 技术指导

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论