Die Analyse von Beweisen zeigt, dass die benutzten Beweisschritte oft von sehr einfacher Art sind, oder in einfache Schritte zerlegt werden können.
Ein Beispiel einer immer wiederkehrenden Schlussweise ist der klassische Kettenschluss ( modus ponens ):
www.math.uni-bonn.deAnalysing proofs shows that the single steps of a proof are often of a very simple kind, or that they may be cut up into simple steps.
As an example, consider the classical modus ponens:
www.math.uni-bonn.deТук можете да ни предложите подобрения на този ПОНС запис:
Как мога да копирам преводите в езиковия трейнър?
Моля, имайте предвид, че думите в този списък са достъпни само в този браузър. След като ги прехвърлите в езиковия трейнър, те ще са достъпни от всички устройства.