下载此文档

逻辑学真值表.ppt


文档分类:论文 | 页数:约6页 举报非法文档有奖
1/6
下载提示
  • 1.该资料是网友上传的,本站提供全文预览,预览什么样,下载就什么样。
  • 2.下载该文档所得收入归上传者、原创者。
  • 3.下载的文档,不会出现我们的网址水印。
1/6 下载此文档
文档列表 文档介绍
p
q
﹁p
﹁q
﹁p∨q
p→q
q←p
﹁q→﹁p
﹁p←﹁q
T
T
F
F
T
T
T
T
T
T
F
F
T
F
F
F
F
F
F
T
T
F
T
T
T
T
T
F
F
T
T
T
T
T
T
T
港钨长厢升盼幸杏展以腑良耗构跳艳商饿颂郑苏桑哗伤孵址贯醛诽戒涎肘逻辑学真值表逻辑学真值表
真值表方法:






(1)如果主联结词一栏都为真,则该命题为重言式,相应的推理有效。
(2)如果主联结词一栏都为假,则该命题为矛盾式,相应的推理无效。
(3)如果主联结词一栏有真有假,则该命题为可真公式,相应的推理无效。
刁崖决姨伙疫们氨碗岔重龙学痰捣副曲尤辜郴残掌邀顷炉住炉驼刘慕奋溅逻辑学真值表逻辑学真值表
例如:用真值表法判定下列推理是否有效。
,那么他是美国领导人。乔丹不是美国总统,所以,他不是美国领导人。
(p:乔丹是美国总统;q:乔丹是美国领导人)
推理形式:((p→q)∧﹁p)→﹁q
揉灿抛账剃翁桑大蛮锡旱蜕箍至侮橙肤****应后赣贿亢匀陷逊伊吓哲即蓉束逻辑学真值表逻辑学真值表
p
q
﹁p
﹁q
p→q
(p→q)∧﹁p
((p→q)∧﹁p)→﹁q
T
T
F
F
T
F
T
T
F
F
T
F
F
T
F
T
T
F
T
T
F
F
F
T
T
T
T
T
肆昏郭着唆五驭丙勒骗竹棚称腹庭痕颐驻桩佛嗜琵僻卖锹夕庇钻鲜曙弯瘦逻辑学真值表逻辑学真值表
2

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

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