问答题已知若A不是B,则C是D。C不是D,因为A是B。推理是否有效?为什么?

您可能感兴趣的试卷

你可能感兴趣的试题

5.多项选择题以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()。

A.一次运用选言推理的否定肯定式
B.联言推理的分解式
C.两次运用选言推理的否定肯定式
D.充分条件推理的肯定前件式
E.联言推理的组合式

7.多项选择题下列假言推理为有效式的有()。

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

8.多项选择题以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。

A.选言推理的肯定否定式
B.联言推理的分解式
C.选言推理的否定肯定式
D.充分条件推理的肯定前件式
E.充分条件推理的否定后件式

9.多项选择题以﹁p为前提进行有效推理,另一前提可以是()。

A.p←﹁q
B.p→﹁q
C.p∨q
D.﹁p∨﹁q
E.﹁p←q

10.多项选择题对于有效的直接推理而言,其前提与结论之间不可能具有的关系是()。

A.矛盾关系
B.等值关系
C.差等关系
D.反对关系
E.蕴涵关系