《离散数学命题逻辑练习题.doc》由会员分享，可在线阅读，更多相关《离散数学命题逻辑练习题.doc（3页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、精品文档，仅供学习与交流，如有侵权请联系网站删除一、 选择题1. 设命题公式，记作G，使G的真值指派为1的P，Q，R的真值是( )2. 与命题公式P（QR）等价的公式是( )A B C D 3. 下列各组公式中，哪组是互为对偶的 ( )A B C D (其中P为单独的命题变元，A为含有联结词的公式)4. 命题公式(P(PQ)Q是_式。A 重言 B 矛盾 C 可满足 D 非永真的可满足5. 下面命题联结词集合中，哪个是最小联结词 ( )A B C D 6. 命题公式的主析取范式种含小项的个数为 ( ) A B 3 C 5 D 07. 如果成立，则以下各种蕴含关系哪一个成立 ( )A B C D
2、8. 命题公式的主析取范式中包含小项 ( )A B C D 9. 为任意命题公式，当（ ）成立时，有。A B C D 10. 下面4个推理定律中，不正确的是 ( )A B C D 11. 下列命题公式是等价公式的为（ ） APQPQ BA(BA) A(AB) CQ(PQ)Q(PQ) DA(AB) B12. 命题公式的主析取范式是（ ）A B C D13下列表述成立的为（ ）APQPQ BBA ABCP Q Q DA (AB) B14. 一个公式在等价意义下，下面哪个写法是唯一的（ ）。A析取范式 B合取范式 C主析取范式 D以上答案都不对15 是错误的。（ ）（A）（B）（C） （D）16前提
3、条件的有效结论是( )(A) P (B) P(C) Q(D)Q17. 设命题公式，则公式G与H满足( ) 二、填空题1. 设命题公式GP(QR)，则使G的值为1的指派是 ， ， . 2若命题变元P，Q，R赋值为(1,0,1)，则命题公式G的真值是 3. 公式的只含联接词的等价式为 ,它的对偶式为 ,4.命题公式的真值是 5. 对于前提，其有效结论为 ,6. 命题公式的主析取范式为 ,其编码表示为 ,主合取范式的编码为 .7. 一个命题公式的成真指派为 000, 001，010， 100， 110，则其主合取范式为 .8. 任意两个不同小项的合取为 式，全体小项的析取式必为 .9.设A，B为任意命题公式，C为重言式，若，那么是 式 (重言式、矛盾式或可满足式)10. 含有三个命题变项P，Q，R的命题公式PQ的主析取范式是 三、用等值演算法证明是重言式四、证明五、用先求主范式的方法证明(PQ)(PR) (P（QR）六、写出公式的等价式，要求该等价式中只出现联接词和。七、证明: 八、证明：九、设公式G的真值表如下，试求出G的主析取范式和主合取范式（给出公式及编码） P Q RG0 0 010 0 100 1 010 1 111 0 001 0 111 1 001 1 10十、用公式推演法求(PQ)(RQ)的主析取范式与主合取范式。【精品文档】第 3 页