decide vt. 1.決定,決心。 2.使下決心,使決斷;使解決。 3.裁決,判決。 vi. 1.決定,決心,選定。 2.判決。 That decides me. 那使我下了決心。 decide against 決心不…,決定不采取;決定反對;判決(某人)敗訴。 decide between 于…中抉擇其一,判斷。 decide for [in favour of] 決定;判定(某人)勝訴。 decide on [upon] (a course of action) 決心,決定(采取某種行動(dòng))。
For the decidable cases of arithmatical sentences , we give the upper and lower bounds of their computational complexity 對具可決定性的算術(shù)句型,我們并給出了其計(jì)算繁度的上界與下界。
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中廣義重言式是可判定的