判断题设A，B 为任意命题，则（A→B ）∧¬A⇒¬B。
判断题（∃x）（A（x）∨B（x））⇔（∃x）A（x）∨（∃x）B（x）。
判断题已知S＝{2，a，{3}，4}，R={{a}，3，4，1}，则{a}∈S。
判断题∅是∅的子集。
判断题∅∪{∅}=∅是对的。
