Enzyklopädie > A > Ableitung (Logik)
Ableitung (Logik)
Unter einer Ableitung oder Herleitung versteht man in der mathematischen Logik eine formale Folgerung von (neuen) Aussagen aus einer Menge von gegebenen Aussagen. Die zulässigen Schlussregeln sind in einem Kalkül definiert.
Mehr Informationen (Wikipedia)
Die Informationen wurden von Wikipedia übernommen, einer offenen Enzyklopädie in welche Freiwillige ihre Beiträge beisteuern.
Die Texte sind unter den Bedingungen der GNU Free Documentation License zugänglich.Encyklopedie (cz) Encyklopédia (sk) Encyclopedia (en)