永真式
永假式
可满足式子
A,B,C均有可能
全体小项合取式为()。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.式
宫永咲:“()真开心啊!”