下载此文档

逻辑学真值表.ppt


文档分类:论文 | 页数:约6页 举报非法文档有奖
1/6
下载提示
  • 1.该资料是网友上传的,本站提供全文预览,预览什么样,下载就什么样。
  • 2.下载该文档所得收入归上传者、原创者。
  • 3.下载的文档,不会出现我们的网址水印。
1/6 下载此文档
文档列表 文档介绍
T T F T ﹁p∨q F F T T p F T F T qTTTT T T TTTT F T FFFF T F TTTT F F ﹁p←﹁q﹁q→﹁pq←pp→q﹁q﹁p?真值表方法: ?。?。?。?。?。?。?(1)如果主联结词一栏都为真,则该命题为重言式,相应的推理有效。?(2)如果主联结词一栏都为假,则该命题为矛盾式,相应的推理无效。?(3)如果主联结词一栏有真有假,则该命题为可真公式, 相应的推理无效。?例如:用真值表法判定下列推理是否有效。?,那么他是美国领导人。乔丹不是美国总统,所以, 他不是美国领导人。?(p:乔丹是美国总统; q:乔丹是美国领导人) ?推理形式:(( p→q)∧﹁p)→﹁q T T F F (p→q)∧﹁pT T F T p→q F F T T p F T F T qT T T F F T T T F T F F (( p→q)∧﹁p)→﹁q ﹁q﹁p?,联合国的权威就会受到破坏。所以, 要想联合国的权威不会受到破坏, 美国就不绕开联合国向伊拉克改动战争。?(p:美国绕开联合国向伊拉克改动战争;q:联合国的权威就会受到破坏) ?推理形式:( p→q)→(﹁q →﹁p) F F T T p F T F T qT TT T T T TT F T T FF T F T TT F F (p→q)→(﹁q →﹁p) ﹁q→﹁pp→q﹁q﹁p

逻辑学真值表 来自淘豆网www.taodocs.com转载请标明出处.

相关文档 更多>>
非法内容举报中心
文档信息
  • 页数6
  • 收藏数0 收藏
  • 顶次数0
  • 上传人wangzhidaol
  • 文件大小145 KB
  • 时间2017-02-15