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

画出底函数和顶函数的图像，并证明：.

问答题

画出底函数和顶函数的图像，并证明：.