Decidable

English

Etymology

From Template:Suffix.

Pronunciation

• Template:IPA
• Template:Audio

Adjective

1. capable of being decided.
2. Template:Lb describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time.

   Template:Ux

3. Template:Lb in intuitionistic logic, a proposition P is decidable in a given theory if it can be proven from the theory that "either P or not P", i.e. in symbols: $P\vee \mathrm{\neg }P$.

Synonyms

• Template:Sense Template:L, Template:L

Antonyms

• Template:L

Derived terms

• Template:L

Related terms

• Template:L

Translations

• Czech: Template:T
• Finnish: Template:T
• German: Template:T
• Spanish: Template:T

• Finnish: Template:T
• German: Template:T
• Hebrew: Template:T
• Romanian: Template:T