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

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

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

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

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

推理证明下列各题的有效结论：p∨s，p→q，r→s=>p∨r

问答题推理证明下列各题的有效结论：¬p∨¬s，p→q，r→s=>¬p∨¬r