- decidable
- decideable
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
可判定的的英文
例句與用法
- The system ip and relations of classification of generalized tautologies among the systems ip and its 3 - valued system and the system c2 is investigated . it is proved that generalized tautologies are decidable in the system ip
本文分兩種情形b一0與p 0 ）研究了系統(tǒng)lp與其三元子代數(shù)及經(jīng)典二值系統(tǒng)q之間（廣川重言式的關(guān)系，指出在系統(tǒng)lp中廣義重言式是可判定的