考题
全体小项合取式为()。A、可满足式B、矛盾式C、永真式D、A、B、C都有可能
考题
表达式G是不可满足的,当且仅当对所有的解释()。
A.G为真B.G为假C.G为非永真D.以上都不对
考题
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。
A.永真式B.包孕式(subsumed)C.空子句
考题
在永真条件DO WHILE．T．的循环中，退出循环时可使用
考题
中国历史上最早出现的法律形式——式，指的是（ ）。
A.封诊式
B.大统式
C.永式
D.户调式
考题
(2008年真题)在唐朝，皇帝针对“百官有司之所常行之事”，临时颁发的各种敕令，经过编录之后成为“禁违止邪”的“永为法则”。这种法律形式是（ ）。
A.律
B.令
C.格
D.式
考题
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A、永真式B、包孕式C、空子句
考题
无论命题的变项取何值，命题的真值恒为真，这种命题成为：（）A、协调式命题B、矛盾式命题C、永真式命题D、重复性命题
考题
根据命题形式所表示的真值函项的不同，则无数的命题形式可分为（）A、永真式B、协调式C、矛盾式D、以上都有
考题
任何永真式的负命题都是（）A、协调式B、矛盾式C、永真式D、重言式
考题
在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
考题
以中国唐朝《永徽律》为蓝本的日本法典是（）A、《大宝律令》B、《养老律令》C、《御成败式目》D、《贞永式目》
考题
南北朝西魏一部主要法典叫（）。A、大统式B、大律C、磷趾格D、永明律
考题
下列属于东魏时期制定的法律是（）。A、《泰始律》B、《大统式》C、《麟趾格》D、《永明律》
考题
宫殿内的陈设“鼎式香炉”象征（）。A、吉庆有余B、颐享天年C、江山永固D、帝王权力
考题
使用一次离合器即可换档的变速箱是（）A、永啮式B、滑动齿轮式C、同步式D、行星齿轮式
考题
直流测速发电机按励磁方式可分为（）式和永励式。
考题
单选题永真式的否定是（ ）。A
永真式B
永假式C
可满足式子D
A，B，C均有可能
考题
单选题反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A
永真式B
包孕式C
空子句
考题
单选题南北朝西魏一部主要法典叫（）。A
大统式B
大律C
磷趾格D
永明律
考题
单选题在永真条件DOWHILE.T.的循环中，为退出循环可使用（）A
LOOPB
EXITC
CLOSED
CLEAR
考题
填空题在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
考题
单选题以中国唐朝《永徽律》为蓝本的日本法典是（）A
《大宝律令》B
《养老律令》C
《御成败式目》D
《贞永式目》
考题
单选题下列属于东魏时期制定的法律是（）。A
《泰始律》B
《大统式》C
《麟趾格》D
《永明律》