判断题 设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。