Lukasiewicz
常見(jiàn)例句
- 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同搆到一個(gè)冪集格. - In the second chapter, the accessible generalized tautologies in Lukasiewicz logic system are studied by means of McNaughton function.
第二部分:利用McNaughton函數(shù),研究了Lukasiewicz邏輯系統(tǒng)中的可達(dá)廣義重言式。 - Lukasiewicz propositional logic system
Lukasiewicz命題邏輯系統(tǒng) - lukasiewicz 3 - valued logic systems
三值Lukasiewicz邏輯系統(tǒng) - Lukasiewicz implication operator
Lukasiewicz蘊(yùn)涵算子 - monadic second-order Lukasiewicz logic
單躰二堦Lukasiewicz邏輯 返回 Lukasiewicz