Rozhodnuteľnosť
Z Wikipédie
Rozhodnuteľnosť
rozhodnuteľnosť je možnosť konečným počtom operácií zistiť, či je akákoľvek formula skúmanej teórie v danom systéme dokázateľná (pravdivá). Rozhodnuteľný je napríklad výrokový kalkul a formalizovaná aristotelova sylogistika.
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok
Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.