请输入您要查询的英文单词:

 

单词 θ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条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2024/11/13 13:43:40