计算题 用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

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

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