問答題已知若A不是B,則C是D。C不是D,因為A是B。推理是否有效?為什么?

您可能感興趣的試卷

你可能感興趣的試題

5.多項選擇題以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r為前提推出結(jié)論p∧r,所用的推理形式有()。

A.一次運用選言推理的否定肯定式
B.聯(lián)言推理的分解式
C.兩次運用選言推理的否定肯定式
D.充分條件推理的肯定前件式
E.聯(lián)言推理的組合式