计算题 设X={0，1，2}，请找出X^X中满足f²（x）=f（x）（f幂等）的所有函数。

用CP规则推证下列各题的有效结论：p∨q→r∧s，s∨t→u=>p→u

问答题用CP规则推证下列各题的有效结论：p∨q→r∧s，s∨t→u=>p→u

设A，B，C为任意集合，且AB，求证ACBC。

问答题设A，B，C为任意集合，且A⊆B，求证A^C⊆B^C。

用CP规则推证下列各题的有效结论：p∨q，r→q=>p→r

问答题用CP规则推证下列各题的有效结论：¬p∨q，r→¬q=>p→¬r