engelska-spanska översättning av decidable
Definition av decidable
- capable of being decided
- 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: .
[http://plato.stanford.edu/entries/logic-intuitionistic/]
Exempel
- It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.
Populära sökningar
De största ordböckerna