Vollständige Induktion/Allquantor/Aufgabe

Es sei ${}A(n)$ eine Aussage(nform), in die man eine natürliche Zahl einsetzen kann. Diskutiere den Unterschied zwischen den beiden Aussagen

{\left(\forall nA(n)\right)}\rightarrow {\left(\forall nA(n+1)\right)}\,\,{\text{  und }}\,\,\forall n{\left(A(n)\rightarrow A(n+1)\right)}.

Was ist die mathematische Relevanz der beiden Aussagen?

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.