计算题

证明：麦卡锡（McCarthy）91函数Mc：N→N定义如下：
当x≤100时，Mc（x）=91.

用CP规则推证下列各题的有效结论：p∧q→r，r∨s，p→s=>p→q

问答题用CP规则推证下列各题的有效结论：p∧q→r，¬r∨s，p→¬s=>p→¬q

设f：X→Y，g：Y→Z，AX，求证：（gοf）′（A）=g′（f′（A））

问答题设f：X→Y，g：Y→Z，A⊆X，求证：（gοf）′（A）=g′（f′（A））

用CP规则推证下列各题的有效结论：p∨q，p→r，q→s=>s∨r

问答题用CP规则推证下列各题的有效结论：p∨q，p→r，q→s=>s∨r