Logic and Mathematics. Of a statement, formula, etc.: capable of being proved or disproved within a given logical system; (of a set, logical…
单词 | θ141032 |
释义 | the mind > mental capacity > philosophy > logic > predicate or propositional logic > [adjective] > decidable or undecidable (2) decidable1935 Logic and Mathematics. Of a statement, formula, etc.: capable of being proved or disproved within a given logical system; (of a set, logical… undecidable1937 Logic and Mathematics. Of a proposition, theorem, etc.: incapable of being either proved or disproved. |
随便看 |
|
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。