首页
普通专升本
成人高考
学位英语
在线刷题
最近学习
最近学习课程
最强大脑 · 3天挑战极限记...
副标题副标题副标题副
最强大脑 · 3天挑战极限记...
副标题副标题副标题副
您现在位置:
模拟考场
>
湖北自学考试
>
专业课
>
离散数学
>
浏览试题
[单选题]
命题逻辑推理规则中,CP规则是指( )
A
前提在推导过程中的任何时候都可以引入使用。b.推理中,如果一个或多个公式,蕴含了公式S,则公式S可以引入到以后的推理之中。c.在推导过程的任何步骤上,命题公式中的子公式都可以用与之等价的公式置换。d.
收藏
查看答案
参考答案
试题答案:
D
答案解释:
参见第2章命题逻辑的推理规则。
相关题目
设P:我们划船,Q:我们跑步。命题“我们不能既划船又跑步”符号化为
设A={1,2,3,4,5},B={4,5,6,7},A(x)表示x属于A;B(x)表示x属于B,L(x,y)表示x<y。以下关于命题“A中的一些数比B中的小”正确的符号化是( )
下列命题公式是永假式(矛盾式)的是 ( )
下列成立的蕴含式是( )
设是有限循环群,则下列说法不正确的是( )
若以P、Q、R为命题变元的某公式的真值表中,有三个真值指派下取值为真,则该公式的主析取范式中对应的小项数为( )
下列是真命题的是( )
下列说法不正确的是( )
以下属于最小联结词完备集的是( )
前提引入规则:在证明的任何步骤上都可以_________, 简称_______规则 。
热门试题
1.
34.简述我国公司的利润分配顺序。
2.
下列各项属于公众共同性的有( )
3.
我国对期货公司实行( )
4.
11.1898 年发表《劝学篇》一文,对抗维新变法的洋务派官僚是
5.
Most of the lin Australia’s rural areas is used ______.A.for grazing sheep cattleB.for dams farm buildingsC.for growing vegetables sugar canesD.for growing crops like wheat other grains
热门试卷
成人高考专升本《政治》模拟试卷
去做题
已有3133做题
2020年湖北成人高考专升本政治模拟试题三
去做题
已有1937做题
成人高考专升本政治考试模拟试题及答案(1)
去做题
已有1720做题
成人高考高起点语文考试高分突破试题及答案四
去做题
已有1149做题
成人高考专升本政治考试模拟试题及答案(2)
去做题
已有1055做题