T T F T ﹁p∨q F F T T p F T F T qTTTT T T TTTT F T FFFF T F TTTT F F ﹁p←﹁q﹁q→﹁pq←pp→q﹁q﹁p?真值表方法: ?。?。?。?。?。?。?(1)如果主联结词一栏都为真,则该命题为重言式,相应的推理有效。?(2)如果主联结词一栏都为假,则该命题为矛盾式,相应的推理无效。?(3)如果主联结词一栏有真有假,则该命题为可真公式, 相应的推理无效。?例如:用真值表法判定下列推理是否有效。?,那么他是美国领导人。乔丹不是美国总统,所以, 他不是美国领导人。?(p:乔丹是美国总统; q:乔丹是美国领导人) ?推理形式:(( p→q)∧﹁p)→﹁q T T F F (p→q)∧﹁pT T F T p→q F F T T p F T F T qT T T F F T T T F T F F (( p→q)∧﹁p)→﹁q ﹁q﹁p?,联合国的权威就会受到破坏。所以, 要想联合国的权威不会受到破坏, 美国就不绕开联合国向伊拉克改动战争。?(p:美国绕开联合国向伊拉克改动战争;q:联合国的权威就会受到破坏) ?推理形式:( p→q)→(﹁q →﹁p) F F T T p F T F T qT TT T T T TT F T T FF T F T TT F F (p→q)→(﹁q →﹁p) ﹁q→﹁pp→q﹁q﹁p
逻辑学真值表 来自淘豆网www.taodocs.com转载请标明出处.