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

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

问答题 设f：X→Y，ABX，求证f（A）f（B）.