《逻辑学真值表PPT课件》由会员分享，可在线阅读，更多相关《逻辑学真值表PPT课件（6页珍藏版）》请在金锄头文库上搜索。
1,2,真值表方法： 1.用符号表达出命题形式。 2.列出命题形式中的命题变元。 3.根据括号和联结词的用法确定命题形式内部的次序。 4.画出真值表。 5.依照确定的表达式次序检验真值。 6.根据最后一步即主联结词一栏的真值情况对该表达式做出判定。 （1）如果主联结词一栏都为真，则该命题为重言式，相应的推理有效。 （2）如果主联结词一栏都为假，则该命题为矛盾式，相应的推理无效。 （3）如果主联结词一栏有真有假，则该命题为可真公式，相应的推理无效。,3,例如：用真值表法判定下列推理是否有效。 1.如果乔丹是美国总统，那么他是美国领导人。乔丹不是美国总统，所以，他不是美国领导人。 （p:乔丹是美国总统；q：乔丹是美国领导人） 推理形式：（pq）p） q,4,5,2.如果美国绕开联合国向伊拉克改动战争，联合国的权威就会受到破坏。所以，要想联合国的权威不会受到破坏，美国就不绕开联合国向伊拉克改动战争。 （p:美国绕开联合国向伊拉克改动战争；q：联合国的权威就会受到破坏） 推理形式：（pq）（q p）,6,
