问答题
指出下面证明的错误之处: 证明:∃xP(x)∧∃xQ(x)→∃x(P(x)∧Q(x))是永真的. (1)∃xP(x)∧∃xQ(x) (2)∃xP(x) (3)∃xQ(x) (4)P(e) (5)Q(e) (6)P(e)∧Q(e) (7)∃x(P(x)∧Q(x))
问答题 设ρ1和ρ2是A上的等价关系,试证明:当且仅当πAρ1中的每一等价类都包含πAρ2的某一等价类中时,有ρ1ρ2。
问答题 我们有3分和5分两种不同票值的邮票。试证明用这两种邮票就足以组成8分或更多的任意邮资。
问答题 试用假设推理证明下面的定理: ¬x(F(x)∧H(x))∧x(G(x)→H(x))→x(G(x)→¬F(x)).