Ett härledningssystem är ett formellt system som beskriver bevisföringen i en given kontext.
Ett sådant system kan bestå av enbart axiom eller av axiom och slutledningsregler.
Ett klassiskt exempel på ett härledningssystem är David Hilberts system för satslogik, vilket består av tre axiom och en slutledningsregel:
För satslogik och för predikatlogik finns ett flertal härledningssystem av olika karaktär. En del av dessa är praktiskt användbara, genom att de innehåller intuitiva härledningsregler medan andra (till exempel Hilberts satslogiksystem) är formellt tunga, men lämpar sig bättre vid till exempel induktionsbevis över härledningars längd.
Två centrala egenskaper hos härledningssystem är sundhet och fullständighet.
This article uses material from the Wikipedia Svenska article Härledningssystem, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Innehållet är tillgängligt under CC BY-SA 4.0 om ingenting annat anges. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Svenska (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.