问答题

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

【参考答案】

<上一题 目录 下一题>
热门 试题

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

A.单射函数
B.双射函数
C.满射函数
D.一个映射

问答题
证明:麦卡锡(McCarthy)91函数Mc:N→N定义如下: 当x≤100时,Mc(x)=91.
相关试题
  • 对任意集合A,B 和C,试证明A×(B∪C)=...
  • 求¬P∨(Q∧R)的合取范式与主合取范式。
  • 设图G=,V={v1,v2,v3,v4},E=...
  • 设关系R的关系图如下,试(1)写出R的关系...
  • 设个体域D={1,2,3,4},则谓词公...