Lukasiewicz
常見例句
- A complete ring of sets L is a Lukasiewicz trivalent algebra iff L is isomorphic to a power set lattice.
完備集環(huán) L 是Lukasiewicz三值代數(shù)當且僅當L同構到一個冪集格. - In the second chapter, the accessible generalized tautologies in Lukasiewicz logic system are studied by means of McNaughton function.
第二部分:利用McNaughton函數(shù),研究了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