问答题设个体域为自然数集N,F(x):x是偶数,G(x):x是素数,用0元谓词将命题符号化,并讨论它们的真假:若2是素数,则4不是素数。
您可能感兴趣的试卷
你可能感兴趣的试题
最新试题
下列命题相容吗?
题型:问答题
存在集合A与B,可以使得A∈B与A⊆B同时成立。()
题型:判断题
用形式证明的方法证明下列论证的有效性:“本班有些同学是有经验的C++程序员,任何C++程序员都知道对象的概念。因此,本班有人知道对象的概念。”
题型:问答题
对任意集合A,B 和C,试证明A×(B∪C)=(A×B)∪(A×C)。
题型:问答题
下列关于循环群<G,*>的叙述,不一定成立的是()。
题型:单项选择题
求¬P∨(Q∧R)的合取范式与主合取范式。
题型:问答题
已知无向图G的结点度数之和为10,则G的边数为()。
题型:单项选择题
设G是有10个结点的连通图,边数为20,则可从G中删去()条边后使之变成树。
题型:填空题
设G=(a)为12阶循环群,则G没有()阶子群。
题型:单项选择题
设<G,*>是群,若G中除幺元以外,每个元素的周期都是2,则下列叙述中不正确的是()。
题型:单项选择题