black

离散数学

登录

问答题

计算题

在自然推理系统P中用附加前提法证明以下推理:
前提:p→(q→r),s→p,q
结论:s→r

【参考答案】


相关考题

问答题 设f,g都是〈S,*〉到〈S′,*′〉的同态,并且*与*′运算均满足交换律和结合律.证明:如下定义的函数h:S→S′: h(x)=f(x)*′g(x) 是〈S,*〉到〈S′,*′〉的同态。

问答题 给定布尔代数〈S,⊕,,′,0,1〉,且a,b,c∈S。试证:(abc)⊕(ab)=ab。

问答题 一次同余方程14x=4(mod 6)是否有解?若有解,试给出它的全部解。

All Rights Reserved 版权所有©财会考试题库(ckkao.com)

备案号:湘ICP备2022003000号-2