问答题X 纠错
在自然推理系统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。
给定布尔代数〈S,⊕,,′,0,1〉,且a,b,c∈S。试证:(ab)⊕(ab′)=a。
完成下列运算表(如表所示),使之定义的运算*1,*2分别满足交换律和结合律。
给定布尔代数〈S,⊕,,′,0,1〉,且a,b,c∈S。试证:a(a′⊕b)=ab。
给定布尔代数〈S,⊕,,′,0,1〉,且a,b,c∈S。试证:a⊕(a′b)=a⊕b。
赞题库-搜题找答案
(已有500万+用户使用)
无需下载 立即使用
版权所有©考试资料网(ppkao.com)All Rights Reserved