下列句子是命题的
我正在说假话;
请不要吸烟!
2025年元旦是晴天。
下列表述不正确的是[单选题]
一个简单析取式是重言式当且仅当它同时含某个命题变元及它的否定式。
命题公式的范式表达并不唯一,对应的主析取范式也有很多。
由有限个简单合取式的析取构成的命题公式称为析取范式。
关于推理规则,表述不正确的是
在推导的过程中,前提引用规则可随时引入前提集合中的任意一个前提;
在证明的任何步骤上,命题公式中的任何子命题公式都可以用与之等值的命题公式置换;
在推导的过程中,可以随时引入公式由其前的一个或多个公式推导出来的逻辑结果。
关于量词的描述表述正确的是
给定一个合式公式G,若变元x出现在使用变元的量词的辖域之内,则称变元 的出现为自由出现,此时的变元 x称为自由变元。
设公式G中无约束出现的个体变元,则称G为封闭的合式公式,简称闭式。
一个个体词只能受一个量词的约束,否则就是没有意义的。
一个量词的辖域中出现多个原子公式,则此辖域的外层括号可省略。
可满足公式;
有效公式;
矛盾公式
都不是
下列集合是不可数集合
自反性
对称性
传递性
反自反性
5,7
6,7
5,6
6,5
已知无向图G中顶点数n与边数m相等,2度与3度顶点各2个,其余顶点均为悬挂顶点,则G的边数m为
4
5
6
7
下列哪个可以成为图的度数序列
(3, 3, 2, 3)
(6, 2, 3, 1, 4)
(5, 1, 3, 2, 4)
(2, 1, 1, 3)
所谓推理,是指从一组前提合乎逻辑的推出结论的思维过程。
当多个量词同时出现时,可以随意颠倒它们的顺序。
公式是一个前束范式,则 中的量词可以位于该公式的最前端也可以位于中间,且这些量词的辖域都延伸到公式的末端
对于两个无限集合而言,比较二者的大小只需要看集合对应元素的个数。