问答题
H1,H2,…是前提,C是结论,用真值表判断下列结论是否有效:
(a)H1:P→Q,H2:Q,C:P
(b)H1:P∨Q,H2:P→R,H3:Q→R,C:R
您可能感兴趣的试卷
最新试题
下列命题相容吗?
题型:问答题
对任意集合A,B 和C,试证明A×(B∪C)=(A×B)∪(A×C)。
题型:问答题
若无向图G是有99个结点,9个连通分量,则G中的边数必()
题型:单项选择题
设R和S是集合X上的部分序关系,证明R∩S必定也是X上的部分序关系。
题型:问答题
命题逻辑演绎的CP规则为()。
题型:单项选择题
设有集合A={1,2,3,4},则从A到{0,1}的不同的函数有()个。
题型:单项选择题
任意两个不同极大项的析取式必为()。
题型:单项选择题
从无向完全图K5中至少删除()条边后,所得的图将成为平面图。
题型:单项选择题
群,其中,⊕为模4加法,该群有()个子群。
题型:单项选择题
无向图G是棵树,结点数为10,则G的边数是()
题型:单项选择题