《离散数学网上作业任务7附标准答案》由会员分享，可在线阅读，更多相关《离散数学网上作业任务7附标准答案（3页珍藏版）》请在金锄头文库上搜索。
离散数学网上作业06任务_0037答案1.设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 ( )A. B. C. D. 2.下列等价公式成立的为( )A. PPQQB. QPPQC. PQPQD. PPQ3.设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是 ( )A. 0, 0, 0B. 0, 0, 1C. 0, 1, 0D. 1, 0, 04.下列公式中 ( )为永真式A. AB ABB. AB (AB)C. AB ABD. AB (AB)5.谓词公式是（ ）A. 不可满足的B. 可满足的C. 有效的D. 蕴含式6.命题公式(PQ)Q为( )A. 矛盾式B. 可满足式C. 重言式D. 合取范式7.命题公式（PQ）的合取范式是 ( )A. （PQ）B. （PQ）（PQ）C. （PQ）D. （PQ）8.设A（x）：x是人，B（x）：x是学生，则命题“不是所有人都是学生”可符号化为（）A. (x)(A(x)B(x)B. (x)(A(x)B(x)C. (x)(A(x)B(x)D. (x)(A(x)B(x)9.前提条件的有效结论是( )A. PB. PC. QD. Q10.下列等价公式成立的为( )A. PQPQB. P(QP) P(PQ)C. Q(PQ) Q(PQ)D. P(PQ) Q
