decidibilidade
Sign in to saveAlso known as decidable
property of theories that have computable membership
In the Vinony graph
Within Vinony's link graph, decidibilidade is referenced by 435 other articles, and connects out to propositional calculus, formal system and recursive set.
It is catalogued under topics including Concepts in logic, Metalogic and Proof theory.
Its subject is documented across 17 Wikipedia language editions.
Wikidata facts
- Subclass of
- property
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · Português
Em lógica, o termo decidível se refere a um problema de decisão, ou seja, a questão da existência de um método efetivo para determinar a pertinência em um conjunto de fórmulas. Sistemas lógicos, tais como a lógica proposicional, são decidíveis se a pertinência em seu conjunto de fórmulas logicamente válido pode ser efetivamente determinado. Uma teoria (conjunto de fórmulas fechada sob a consequência lógica) em um sistema lógico fixo é decidível se existe um algoritmo eficiente para determinar se fórmulas arbitrárias pertencem a ela. Muitos problemas importantes são indecidíveis.
Abstract from DBpedia / Wikipedia · CC BY-SA