离散数学 杨圣洪等著 第二章习题二解答 VIP

第二章习题二1、求证∀x∀y(P(x)→Q(y))⇔∃xP(x)→∀yQ(y)∀x∀y(P(x)→Q(y))⇔∀x∀y(¬P(x)∨Q(y))条件式的等值式⇔∀x(¬P(x)∨∀yQ(y)...