问答题
证明:∃x∃y(P(x)→P(y))⇔(∀xP(x)→∃yP(y))
问答题 仅有一个结点的图称为什么图?
问答题 证明:xy(P(x)∨Q(y))(xP(x)∨yQ(y))
问答题 证明:若a,b,c和d是任意客体,则{{a},{a,b}}={{c},{c,d}}当且仅当a=c和b=d。