Feedback
Decidable
Your browser does not support the audio element.
Meaning
Adj
●
capable of being decided.
●
In Computer science:
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.
●
In Logic:
in
intuitionistic logic
, a
proposition
P is
decidable
in a given
theory
if it can be
p
roven from the
theory
that "either P
or not
P", i.e. in
symbols
: P∨¬P.
Sourced from
Wiktionary
Synonyms
Recursive
Computable
Antonyms
Undecidable
Related
Countable
Composable
Typesafe
Boolean Algebra
Join 10 million students and professionals writing 70% faster at QuillBot.com
Start writing better