black

离散数学

登录

问答题

计算题

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

【参考答案】

相关考题

问答题 设X={0,1,2},请找出XX中满足f3(x)=x(f3为恒等函数)的所有函数。

问答题 用CP规则推证下列各题的有效结论:p→(q∧r),q∨s,(t→u)→s,q→(p∧t)=>q→t

问答题 设X={0,1,2},请找出XX中满足f2(x)=x(f2为恒等函数)的所有函数。

All Rights Reserved 版权所有©求知题库网库(csqiuzhi.com)

备案号:湘ICP备14005140号-1

经营许可证号:湘B2-20140064