下载此文档

逻辑学真值表PPT.ppt

文档分类：高等教育 | 页数：约6页举报非法文档有奖

1/6

下载提示

1.该资料是网友上传的，本站提供全文预览，预览什么样，下载就什么样。
2.下载该文档所得收入归上传者、原创者。
3.下载的文档，不会出现我们的网址水印。

同意并开始全文预览

(约 1-6 秒)

1/6 下载此文档

文档列表 文档介绍

p
T
q
T
﹁
p
﹁
q
﹁
p
∨
q
F
F
T
p→q
T
q←p
T
﹁
q→
﹁
p
T
﹁
p←
﹁
q
T
T
F
F
F
T
F
F
T
T
T
F
T
F
T
T
F
T
T
F
T
T
F
T
T
F
T
T
1
?
?
?
?
?
?
?
真值表方法：
1.
用符号表达出命题形式。
2.
列出命题形式中的命题变元。
3.
根据括号和联结词的用法确定命题形式内部的次序。
4.
画出真值表。
5.
依照确定的表达式次序检验真值。
6.
根据最后一步即主联结词一栏的真值情况对该表达式做
出判定。
?
（
1
）如果主联结词一栏都为真，则该命题为重言式，相
应的推理有效。
?
（
2
）如果主联结词一栏都为假，则该命题为矛盾式，相
应的推理无效。
?
（
3
）如果主联结词一栏有真有假，则该命题为可真公式，
相应的推理无效。
2
?
例如：用真值表法判定下列推理是否
有效。
?
1.
如果乔丹是美国总统，那么他是美
国领导人。乔丹不是美国总统，所以，
他不是美国领导人。
?
（
p:
乔丹是美国总统；
q
：乔丹是美国
领导人）
?
推理形式：（（p→q）∧﹁
p
）→ ﹁
q
3
p
T
q
T
﹁
p
﹁
q
F
F
p→q
T
（
p→q
）∧﹁
p
（（
p→q
）∧﹁
p
）
→
﹁
q
F
T
T
F
F
F
T
F
F
T
T
T
F
T
F
T
T
F
T
T
T

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