全体小项合取式为()。A、可满足式B、矛盾式C、永真式D、A、B、C都有可能
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。 A.永真式B.包孕式(subsumed)C.空子句
联言推理主要有两种,即联言推理的()。 A、分解式B、合成式C、合主联谓式D、重言式
中国历史上最早出现的法律形式——式，指的是（ ）。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
真值表可以用来判定（）。A、蕴涵与有效性B、等值C、重言式与矛盾式D、以上都对
在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
以中国唐朝《永徽律》为蓝本的日本法典是（）A、《大宝律令》B、《养老律令》C、《御成败式目》D、《贞永式目》
使用一次离合器即可换档的变速箱是（）A、永啮式B、滑动齿轮式C、同步式D、行星齿轮式
单选题具有可检验性的命题必须是（）A重言式的B模棱两可的C有岐义的D非A非B非C
单选题永真式的否定是（ ）。A永真式B永假式C可满足式子DA，B，C均有可能
单选题反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A永真式B包孕式C空子句
单选题真值表可以用来判定（）。A蕴涵与有效性B等值C重言式与矛盾式D以上都对
填空题在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
单选题用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个（）。A重言式B矛盾式C真值列D真值行