问答题
设X={0,1,2},请找出XX中满足f2(x)=f(x)(f幂等)的所有函数。
问答题 用CP规则推证下列各题的有效结论:p∨q→r∧s,s∨t→u=>p→u
问答题 设A,B,C为任意集合,且AB,求证ACBC。
问答题 用CP规则推证下列各题的有效结论:p∨q,r→q=>p→r