常見例句A complete ring of sets L is a Lukasiewicz trivalent algebra iff L is isomorphic to a power set lattice. 完備集環(huán) L 是Lukasiewicz三值代數當且僅當L同構到一個冪集格.In the second chapter, the accessible generalized tautologies in Lukasiewicz logic system are studied by means of McNaughton function. 第二部分:利用McNaughton函數,研究了Lukasiewicz邏輯系統(tǒng)中的可達廣義重言式。Lukasiewicz propositional logic system Lukasiewicz命題邏輯系統(tǒng)lukasiewicz 3 - valued logic systems 三值Lukasiewicz邏輯系統(tǒng)Lukasiewicz implication operator Lukasiewicz蘊涵算子monadic second-order Lukasiewicz logic 單體二階Lukasiewicz邏輯 返回 Lukasiewicz