| 释义 |
satisfiable, a.|ˈsætɪsfaɪəb(ə)l|
[f. satisfy v. + -able.]
†a. In active sense: Satisfactory. Obs. rare.
b. Capable of being satisfied, able to be or that may be satisfied.
1609T. Morton Answ. Higgons 6, I shall presently returne him..a satisfiable answer. 1638Mayne Lucian (1664) 296 Having but one belly satisfyable with a little. 1641‘Smectymnuus’ Vind. Answ. vii. 96 This may satisfie (if this man be satisfiable) that bold challenge of the former page. 1647H. More Song of Soul To Rdr. 6 Nor is reason unback'd with better principles mathematically satisfiable in matters of this kind. 1681T. Flatman Heraclitus Ridens No. 7 (1713) I. 42, I will give you Satisfaction if you be satisfiable. 1874Ruskin Fors Clav. xlvi. 241 Merely expressing anxiety for my welfare, not satisfiable but by letters, which do not promote it. 1942W. S. Churchill End of Beginning (1943) 228 All these conditions were satisfiable around 23rd October. 1944Annals Math. Stud. XIII. 91 Formulas which are valid (or satisfiable) in every domain of individuals. 1952R. L. Wilder Introd. Foundations Math. ii. 26 An axiom system σ is satisfiable if there exists an interpretation of σ. 1978Sci. Amer. Jan. 106/3 When the machine is given a yes instance of a problem in NP, its operation is described by a satisfiable sentence, whereas the operation of a machine given a no instance is described by a sentence that cannot be satisfied.
Hence ˌsatisfiaˈbility.
1944Annals Math. Stud. XIII. 90 We may study the decision problem from the point of view either of validity or of satisfiability, instead of that of provability. 1952R. L. Wilder Introd. Foundations Math. ii. 26 Where a system [of axioms] is consistent, we are usually unable to tell the fact from 1.1. But..we have a very simple test showing ‘satisfiability’ in the sense of 1.3. 1977Word 1972 XXVIII. 285 Something which, with Hockett, we may term the ‘productivity’ of the description, one of the fundamental conditions of its acceptability or ‘satisfiability’. |