[多选题]

下列假言推理为有效式的有（）。

A . （﹁p→q）∧p├﹁q

B . （p→﹁q）∧q├﹁p

C . （﹁p←﹁q）∧﹁p├q

D . （p←﹁q）∧﹁q├p

E . （p→﹁q）∧p├﹁q

参考答案与解析：

相关试题

必要条件假言三段论推理的有效式是（）

[多选题] 必要条件假言三段论推理的有效式是（）A . 肯定前件式B . 否定后件式C . 肯定后件式D . 否定前件式E . 否定肯定式

  • 查看答案

    • 假言推理

    [名词解释] 假言推理

  • 查看答案

    • 必要条件假言推理的否定前件式可用符号表示为（）。

    [单选题]必要条件假言推理的否定前件式可用符号表示为（）。A.B.C.D.

  • 查看答案

    • 假言连锁推理

    [名词解释] 假言连锁推理

  • 查看答案

    • 假言易位推理

    [名词解释] 假言易位推理

  • 查看答案

    • 下列命题变形直接推理形式为有效式的有（）.

    [多选题] 下列命题变形直接推理形式为有效式的有（）.A . A├PEB . SIP├OSC . SAP├OSD . SOP├OE . SEP├IP

  • 查看答案

    • 二难推理简单构成式的两个假言前提的前件（）、后件（），简单破坏式的两个假言前提的

    [填空题] 二难推理简单构成式的两个假言前提的前件（）、后件（），简单破坏式的两个假言前提的前件（）而后件（）。

  • 查看答案

    • 充分条件假言三段论推理的无效式是（）

    [单选题]充分条件假言三段论推理的无效式是（）A . 肯定后件式B . 否定后件式C . 肯定前件式D . 肯定否定式

  • 查看答案

    • 哪部著作引入形式逻辑的最简单的推理-假言推理（）

    [单选题]哪部著作引入形式逻辑的最简单的推理-假言推理（）A .《美诺篇》B .《荷马史诗》C .《推理》D .《众神录》

  • 查看答案

    • 哪部著作引入形式逻辑的最简单的推理£­假言推理（）

    [单选题]哪部著作引入形式逻辑的最简单的推理-假言推理（）A．《美诺篇》B．《荷马史诗》C．《推理》D．《众神录》

  • 查看答案