数理逻辑习题离散数学(共4页).doc

精选优质文档-倾情为你奉上第1章 命题逻辑一、单项选择题 1. 下列命题公式等值的是( ) 2. 设命题公式G：,则使公式G取真值为1的P，Q，R赋值分别是 ( )3. 命题公式为 ( )(A) 矛盾式(B) 仅可满足式 (C) 重言式(D) 合取范式4 命题公式的主析取范式是( )(A) (B) (C) (D) 5. 前提条件的有效结论是( )(A) P (B) P(C) Q(D)Q6. 设P：我将去市里，Q：我有时间命题“我将去市里，仅当我有时间时”符号化为( )二、填空题1. 设命题公式G：P(QP)，则使公式G为假的真值指派是 2. 设P：我们划船，G：我们跑步，那么命题“我们不能既划船，又跑步”可符号化为 3. 含有三个命题变项P，Q，R的