问答题
在自然推理系统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)是否有解?若有解,试给出它的全部解。