【单选题】【消耗次数:1】
命题公式(P∧(P→Q))→Q是(   )
矛盾式
蕴含式
重言式
等价式
参考答案:
复制
纠错
相关题目
【判断题】 用真值表判断公式“(p?q) ? (?q??p)”的类型为重言式。
①  正确
②  错误
【判断题】 用真值表判断公式“(pùr) ? ( ?pù?q)”的类型为重言式。
①  正确
②  错误
【判断题】 用真值表判断公式“p? (púqúr)”的类型为重言式。
①  正确
②  错误
【判断题】 用等值演算法判断公式“(p? (púq)) ú (p?r)”的类型为重言式。
①  正确
②  错误
【单选题】 下列命题公式中不是重言式的是(   )
①  p→(q→r)
②  p→(q→p)
③  p→(p→p)
④  (p→(q→r))(q→(p→r))
【多选题】 用等值演算法推导公式“(pù?q) ú (qù?p)”和下面哪个公式等价:
①  (púq) ù? (pùq)
②  ? (p?q)
③  ? ((p?q) ù (q?p))
④  (púq) ù (?pù?q)
【多选题】 用等值演算法推导公式“(pùq) ú (pù?q)”和下面哪个公式不等价:
①  p
②  q
③  ?q
④  pùq
【判断题】 用等值演算法推导公式“(pùq) ú (pù?q)”和公式p相等价.
①  正确
②  错误
【多选题】 公式“p-q”和下面哪个公式等价的有:
①  ?(pùq) .
②  ?(qùp)
③  (q-p)
④  qˉp
【判断题】 判断公式“x$yF(x, y) ? $xyF(x, y)”的类型为重言式。
①  正确
②  错误
随机题目
【单选题】 关于抗疟药叙述正确的是
①  氯喹用于控制疟疾症状发作
②  伯氨喹用于疟疾病因性预防
③  奎宁常用于根治间日疟
④  乙胺嘧啶可引起特异质反应
⑤  甲氟喹杀灭继发性红外期
【单选题】 rifampin的抗菌作用机制是
①  抑制二氢叶酸还原酶
②  抑制DNA多聚酶
③  抑制依赖DNA的RNA多聚酶
④  抑制DNA回旋酶
⑤  抑制肽酰基转移酶
【单选题】 乙胺丁醇严重的毒性反应是
①  粒细胞缺乏症
②  第八对脑神经毒性
③  外周神经炎
④  球后视神经炎
⑤  肝功能损害
【单选题】 硫喷妥钠的禁忌证是
①  高血压患者
②  脑外伤昏迷患者
③  颅内高压患者   
④  紫质症患者
⑤  饱胃患者
【单选题】 糖皮质激素诱发和加重感染的主要原因是
①  病人对激素不敏感
②  激素用量不足
③  激素能直接促进病原微生物繁殖
④  激素降低了机体的防御功能
⑤  病原微生物毒力过强
【单选题】 长期应用抗病原微生物药可产生
①  快速耐受性
②  成瘾性与戒断现象
③  耐药性
④  耐受性
⑤  反跳现象
【单选题】 下列哪一项不是决定心肌耗氧量的因素 ( )
①  室壁张力
②  心室腔的容积
③  心肌收缩力
④  心率
⑤  冠状动脉狭窄
【单选题】 2、抗胆碱酯酶药能加强其肌松作用的骨骼肌松弛药是 ( )
①  琥珀胆碱
②  筒箭毒碱
③  东莨菪碱
④  美加明
⑤  泮库铵
【单选题】 9、患者女性,27岁,有机磷酸酯类中毒。在药物治疗过程中,出现瞳孔扩大,全身皮肤干燥,颜面潮红,心率加快,此时应采取 ( )
①  立即停用阿托品
②  加大阿托品用量
③  阿托品逐渐减量至停药
④  停用碘解磷定
⑤  加大碘解磷定用量
【单选题】 以下哪点不属于糖皮质激素的用途
①  肾上腺皮质功能减退症
②  败血症
③  急性淋巴细胞性白血病
④  再生障碍性贫血
⑤  糖尿病