◇（pVq）与（）可以互推。

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

多项选择题已知“不可能p”为真，则为假的是（）

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

单项选择题甲的年龄比乙大，乙的年龄比丙大，所以甲的年龄比丙大。这运用了（）

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

单项选择题“可能p”与“不可能非p”之间的关系应该是（）

A.反对关系
B.下反对关系
C.矛盾关系
D.差等关系

单项选择题“p 并且q”真，当且仅当（）

A.p真q真
B.p真q假
C.p假q真
D.p假q假