对集合X={1,2,3,4,5,6}上的划分S={{1,3,5},{2,6},{4}}(1)写出该划分对应的二元关系R的集合表达式；(2)画出关系R的关系图

设有正整数的序偶集合A，在A上定义的二元关系R如下：< < x,y >,< u,v > >∈R,当且仅当xv=yu证明：R是一个等价关系。

证明：∀x{P(x)⋁Q(x))→∀xP(x)⋁∃xQ(x)是永真式。

设图G中有n个结点，m条边，其中有nk个结点的度数为k,其余结点的度数均为k+1。证明：nk=(k+1)n-2m

含有3个命题变元的任一命题公式的指派个数是

下列命题公式为矛盾式的是

含有2个命题变元的命题A是重言式的条件是A的主析取范式含有

设论域元素为a、b,与∀xR(x)∧(∃y)S(x)等价的是

谓词公式∀xF(x)∧G(x,y)中变元x为

设论域是正整数，下列谓词公式中值为真的是