...辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.
基于14个网页-相关网页
...性质:(1)可 靠性(thesoundness).对任意的公式9,如果9可满 足则翻译后的公式97也可满足.(2)完备性(the completeness).对任意的公式9,如果97可满足,则 ∞可满足.由式(1)和式(2)可知,公式的可满足性在 可靠和完备的翻译下被保持.但是这样的...
基于6个网页-相关网页
The relation between the completeness of several local convex topology and that of induction topology was pointed out in this paper.
指出了几种局部凸拓扑的完整性与感应拓扑的完整性之间的关系。
The core of sufficiency is the completeness of who you are right now.
自我满足的核心是“现状”的完整性。
The completeness, validity, and timeliness of a given domain cannot always be assessed in isolation.
一个给定的域的完整性、有效性和及时性并不总是可以孤立地加以评估。
And this one, just for completeness, is what the antibonding orbital would look like.
然而这个,只是为了其完全性,把反键轨道也表示出来。
Just putting it up for completeness. 2s2, and 2p4, and so here's the valence shell.
举这个例子出来是为了完整一点,2s2,2p4,这儿是价电子层。
应用推荐