2) logic of consequentiality
结果性逻辑
3) validly logical consequence
有效逻辑结果
1.
Especially,the necessary and sufficient condition of validly logical consequence is obtained.
研究再扩充模糊逻辑的一些主要性质,得到了关于公式的有效逻辑结果的充分必要条件,讨论了基于归结方法的模糊推理的有效性;证明了子句集在再扩充模糊逻辑中的不可满足性与它在二值逻辑中的不可满足性是等价的。
4) cause-and-effect logic
因果逻辑
1.
This paper develops a fault diagnosis system for the regional power network by making use of the dual-source data from the SCADA system and the fault information system, which the system can diagnose the fault with the reasoning method of layered diagnosis and cause-and-effect logic.
开发了地区电网的故障诊断系统,该系统利用来自监控与数据采集(SCADA)系统与故障信息系统2个数据源所提供的信息,采用分层诊断及因果逻辑相结合的推理机制,进行电网的故障诊断。
2.
Making use of the data of dual data source which comes from the SCADA system andthe fault information system, the system uses the reasoning method of delaminationdiagnosis and cause-and-effect logic to diagnose the fault.
开发了地区电网的故障诊断系统,本系统利用来自SCADA系统与故障信息系统两个数据源所提供的信息,采用分层诊断及因果逻辑相结合的推理机制,进行电网的故障诊断。
5) logic consequences
逻辑后果
1.
Compared with consequentialism in ordinary context, consequentialist argument of judicial decision mainly exists in the secondary justification process of legal argument, which is based on the desirable consequences called logic consequences or general consequence.
与一般情境中的后果论不同,司法裁决的后果主义论证主要出现在法官为正当化案件裁判所进行的二次证明中,它是基于可欲后果的证立,这种可欲后果是裁决的逻辑后果或一般后果。
6) result output logical unit
结果输出逻辑部件
补充资料：逻辑结果
逻辑结果
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”.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条