逻辑学真值表

*,*,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,p,q,p,q,pq,pq,qp,qp,pq,T,T,F,F,T,T,T,T,T,T,F,F,T,F,F,F,F,F,F,T,T,F,T,T,T,T,T,F,F,T,T,T,T,T,T,T,真值表方法：,1.,用符号表达出命题形式。,2.,列出命题形式中的命题变元。,3.,根据括号和联结词的用法确定命题形式内部的次序。,4.,画出真值表。,5.,依照确定的表达式次序检验真值。,6.,根据最后一步即主联结词一栏的真值情况对该表达式做出判定。,（,1,）如果主联结词一栏都为真，则该命题为重言式，相应的推理有效。,（,2,）如果主联结词一栏都为假，则该命题为矛盾式，相应的推理无效。,（,3,）如果主联结词一栏有真有假，则该命题为可真公式，相应的推理无效。,例如：用真值表法判定下列推理是否有效。,1.,如果乔丹是美国总统，那么他是美国领导人。乔丹不是美国总统，所以，他不是美国领导人。,（,p:,乔丹是美国总统；,q,：乔丹是美国领导人）,推理形式,：（,pq,）,p,）, q,p,q,p,q,pq,（,pq,）,p,（,pq,）,p,）,q,T,T,F,F,T,F,T,T,F,F,T,F,F,T,F,T,T,F,T,T,F,F,F,T,T,T,T,T,2.,如果美国,绕开联合国向伊拉克改动战争,，联合国的权威就会受到破坏。所以，,要想,联合国的权威,不,会受到破坏，美国就不,绕开联合国向伊拉克改动战争。,（,p:,美国,绕开联合国向伊拉克改动战争,；,q,：联合国的权威就会受到破坏）,推理形式,：（,pq,）,（,q p,）,p,q,p,q,pq,qp,（,pq,）（,q p,）,T,T,F,F,T,T,T,T,F,F,T,F,F,T,F,T,T,F,T,T,T,F,F,T,T,T,T,T,