p q ﹁p ﹁q ﹁p∨q p→q q←p ﹁q→﹁p ﹁p←﹁q
TTFF T
T
T
T
T
TFFT F
F
F
F
F
FTTF T
T
T
T
T
FFTT T
T
T
T
T
➢ 真值表方法： ➢ 1.用符号表达出命题形式。 ➢ 2.列出命题形式中的命题变元。 ➢ 3.根据括号和联结词的用法确定命题形式内部的次序。 ➢ 4.画出真值表。 ➢ 5.依照确定的表达式次序检验真值。 ➢ 6.根据最后一步即主联结词一栏的真值情况对该表达式做
➢（p:乔丹是美国总统；q：乔丹是美国 领导人）
➢推理形式：（（p→q）∧﹁p）→ ﹁q
p q ﹁p ﹁q p→q （p→q）∧﹁p （（p→q）∧﹁p）→﹁q
TTFF T
F
T
TFFT F
F
T
FTTF T
T
F
FFTT T
T
T
➢2.如果美国绕开联合国向伊拉克改动战 争，联合国的权威就会受到破坏。所 以，要想联合国的权威不会受到破坏， 美国就不绕开联合国向伊拉克改动战 争。
➢（p:美国绕开联合国向伊拉克改动战争； q：联合国的权威就会受到破坏）
➢推理形式：（p→q）→（﹁q → ﹁p）
p q ﹁p ﹁q p→q ﹁q→﹁p （p→q）→（﹁q → ﹁p）
TTFF T
T
T
TFFT F
FTFTTF TT NhomakorabeaT
FFTT T
T
T
出判定。
➢ （1）如果主联结词一栏都为真，则该命题为重言式，相 应的推理有效。
➢ （2）如果主联结词一栏都为假，则该命题为矛盾式，相 应的推理无效。
➢ （3）如果主联结词一栏有真有假，则该命题为可真公式， 相应的推理无效。
➢例如：用真值表法判定下列推理是否 有效。
➢1.如果乔丹是美国总统，那么他是美国 领导人。乔丹不是美国总统，所以， 他不是美国领导人。