| 释义 |
Lukasiewicz ləˈkɑːsəvɪtʃ COCA¹⁵⁶⁴⁵⁷BNC¹⁴⁴⁶⁶⁴⁺³
基本例句
计卢卡西维兹
A complete ring of sets L is aLukasiewicztrivalent algebra iff L is isomorphic to a power set lattice.完备集环 L 是Lukasiewicz三值代数当且仅当L同构到一个幂集格.
In the second chapter, the accessible generalized tautologies inLukasiewiczlogic system are studied by means of McNaughton function.第二部分：利用McNaughton函数，研究了Lukasiewicz逻辑系统中的可达广义重言式。
Lukasiewiczpropositional logic systemLukasiewicz命题逻辑系统
lukasiewicz 3 - valued logic systems三值Lukasiewicz逻辑系统
Lukasiewiczimplication operatorLukasiewicz蕴涵算子
monadic second-orderLukasiewiczlogic单体二阶Lukasiewicz逻辑 |