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您可在此指出该PONS条目的错误或提出改进建议:
如何在词汇练习助手中接受翻译内容?
请注意,词汇表中的这些词语在本浏览器中是可以使用的。只要这些词语已被收入词汇练习助手,即可随时调用。