单词 | satisfiability |
释义 | > as lemmassatisfiaˈbility satisfiaˈbility n. the quality of being satisfiable, esp. (Mathematical Logic) in sense 2b. ΘΚΠ the world > relative properties > order > agreement, harmony, or congruity > suitability or appropriateness > [noun] > adequacy for case or conditions > ability to be satisfied (of conditions) satisfiability1882 1882 Amer. Jrnl. Math. 5 214 The condition that two points shall have the same tangential (which includes the condition that they shall lie on the same cubic) is the simultaneous satisfiability of the four equations. 1935 Analysis 3 4 An AS [axiom system] is called satisfiable if there exists at least one interpretation. Satisfiability certainly implies consistency. 2008 E.-R. Olderog & H. Dierks Real-time Syst. iii. 133 Satisfiability is even undecidable for the case of discrete time and at least one spatial dimension. < as lemmas |
随便看 |
|
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。