问答题
有人说，集合A上的关系ρ，如果是对称的且可传递的，则它也是自反的，其理由是，从aiρaj，由对称性得ajρai，再由可传递性便得aiρai。
问答题 试用假设推理证明下面的定理： xyP（x，y）→yxP（x，y）.
问答题 试用假设推理证明下面的定理： x（P（x）→Q（x））→（xP（x）→xQ（x））.
问答题 找出ρ是所有等价类。
