black

离散数学

登录

问答题

计算题

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

【参考答案】

相关考题

问答题 设f:X→Y,g:Y→Z,AX,求证:(gοf)′(A)=g′(f′(A))

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

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

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

备案号:湘ICP备14005140号-1

经营许可证号:湘B2-20140064