问答题
用CP规则推证下列各题的有效结论：p→r∧q，¬s∨p，r=>s→q
单项选择题 52张扑克分配给4个桥牌赛者进行比赛，扑克牌集合A到桥牌比赛者集合B的函数f：A→B为（）
问答题 证明：麦卡锡（McCarthy）91函数Mc：N→N定义如下： 当x≤100时，Mc（x）=91.
问答题 用CP规则推证下列各题的有效结论：p∧q→r，r∨s，p→s=>p→q
