Natürliche Deduktion

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Beweiskalkültechnik, die Schlüsse aus Prämissen durch Anwendung von Einführungs- und Eliminationsregeln für jedes logische Verknüpfungszeichen und jeden Quantor ableitet; Beweise sind als Ketten von Regelanwendungen organisiert statt als Instanziationen von Axiomenschemata.