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