单项选择题命题逻辑演绎的CP规则为()。
A.在推演过程中可随便使用前提
B.在推演过程中可随便使用前面演绎出的某些公式的逻辑结果
C.如果要演绎出的公式为B→C形式,那么将B作为前提,设法演绎出C
D.设Φ(A)是含公式A的命题公式,,则可用B替换Φ(A)中的A
您可能感兴趣的试卷
最新试题
存在集合A与B,可以使得A∈B与A⊆B同时成立。()
题型:判断题
若集合A={1,2,3,4},则下列表述正确的是()。
题型:单项选择题
若无向图G是有99个结点,9个连通分量,则G中的边数必()
题型:单项选择题
设图G=< V,E>,V={v1,v2,v3,v4},E={(v1,v2),(v1,v4),(v2,v4)},试(1)画出G的图形表示;(2)写出其邻接矩阵;(3)求出每个结点的度数;(4)画出图G的补图的图形。
题型:问答题
设P为正整数集合,∀x,y∈P,定义运算:x *y =max(x,y),则<P,*>一定不是()。
题型:单项选择题
设<S,*>是半群,对∀a,b∈S,若a≠b,就有a*b≠b*a,则下列叙述中不正确的是()。
题型:单项选择题
设A和B是集合,且B=A∪{b},其中b∉A。证明:。
题型:问答题
设集合A={{0}},则P(A)=()。
题型:单项选择题
设R和S是集合X上的部分序关系,证明R∩S必定也是X上的部分序关系。
题型:问答题
设关系R的关系图如下,试(1)写出R的关系表达式;(2)判断R是否为等价关系,并说明理由。
题型:问答题