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.deVoulez-vous ajouter des mots, des phrases ou des traductions ?
Proposez de créer une nouvelle entrée pour un mot.Vous pouvez indiquer ici une erreur apparue dans cet article de PONS ou bien proposer une amélioration :
Comment puis-je reprendre mes traductions dans l'entraineur de vocabulaire ?
Attention : Les mots de la liste de vocabulaire ne sont disponibles qu'à partir de ce navigateur Internet. À partir du moment où cette liste sera copiée dans votre entraineur de vocabulaire, elle sera disponible de partout.