首页 > 自考

题目内容（请给出正确答案）

[主观题]

设S={G1，…，Gn}是命题公式集合。试求出在不增加新原子的情况下从S出发演绎出的所有命题公式。提示：考虑G1^…^Gn的主合取范式。

查看答案

如果结果不匹配，请联系老师获取答案

您可能会需要：

重置密码查看订单联系客服

安装优题宝APP，拍照搜题省时又省心！

更多“设S={G1，…，Gn}是命题公式集合。试求出在不增加新原子…”相关的问题

第1题

设A、B、C是命题公式，如果BC，证明A∧BA∧C。

设A、B、C是命题公式，如果BC，证明A∧BA∧C。

点击查看答案

第2题

设个体域D={a，b}，与公式（EX)A（x)等价的命题公式是（)。

A.A(a)∧A(b)

B.A(a)→A(b)

C.A(a)∨A(b)

D.A(b)→A(a)

点击查看答案

第3题

设文法G]S]: S→^ | a | （T) T→T,S | S ⑴ 消除左递归；（3分） ⑵ 构造相应的FIRST和FOLLOW集合；（3+3分） ⑶ 判断其改写后的文法是否是LL（1）的（说明理由); （3分）（4) 若是LL（1)的，对每个非终结符，写出不带回溯的递归子程序（伪代码)。若不是LL（1)的，给出自上而下分析过程。（3分）

点击查看答案

第4题

下列细胞周期的排序正确的是（)。

A.G1,S,前期，中期，末期

B.S,G1,前期，中期，末期

C.前期，中期，S,G1

D.末期，S,G，中期，前期

点击查看答案

第5题

什么是命题公式的蕴涵？

点击查看答案

第6题

下列命题公式与┐（A∨B)等价的是（)。

A.┐A∨┐B

B.A∧B

C.┐A∨B

D.┐A∧┐B

点击查看答案

第7题

下列命题公式为矛盾式的是()。

下列命题公式为矛盾式的是（)。

点击查看答案

第8题

在命题逻辑中，任何命题公式的主合取范式都是存在的，并且是唯一的。（)

点击查看答案

第9题

将语句“小王是个学生，小李是个职员，而小张是个军人.”翻译成命题公式。

点击查看答案

第10题

若含n(n≥1)个命题变项的公式A是重言式，则A的主合取范式为( )。

若含n（n≥1)个命题变项的公式A是重言式，则A的主合取范式为（)。

点击查看答案

第11题

能够坦白交待、态度诚恳者，可以从轻处理。属何种模态命题，并用公式表示其命题形式

能够坦白交待、态度诚恳者，可以从轻处理。

属何种模态命题，并用公式表示其命题形式

点击查看答案

长沙壹依黑科技有限公司版权所有 ©2024

湘ICP备2024047451号营业执照

违法和不良信息举报电话：400-118-7898

举报/反馈/投诉邮箱：deng＃ujigu.com（请将＃替换成@）