永真式
永假式
可满足式子
A，B，C均有可能
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A、永真式B、包孕式C、空子句
点击查看答案
无论命题的变项取何值，命题的真值恒为真，这种命题成为：（）A、协调式命题B、矛盾式命题C、永真式命题D、重复性命题
根据命题形式所表示的真值函项的不同，则无数的命题形式可分为（）A、永真式B、协调式C、矛盾式D、以上都有
任何永真式的负命题都是（）A、协调式B、矛盾式C、永真式D、重言式
在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
以中国唐朝《永徽律》为蓝本的日本法典是（）A、《大宝律令》B、《养老律令》C、《御成败式目》D、《贞永式目》
南北朝西魏一部主要法典叫（）。A、大统式B、大律C、磷趾格D、永明律
