演绎逻辑主要是研究推理的有效性问题，而所谓逻辑推理的有效性，指的是（）是否正确。

已知“不可能p”为真，则为假的是（）

A.可能P
B.可能非P
C.不必然P
D.必然P
E.必然非P

点击查看答案

甲的年龄比乙大，乙的年龄比丙大，所以甲的年龄比丙大。这运用了（）

A.对称关系推理
B.禁对称关系推理
C.传递关系推理
D.禁传递关系推理

点击查看答案