用真值表来验证( (p→ q)∧┓ q)├┓ P是否为有效式。

以“雾霾天减少了或者是因为工业排污少了，或者是因为汽车排放尾气少了”为前提.

(1)加上另一个前提：“雾霾天少了是因为工业排污少了”，能否必然得出结论，为什么?

(2)加上另一个前提：“雾霾天少了不是因为汽车排放尾气少了”，能否必然得出结论，为什么?

下列逻辑错误中，直接违反同一律要求的有（）

用真值表来验证((p→q)∧┓q)├┓P是否为有效式。

“一个推理只有形式正确，才能得出可靠的结论，这个推理结论不可靠，所以这个推理形式不正确。”这个假言推理使用了()。