pvq真值表_逻辑学真值表

《逻辑学真值表》由会员分享，可在线阅读，更多相关《逻辑学真值表(6页珍藏版)》请在人人文库网上搜索。

1、p,T,q,T,p,q,p,q,F,F,T,pq,T,qp,T,q,p,T,p,q,T,T,F,F,F,T,F,F,T,T,T,F,T,F,T,T,F,T,T,F,T,T,F,T,T,F,T,T,真值表方法,1,用符号表达出命题形式,2,列出命题形式中的命题变元,3,根据括号和联结词的用法确定命题形式内部的次序,4,画出真值表,5,依照确定的表达式次序检验真值,6,根据最后一步即主联结词一栏的真值情况对该表达式做,出判定,1,如果主联结词一栏都为真，则该命题为重言式，相,应的推理有效,2,如果主联结词一栏都为假，则该命题为矛盾式，相,应的推理无效,3,如果主联结词一栏有真有假，则该命题为可真公。

2、式,相应的推理无效,例如：用真值表法判定下列推理是否,有效,1,如果乔丹是美国总统，那么他是美国,领导人。乔丹不是美国总统，所以,他不是美国领导人,p,乔丹是美国总统,q,乔丹是美国,领导人,推理形式：,pq,p,q,p,T,q,T,p,q,F,F,pq,T,pq,p,pq,p,q,F,T,T,F,F,F,T,F,F,T,T,T,F,T,F,T,T,F,T,T,T,F,T,2,如果美国绕开联合国向伊拉克改动战,争，联合国的权威就会受到破坏。所,以，要想联合国的权威不会受到破坏,美国就不绕开联合国向伊拉克改动战,争,p,美国绕开联合国向伊拉克改动战争,q,联合国的权威就会受到破坏,推理形式：,pq,q,p,p,T,q,T,p,q,pq,F,F,T,q,p,pq,q,p,T,T,T,F,F,F,T,F,F,T,T,T,F,T,F,T,T,F,T,T,T,T,T。