离散数学与组合数学
单选题永真式的否定是（ ）。A 永真式B 永假式C 可满足式子D A，B，C均有可能
题目
单选题
永真式的否定是（ ）。
A
永真式
B
永假式
C
可满足式子
D
A，B，C均有可能
参考答案和解析
正确答案：
A
解析：
永真式的取值恒为真，所以其否定取值恒为假，即为永假式，故本题选B。
永真式的取值恒为真，所以其否定取值恒为假，即为永假式，故本题选B。
如果没有搜索结果，请直接 联系老师 获取答案。
相似问题和答案
第1题：
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。
A.永真式
B.包孕式(subsumed)
C.空子句
答案：C
第2题：
中国历史上最早出现的法律形式——式，指的是（ ）。
A.封诊式
B.大统式
C.永式
D.户调式
A.封诊式
B.大统式
C.永式
D.户调式
答案：B
解析：
解析：秦朝的封诊式不是独立的“式”；永式为唐朝“式”的一种。
第3题：
全体小项合取式为()。
A、可满足式
B、矛盾式
C、永真式
D、A、B、C都有可能
参考答案：B
第4题：
无论命题的变项取何值，命题的真值恒为真，这种命题成为：（）
- A、协调式命题
- B、矛盾式命题
- C、永真式命题
- D、重复性命题
正确答案:C
第5题：
宫永咲：“（）真开心啊！”
正确答案:打麻将
第6题：
在永真条件DO WHILE．T．的循环中，退出循环时可使用
正确答案：B
一旦执行到EXIT便强制退出循环，然后执行ENDD0之后的命令。
一旦执行到EXIT便强制退出循环，然后执行ENDD0之后的命令。
第7题：
(2008年真题)在唐朝，皇帝针对“百官有司之所常行之事”，临时颁发的各种敕令，经过编录之后成为“禁违止邪”的“永为法则”。这种法律形式是（ ）。
A.律
B.令
C.格
D.式
A.律
B.令
C.格
D.式
答案：C
解析：
解析：唐朝的格是用以“禁违止邪”(禁止违法、违令行为和处罚刑事、行政违法行为)的“永为法则”(上升为永格后成为遵守的法则)，即皇帝针对“百官有司之所常行之事”(官府及官员经常性的职责、权限和活动)临时发布的各种敕令，经汇编之后上升为法律，称为“永格”。故选C项。唐朝的律是具有稳定性的封建成文法典，如《唐律疏议》。唐朝的令是国家政权组织制度与行政管理活动的法规。唐朝的式是国家机关的公文程式和活动细则，具有行政法规性质，如《开元水部式》。
第8题：
表达式G是不可满足的,当且仅当对所有的解释()。
A.G为真
B.G为假
C.G为非永真
D.以上都不对
参考答案：B
第9题：
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
- A、永真式
- B、包孕式
- C、空子句
正确答案:C
第10题：
根据命题形式所表示的真值函项的不同，则无数的命题形式可分为（）
- A、永真式
- B、协调式
- C、矛盾式
- D、以上都有
正确答案:D