问答题
试证明命题逻辑永真公式公理系统不是独立的.
问答题 指出下面证明的错误之处: 证明: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分或更多的任意邮资。