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

52张扑克分配给4个桥牌赛者进行比赛，扑克牌集合A到桥牌比赛者集合B的函数f：A→B为（）A.单射函数B.双射...

单项选择题52张扑克分配给4个桥牌赛者进行比赛，扑克牌集合A到桥牌比赛者集合B的函数f：A→B为（）

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

问答题

证明：麦卡锡（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