填空题
◇(pVq)与()可以互推。
◇pv◇q
填空题 演绎逻辑主要是研究推理的有效性问题,而所谓逻辑推理的有效性,指的是()是否正确。
多项选择题 已知“不可能p”为真,则为假的是()
单项选择题 甲的年龄比乙大,乙的年龄比丙大,所以甲的年龄比丙大。这运用了()