逻辑学真值表.ppt

文档介绍：pq﹁p﹁q﹁p∨qp→qq←p﹁q→﹁p﹁p←﹁qTTFFTTTTTTFFTFFFFFFTTFTTTTTFFTTTTTTT---?真值表方法:?。?。?。?。?。?。?(1)如果主联结词一栏都为真,则该命题为重言式,相应的推理有效。?(2)如果主联结词一栏都为假,则该命题为矛盾式,相应的推理无效。?(3)如果主联结词一栏有真有假,则该命题为可真公式,相应的推理无效。---?例如:用真值表法判定下列推理是否有效。?,那么他是美国领导人。乔丹不是美国总统,所以,他不是美国领导人。?(p:乔丹是美国总统;q:乔丹是美国领导人)?推理形式:((p→q)∧﹁p)→﹁q---pq﹁p﹁qp→q(p→q)∧﹁p((p→q)∧﹁p)→﹁qTTFFTFTTFFTFFTFTTFTTFFFTTTTT---?,联合国的权威就会受到破坏。所以,要想联合国的权威不会受到破坏,美国就不绕开联合国向伊拉克改动战争。?(p:美国绕开联合国向伊拉克改动战争;q:联合国的权威就会受到破坏)?推理形式:(p→q)→(﹁q→﹁p)---pq﹁p﹁qp→q﹁q→﹁p(p→q)→(﹁q→﹁p)TTFFTTTTFFTFFTFTTFTTTFFTTTTT---