【多选题】【消耗次数:1】
设前提: p?q. 则下面哪些是其有效结论:
pùq
?púq.
q
?pú (pùq)
参考答案:
复制
纠错
相关题目
【多选题】 设前提: ?púr, ?qús, pùq. 则下面哪些是其有效结论:
①  t? (rús)
②  rús.
③  rùs
④  p?q
【多选题】 设前提: p? (q?r), p, q. 则下面哪些是其有效结论:
①  q?r
②  r.
③  rùs
④  s
【多选题】 设前提: p? (q?r), s?p, q. 则下面哪些不是其有效的结论:
①  q?r
②  s?q.
③  s?r
④  r?s
【多选题】 设前提: púq, p?r, q?s. 则下面哪些是其有效结论:
①  rús
②  rùs.
③  (pùq)?r
④  (pùq)?s
【多选题】 设前提: pù?q ? r, p, q ? s, ?s. 则下面哪些是其有效结论:
①  r
②  ?q.
③  q?p
④  q
【多选题】 设前提: p??q, ?rúq, rù?s. 则下面哪些是其有效结论:
①  q
②  ?p.
③  ?q
④  p?q
【判断题】 设前提: p?r, q?s, pùq. 则r?s是其有效结论。
①  正确
②  错误
【多选题】 设前提: p?r, ?q?p, ?r. 则下面哪些是其有效结论:
①  ?q?r
②  p.
③  ?p
④  q
【判断题】 设前提: p ? ?q, r ? q. 结论: r ? ?p. 则推理的形式结构为: (p ? ?q) ù (r ? q) ? (r ? ?p).
①  正确
②  错误
【多选题】 设前提: (púq) ? (rùs), (sút) ?u. 则下面哪些不是其有效的结论:
①  rùs
②  u.
③  u?p
④  p?u
随机题目
【单选题】 数据流图用于抽象描述一个软件的逻辑模型,数据流图由一些特定的图符构成.下列图符名标识的图符不属于数据流图合法图符的是( )。
①  控制流
②  加工
③  数据存储
④  源点和终点
【单选题】 模块的耦合性可以按照耦合程度的高低进行排序,以下哪一项符合从低到高的正确次序?( )
①  标记耦合,公共耦合,控制耦合,内容耦合
②  数据耦合,控制耦合,标记耦合,公共耦合
③  无直接耦合,标记耦合,内容耦合,控制耦合
④  无直接耦合,数据耦合,控制耦合,内容耦合
【判断题】 随着软件复杂性的不断提高,软件的维护难度越来越大。
①  正确
②  错误
【判断题】 编码的依据是详细设计说明书。
①  正确
②  错误
【简答题】 使判定表达式中每个条件都取到各种个能的结果的覆盖是[填空]。
【简答题】 当数据流图中某个加工的一组动作存在着多个条件复杂组合的判断时,使用[填空]较好。
【单选题】 为高质量地开发软件项目,在软件结构设计时,必须遵循( )原则。
①  信息隐蔽
②  质量控制
③  程序优化
④  数据共享
【单选题】 模块内聚度越高,说明模块内各成分彼此结合的程度越( )。
①  松散
②  紧密
③  无法判断
④  相等
【单选题】 软件维护的副作用,是指( )。
①  开发时的错误
②  运行时的错误
③  隐含的错误
④  修正软件引入的新错误
【判断题】 对于有些类型的错误,人工测试比计算机测试更有效。
①  正确
②  错误