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

“法律规定凡男女双方自愿离婚的准予离婚，这起离婚案已依法判决准予离婚，可见该案男女双方是自愿离婚的。”上述议论中包含何种推理?写出推理形式，并说明其是否有效。

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

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

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

“(p→q)∧(r→s)∧(p∨r)→q∨s”这一推理式是（）

已知某有效三段论的大前提为O判断，试证明：(1)其小前提必为A判断;(2)该三段论为第三格OAO式。