问答题
设A，B，C为任意集合，且A⊆B，求证AC⊆BC。
问答题 用CP规则推证下列各题的有效结论：p∨q，r→q=>p→r
问答题 设f：X→Y，ABX，求证f（A）f（B）.
问答题 推理证明下列各题的有效结论：p∨s，p→q，r→s=>p∨r
