判断题设A,B 为任意集合,则A×B =B×A 。
判断题x∈{x}→x∈{{x}} 。
判断题设A,B 为任意集合,则A∩B⊆A。
判断题设A,B 为任意命题,则(A→B )∧¬A⇒¬B。
判断题(∃x)(A(x)∨B(x))⇔(∃x)A(x)∨(∃x)B(x)。