填空题
令F(x):x为苹果,H(x,y):x与y完全相同,L(x,y):x=y。命题“没有完全相同的苹果。”的符号化形式为()。
问答题 整数集I上的一元运算Δ定义如下: Δ(m)=mt(mod k) 其中r,k为给定正整数.又定义I上的关系~: x~y当且仅当x=y(mod k) 问~是否是代数结构〈I,Δ〉上的同余关系
问答题 给定布尔代数〈S,⊕,,′,0,1〉,且a,b,c∈S。试证:(a⊕b)(a′⊕c)=(ac)⊕(a′b)=(ac)⊕(a′b)⊕(bc)。
填空题 令p:他怕困难,q:他战胜困难。命题“他战胜困难是因为他不怕困难。”的符号化形式为()。