Gleichungsbasiertes Schließen

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine deduktive Technik, die Identitäten und Eigenschaften durch Manipulation von Gleichungen nach Regeln der Gleichheit und Kongruenz beweist, häufig umgesetzt durch Umschreiben, Substitution und algebraische Umformungen.