问答题
用CP规则推证下列各题的有效结论：¬p∨q，r→¬q=>p→¬r
问答题 设f：X→Y，ABX，求证f（A）f（B）.
问答题 推理证明下列各题的有效结论：p∨s，p→q，r→s=>p∨r
问答题 画出底函数和顶函数的图像，并证明：.
