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 版权所有©易学考试网(yxkao.com)

备案号:湘ICP备2022003000号-3