逻辑学真值表真值表方法：1.用符号表达出命题形式。2.列出命题形式中的命题变元。3.根据括号和联结词的用法确定命题形式内部的次序。4.画出真值表。5.依照确定的表达式次序检验真值。6.根据最后一步即主联结词一栏的真值情况(qíngkuàng)对该表达式做出判定。（1）如果主联结词一栏都为真，则该命题为重言式，相应的推理有效。（2）如果主联结词一栏都为假，则该命题为矛盾式，相应的推理无效。（3）如果主联结词一栏有真有假，则该命题为可真公式，相应的推理无效。例如(lìrú)：用真值表法判定下列推理是否有效。1.如果乔丹是美国总统，那么他是美国领导人。乔丹不是美国总统，所以，他不是美国领导人。（p:乔丹是美国总统；q：乔丹是美国领导人）推理形式：（（p→q）∧﹁p）→﹁qp2.如果美国绕开联合国向伊拉克改动战争，联合国的权威就会受到破坏。所以，要想联合国的权威不会受到破坏，美国就不绕开联合国向伊拉克改动战争。（p:美国绕开联合国向伊拉克改动战争；q：联合国的权威就会受到破坏）推理(tuīlǐ)形式：（p→q）→（﹁q→﹁p）p内容(nèiróng)总结