问答题
设ρ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)).
问答题 设有集合A和A上的关系ρ,对所有的ai,aj,ak∈A,若由aiρaj和ajρak可推得akρai,则称关系ρ是循环的,试证明当且仅当ρ是等价关系时,ρ是自反且循环的。