问答题求公式的成真赋值和成假赋值:(¬p∧q)→(p↔r)。
您可能感兴趣的试卷
你可能感兴趣的试题
最新试题
设R和S是集合X上的部分序关系,证明R∩S必定也是X上的部分序关系。
题型:问答题
无向图G是棵树,结点数为10,则G的边数是()
题型:单项选择题
用形式证明的方法证明下列论证的有效性:“本班有些同学是有经验的C++程序员,任何C++程序员都知道对象的概念。因此,本班有人知道对象的概念。”
题型:问答题
任意两个不同极大项的析取式必为()。
题型:单项选择题
命题逻辑演绎的CP规则为()。
题型:单项选择题
设<G,*>是群,若G中除幺元以外,每个元素的周期都是2,则下列叙述中不正确的是()。
题型:单项选择题
存在集合A与B,可以使得A∈B与A⊆B同时成立。()
题型:判断题
设个体域D={1,2,3,4},则谓词公式(∀x)A(x)消去量词后的等值式为()。
题型:填空题
给定3个命题:P:北京比天津人口多;Q:2大于1;R:15是素数。求复合命题:的真值。
题型:问答题
若集合A={1,2,3,4},则下列表述正确的是()。
题型:单项选择题