1) validly logical consequence
有效逻辑结果
1.
Especially,the necessary and sufficient condition of validly logical consequence is obtained.
研究再扩充模糊逻辑的一些主要性质,得到了关于公式的有效逻辑结果的充分必要条件,讨论了基于归结方法的模糊推理的有效性;证明了子句集在再扩充模糊逻辑中的不可满足性与它在二值逻辑中的不可满足性是等价的。
4) logic of consequentiality
结果性逻辑
5) valid formulas of logic
逻辑有效式
1.
We should not consider logical truth as a kind of "truth", but a kind of valid formulas of logic.
我们认为,逻辑真理不应看作是真理,而只是一类逻辑有效式,它们与逻辑推理的普遍有效式是一致的。
补充资料：逻辑结果
逻辑结果
logical consequence
逻辑结果【l硒司印璐闰.改以;“or“，ec劝e cJIe军T朋e]，给定前提的 在使前提皆真的非逻辑符号(即对象、函数、谓词的名字(~))的任何解释中都真的命题.如果命题A是命题集合r的逻辑结果，则称r逻辑蕴涵A，或说逻辑上A是r的必然结果. 如果r是一个形式化一阶逻辑数学语言(10乡印-1伯Ulen坦t元allang阳罗)中的命题集合，并且A是该语言的一个命题，那么“A是r的逻辑结果”这一关系意味着r的任一模型皆是A的模型.这一关系用r片A表示.由经典谓词演算的G动记日完全性定理(励del com pleten。粥theorem)可知，关系r片A与关系r卜A是一致的，即r片A，当且仅当A可由r用经典谓词演算的方法推演出.【补注】在英语中有时用词组“sen坦n石cen切月仃rnt”(语义蕴涵)代替“b乡口1 cons明优nCe”(逻辑结果);于是表示式r片A读作“r语义蕴涵A”类似地，表示式f卜A读作“r语法蕴涵A”.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条