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

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

问答题

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

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

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