考题
全体小项合取式为()。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
空子句
考题
单选题南北朝西魏一部主要法典叫（）。A
大统式B
大律C
磷趾格D
永明律
考题
单选题在永真条件DOWHILE.T.的循环中，为退出循环可使用（）A
LOOPB
EXITC
CLOSED
CLEAR
考题
填空题在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
考题
单选题以中国唐朝《永徽律》为蓝本的日本法典是（）A
《大宝律令》B
《养老律令》C
《御成败式目》D
《贞永式目》
考题
单选题下列属于东魏时期制定的法律是（）。A
《泰始律》B
《大统式》C
《麟趾格》D
《永明律》
