Aussagenkalkül
Ein Aussagenkalkül findet für eine gegebene Menge wahrer Aussagen, neue Aussagen, die ebenfalls wahr sind.
Prinzipiell wird unterschieden zwischen
- Folgerung: Ein Ausdruck, der semantisch korrekt ist.
- Ableitung: Ausdruck, der durch Anwendung einer Inferenzregel auf rein syntaktischem Wege entsteht.
Wenn der Aussagenkalkül korrekt, vollständig und entscheidbar ist, sind alle Ableitungen auch Folgerungen.
Siehe auch: Kalkül