单词 | decidable |
释义 | decidable[ dih-sahy-duh-buhl ] / dɪˈsaɪ də bəl / adjectivecapable of being decided. Logic. (of an axiom, proposition, etc.) having the property that its consistency or inconsistency with the axioms of a given logical system is determinable. Origin of decidableFirst recorded in 1585–95; decide + -able OTHER WORDS FROM decidablede·cid·a·bil·i·ty, nounun·de·cid·a·ble, adjectiveWords nearby decidabledecholesterolization, deci-, deciare, decibar, decibel, decidable, decide, decided, decider, deciding, decidua Dictionary.com UnabridgedBased on the Random House Unabridged Dictionary, © Random House, Inc. 2020 British Dictionary definitions for decidabledecidable / (dɪˈsaɪdəbəl) / adjectiveable to be decided logic (of a formal theory) having the property that it is possible by a mechanistic procedure to determine whether or not any well-formed formula is a theorem Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012 |
随便看 |
英语词典包含192737条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。