Ableitung (mathematische Logik)

Eine in einem Kalkül oder einer formalen Sprache zulässige Folge von regelgerecht auseinander hervorgehenden, beliebige Ausdrücke, Terme, Aussagen, Aussageformen, Sätze u. a. darstellenden Zeichenreihen wird Ableitung oder Derivation des als ihr Endglied erscheinenden formalen Ausdrucks (Zeichenreihe) genannt. Ein Beispiel dafür ist in Logikkalkülen die Herleitung einer Aussage (These) aus