1) premise-free
无前提的
2) prerequisite-free
无前提
1.
Second,it is proved that default theories having pairwise inconsistent extensions can be represented by a prerequisite-free semi-normal default theory.
其次,证明有具配对不相容扩充的缺省理论可由(无前提)(半)正规缺省理论表示。
3) Adv Advance
提前的
6) premise of harmony
和谐的前提
补充资料：大前提
演绎推理中包含一般性知识的前提。在三段论中指包含大项的前提。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条