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) 决心,决定(采取某种行动)。
For the decidable cases of arithmatical sentences , we give the upper and lower bounds of their computational complexity 对具可决定性的算术句型,我们并给出了其计算繁度的上界与下界。
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 )研究了系统lp与其三元子代数及经典二值系统q之间(广川重言式的关系,指出在系统lp中广义重言式是可判定的