问答题
试用假设推理方法证明下面的定理: (P∧Q→R)→(P→(Q→R)).
问答题 试用假设推理方法证明下面的定理: (R→P)→((R→Q)→(R→P∧Q)).
问答题 已知A={1,2,3,4}和定义在A上的关系ρ={(1,2),(4,3),(2,2),(2,1),(3,1)},试证明ρ不是可传递的。求出一个关系ρ1ρ,使得ρ1是可传递的,你能求出另一个关系ρ2ρ也是可传递的吗?
问答题 证明若ρ是对称的,则对任何整数k≥1,ρk也是对称的。