设A，B 为任意命题，则（A→B ）∧¬A⇒¬B。

（∃x）（A（x）∨B（x））⇔（∃x）A（x）∨（∃x）B（x）。

判断题（∃x）（A（x）∨B（x））⇔（∃x）A（x）∨（∃x）B（x）。

已知S＝{2，a，{3}，4}，R={{a}，3，4，1}，则{a}∈S。

判断题已知S＝{2，a，{3}，4}，R={{a}，3，4，1}，则{a}∈S。

∅是∅的子集。

判断题∅是∅的子集。