{"id":33905,"date":"2021-04-09T13:00:09","date_gmt":"2021-04-09T13:00:09","guid":{"rendered":"https:\/\/toposuranos.com\/material\/?p=33905"},"modified":"2025-08-01T02:16:46","modified_gmt":"2025-08-01T02:16:46","slug":"induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/","title":{"rendered":"Induktionsbeweise: Verallgemeinerung der De-Morgan- und Distributivgesetze"},"content":{"rendered":"<p><center><\/p>\n<h1>Induktionsbeweise: Verallgemeinerte De-Morgan-Regeln und Distributivgesetze<\/h1>\n<p><\/p>\n<p style=\"text-align:center;\"><strong>ZUSAMMENFASSUNG<\/strong><br \/><em>In dieser Unterrichtseinheit wird das Thema der Induktionsbeweise in Mathematik und Aussagenlogik behandelt. Es werden die zwei existierenden Arten von Beweisen erkl\u00e4rt: interne oder deduktive Beweise, die auf den Regeln der Logik basieren, und externe oder metamathematische Beweise, die notwendig sind, um Aussagen zu beweisen, die sich auf die Logik selbst beziehen. Die mathematische Induktion wird als ein Beweismethode eingef\u00fchrt, mit der sich zeigen l\u00e4sst, dass bestimmte Aussagen f\u00fcr alle nat\u00fcrlichen Zahlen gelten. Ein Beispiel mit zugeh\u00f6rigem Beweis wird vorgestellt, und die verallgemeinerten Formen der De-Morgan-Gesetze und der Distributivgesetze in der Aussagenlogik werden zusammen mit ihren jeweiligen Induktionsbeweisen erkl\u00e4rt. Diese Einheit ist von gro\u00dfer Bedeutung, um die Grundlagen der Mathematik und Logik zu verstehen und sie in verschiedenen Wissensbereichen anzuwenden.<\/em><\/p>\n<p><\/center><br \/>\n<\/p>\n<p style=\"text-align:center;\"><strong>LERNZIELE:<\/strong><br \/>\nAm Ende dieser Unterrichtseinheit wird der\/die Studierende in der Lage sein:\n<\/p>\n<ol>\n<li><strong>Zu erkennen,<\/strong> dass es zwei Arten von Beweisen gibt, die unterschieden werden m\u00fcssen: interne oder deduktive und externe oder metamathematische Beweise.<\/li>\n<li><strong>Mathematische Induktion anzuwenden,<\/strong> um Beweise \u00fcber nat\u00fcrliche Zahlen und in der Aussagenlogik zu f\u00fchren.<\/li>\n<li><strong>Konjunktions- und Disjunktionsnotationen zu verwenden,<\/strong> um Aussagenlogik-Ausdr\u00fccke zu formulieren.<\/li>\n<li><strong>Die verallgemeinerte Form<\/strong> der De-Morgan-Gesetze und der Distributivgesetze der Aussagenlogik zu verstehen.<\/li>\n<li><strong>Das Konzept der Induktionshypothese<\/strong> und ihre Rolle im Induktionsbeweis zu verstehen.<\/li>\n<\/ol>\n<p style=\"text-align:center;\"><strong>INHALTSVERZEICHNIS<\/strong><br \/>\n<a href=\"#1\">INTERNE UND EXTERNE BEWEISE<\/a><br \/>\n<a href=\"#2\">BEWEISE DURCH MATHEMATISCHE INDUKTION<\/a><br \/>\n<a href=\"#3\">INDUKTIONSBEWEISE IN DER AUSSAGENLOGIK<\/a><br \/>\n<a href=\"#4\">VERALLGEMEINERTE FORM DER DE-MORGAN-GESETZE<\/a><br \/>\n<a href=\"#5\">VERALLGEMEINERTE FORM DER DISTRIBUTIVGESETZE<\/a><\/p>\n<p><center><iframe class=\"lazyload\" width=\"560\" height=\"315\" data-src=\"https:\/\/www.youtube.com\/embed\/eJQcNPrKyW0\" title=\"YouTube video player\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe><\/center><\/p>\n<p><a name=\"1\"><\/a><\/p>\n<h2>Interne und externe Beweise<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=eJQcNPrKyW0&amp;t=212s\" target=\"_blank\" rel=\"noopener\"><strong>Es gibt zwei Arten von Beweisen, die unterschieden werden m\u00fcssen.<\/strong><\/a> Bisher haben wir viele Beispiele formaler Beweise gesehen. Diese Art von Beweisen ergibt sich aus den Regeln der Logik. Solche Beweise finden \u201einnerhalb der Logik\u201c statt und werden daher auch als \u201einterne\u201c oder deduktive Beweise bezeichnet. Diese Art von formalen Beweisen hat einen begrenzten Anwendungsbereich, da sie nur dazu dienen, Aussagen zu beweisen, die in der Sprache der Logik formuliert werden k\u00f6nnen. Es kann jedoch sein, dass wir etwas \u00fcber die Logik selbst beweisen wollen. Wir k\u00f6nnten etwa zeigen wollen, dass alle Aussagen der Aussagenlogik eine bestimmte Eigenschaft erf\u00fcllen. Solche Aussagen, die sich auf die Logik selbst beziehen, k\u00f6nnen weder innerhalb der Logik formuliert noch dort bewiesen werden. Um solche Aussagen zu beweisen, verwenden wir einen externen Beweis. Externe Beweise werden manchmal auch \u201emetamathematisch\u201c genannt, und wir sind dieser Art von \u00dcberlegungen bereits begegnet, etwa beim (Meta-)Deduktionstheorem. Hier kommt der Kontext f\u00fcr Induktionsbeweise ins Spiel.<\/p>\n<p><a name=\"2\"><\/a><\/p>\n<h2>Beweise durch Mathematische Induktion<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=eJQcNPrKyW0&amp;t=359s\" target=\"_blank\" rel=\"noopener\"><strong>Die Mathematische Induktion ist eine Beweismethode,<\/strong><\/a> mit der wir zeigen k\u00f6nnen, dass bestimmte Aussagen f\u00fcr alle nat\u00fcrlichen Zahlen gelten.<\/p>\n<p style=\"text-align: justify;\"><strong>BEISPIEL:<\/strong><br \/>\nEs l\u00e4sst sich zeigen, dass jede Zahl der Form <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">11^n - 4^n<\/span><\/span>, wobei <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n<\/span><\/span> eine nat\u00fcrliche Zahl ist, immer durch 7 teilbar ist.<br \/>\n<strong>BEWEIS:<\/strong> Betrachten wir zun\u00e4chst den Fall <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n=1<\/span><\/span>, so sehen wir:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">11^1 - 4^1 = 7<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">was offensichtlich durch 7 teilbar ist.<\/p>\n<p style=\"text-align: justify;\">Nehmen wir nun an, dass <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">11^n - 4^n<\/span><\/span> f\u00fcr ein <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n=k<\/span><\/span> durch 7 teilbar ist. Daraus wollen wir zeigen, dass die Aussage auch f\u00fcr <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n=k+1<\/span><\/span> gilt. Dies l\u00e4sst sich wie folgt durchf\u00fchren:<\/p>\n<table>\n<tbody>\n<tr>\n<td style=\"text-align: right;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">11^{k+1} - 4^{k+1}<\/span><\/span><\/td>\n<td style=\"text-align: left;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">=11 \\cdot 11^{k} - 4 \\cdot 4^{k}<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: right;\"><\/td>\n<td style=\"text-align: left;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">=11 \\cdot 11^{k} - (11-7) \\cdot 4^{k}<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: right;\"><\/td>\n<td style=\"text-align: left;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">=11 \\cdot 11^{k} - 11 \\cdot 4^{k} + 7\\cdot 4^{k}<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: right;\"><\/td>\n<td style=\"text-align: left;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">=11 ( 11^{k} - 4^{k} ) + 7\\cdot 4^{k}<\/span><\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">Wenn also <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">11^k - 4^k<\/span><\/span> durch 7 teilbar ist, dann ist es auch <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">11 ( 11^{k} - 4^{k} ) + 7\\cdot 4^{k}<\/span><\/span>, was wiederum bedeutet, dass auch <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">11^{k+1} - 4^{k+1}<\/span><\/span> durch 7 teilbar ist. Daraus folgt, dass wenn <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">11^k - 4^k<\/span><\/span> f\u00fcr <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">k=1<\/span><\/span> teilbar ist, es auch f\u00fcr <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">k=2, k=3, k=4,\\cdots<\/span><\/span> usw. gilt \u2013 und somit f\u00fcr jedes <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n\\in\\mathbb{N}.<\/span><\/span> In diesem Fall spricht man von vollst\u00e4ndiger Induktion. \u25a0<\/p>\n<p><a name=\"3\"><\/a><\/p>\n<h2>Induktionsbeweise in der Aussagenlogik<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=eJQcNPrKyW0&amp;t=775s\" target=\"_blank\" rel=\"noopener\"><strong>F\u00fcr die Induktionsbeweise, die wir im Folgenden durchf\u00fchren werden,<\/strong><\/a> ist es zun\u00e4chst notwendig, die folgende Notationskonvention einzuf\u00fchren:<\/p>\n<p style=\"text-align: justify;\"><strong>NOTATION:<\/strong> Sei <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">F_1,\\cdots, F_n<\/span><\/span> eine endliche Menge beliebiger Ausdr\u00fccke der Aussagenlogik. Die Konjunktionen und Disjunktionen dieser Ausdr\u00fccke werden eingef\u00fchrt durch:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\bigwedge_{i=1}^n F_i := F_1\\wedge \\cdots \\wedge F_n<\/span><\/span><\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\bigvee_{i=1}^n F_i := F_1\\vee \\cdots \\vee F_n<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Mit dieser Notation k\u00f6nnen wir uns nun den folgenden zwei verallgemeinerten Formen zuwenden.<\/p>\n<p><a name=\"4\"><\/a><\/p>\n<h2>Verallgemeinerte Form der De-Morgan-Gesetze<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=eJQcNPrKyW0&amp;t=829s\" target=\"_blank\" rel=\"noopener\"><strong>Gegeben eine endliche Menge von Ausdr\u00fccken der Aussagenlogik<\/strong><\/a> <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">F_1,\\cdots, F_n,<\/span><\/span> gelten stets die folgenden zwei Eigenschaften:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle\\neg\\left(\\bigwedge_{i=1}^n F_i \\right) \\equiv \\left( \\bigvee_{i=1}^n \\neg F_i \\right)<\/span><\/span><\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle\\neg\\left(\\bigvee_{i=1}^n F_i \\right) \\equiv \\left( \\bigwedge_{i=1}^n \\neg F_i \\right)<\/span><\/span><\/p>\n<p style=\"text-align: justify;\"><strong>BEWEIS:<\/strong> Zun\u00e4chst beweisen wir durch Induktion \u00fcber <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n<\/span><\/span>, dass <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg\\left(\\bigwedge_{i=1}^n F_i \\right) \\equiv \\left( \\bigvee_{i=1}^n \\neg F_i \\right)<\/span><\/span> gilt.<\/p>\n<p style=\"text-align: justify;\">Zuerst betrachten wir den Anfangsfall <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n=1.<\/span><\/span> In diesem Fall ist offensichtlich <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg F_1 \\equiv \\neg\\left(\\bigwedge_{i=1}^1F_i\\right)\\equiv \\left(\\bigvee_{i=1}^n \\neg F_i \\right) \\equiv\\neg F_1<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Nehmen wir nun an, dass die Eigenschaft f\u00fcr ein <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n=k<\/span><\/span> gilt; das hei\u00dft, dass f\u00fcr eine endliche Sammlung von Ausdr\u00fccken <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">F_1, F_2, \\cdots, F_k<\/span><\/span> folgendes gilt:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\neg\\left(\\bigwedge_{i=1}^k F_i\\right) \\equiv \\left(\\bigvee_{i=1}^k \\neg F_i\\right)<\/span><\/span><\/p>\n<p style=\"text-align: justify\">Dann zeigen wir, dass daraus folgt:<\/p>\n<p style=\"text-align: justify\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\neg\\left(\\bigwedge_{i=1}^{k+1} F_i\\right) \\equiv \\left(\\bigvee_{i=1}^{k+1} \\neg F_i\\right)<\/span><\/span><\/p>\n<p style=\"text-align: justify\">Unter Verwendung der Definition der Konjunktion ergibt sich:<\/p>\n<p style=\"text-align: justify\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\neg\\left(\\bigwedge_{i=1}^{k+1} F_i\\right) := \\neg\\left[\\left(\\bigwedge_{i=1}^{k} F_i\\right) \\wedge F_{k+1}\\right]<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Auf diesen Ausdruck k\u00f6nnen wir das klassische De-Morgan-Gesetz (f\u00fcr zwei Terme) anwenden und erhalten:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\neg\\left(\\bigwedge_{i=1}^{k+1} F_i\\right)\\equiv \\left[\\neg\\left(\\bigwedge_{i=1}^{k} F_i\\right) \\vee \\neg F_{k+1}\\right]<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Wenden wir nun die Induktionsannahme an, erhalten wir:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\neg\\left(\\bigwedge_{i=1}^{k+1} F_i\\right)\\equiv \\left[ \\left(\\bigvee_{i=1}^k \\neg F_i\\right) \\vee \\neg F_{k+1}\\right] := \\left(\\bigvee_{i=1}^{k+1}\\neg F_i \\right)<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Deshalb ist die Induktion abgeschlossen und die Eigenschaft gilt allgemein f\u00fcr jedes <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n<\/span><\/span>. Die zweite Beziehung l\u00e4sst sich auf vollkommen analoge Weise zeigen \u2013 das \u00fcberlasse ich aber als \u00dcbung f\u00fcr die Lesenden, muajaja!<\/p>\n<p><a name=\"5\"><\/a><\/p>\n<h2>Verallgemeinerte Form der Distributivgesetze<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=eJQcNPrKyW0&amp;t=1205s\" target=\"_blank\" rel=\"noopener\"><strong>\u00c4hnlich wie bei den De-Morgan-Gesetzen<\/strong><\/a> lassen sich auch die Distributivgesetze wie folgt verallgemeinern. Seien <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{F_1, \\cdots, F_n\\}<\/span><\/span> und <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{G_1,\\cdots, G_m\\}<\/span><\/span> zwei endliche Mengen beliebiger Ausdr\u00fccke, dann gelten die folgenden \u00c4quivalenzen:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[ \\left(\\bigwedge_{i=1}^n F_i \\right) \\vee \\left(\\bigwedge_{j=1}^m G_j \\right) \\right] \\equiv \\left[\\bigwedge_{i=1}^n\\left(\\bigwedge_{j=1}^m(F_i\\vee G_j) \\right) \\right]<\/span><\/span><\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[ \\left(\\bigvee_{i=1}^n F_i \\right) \\wedge \\left(\\bigvee_{j=1}^m G_j \\right) \\right] \\equiv \\left[\\bigvee_{i=1}^n\\left(\\bigvee_{j=1}^m(F_i\\wedge G_j) \\right) \\right]<\/span><\/span><\/p>\n<p style=\"text-align: justify;\"><strong>BEWEIS:<\/strong> Um diesen Beweis zu f\u00fchren, m\u00fcssen wir eine doppelte Induktion durchf\u00fchren, \u00fcber <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n<\/span><\/span> und <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">m.<\/span><\/span> Im Folgenden f\u00fchre ich zuerst die Induktion \u00fcber <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n<\/span><\/span> und danach \u00fcber <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">m<\/span><\/span> durch, bezogen auf den Ausdruck <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\left[ \\left(\\bigwedge_{i=1}^n F_i \\right) \\vee \\left(\\bigwedge_{j=1}^m G_j \\right) \\right] \\equiv \\left[\\bigwedge_{i=1}^n\\left(\\bigwedge_{j=1}^m(F_i\\vee G_j) \\right) \\right]<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Nehmen wir <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">m=1,<\/span><\/span> dann wird dieser Ausdruck zu:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[ \\left(\\bigwedge_{i=1}^n F_i \\right) \\vee \\left(\\bigwedge_{j=1}^1 G_j \\right) \\right] \\equiv \\left[\\bigwedge_{i=1}^n\\left(\\bigwedge_{j=1}^1(F_i\\vee G_j) \\right) \\right].<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Was gleichbedeutend ist mit:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[ \\left(\\bigwedge_{i=1}^n F_i \\right) \\vee G_1 \\right] \\equiv \\left[\\bigwedge_{i=1}^n\\left( F_i\\vee G_1 \\right) \\right].<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Nun beweisen wir diesen Ausdruck durch Induktion \u00fcber <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n.<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Nehmen wir <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n=1,<\/span><\/span> dann reduziert sich der Ausdruck auf<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">F_1 \\vee G_1 \\equiv F_1 \\vee G_1.<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Was nat\u00fcrlich wahr ist. Nehmen wir nun an, dass der Ausdruck f\u00fcr ein beliebiges <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n=k<\/span><\/span> gilt; das hei\u00dft, die Induktionsannahme ist:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[ \\left(\\bigwedge_{i=1}^k F_i \\right) \\vee G_1 \\right] \\equiv \\left[\\bigwedge_{i=1}^k\\left( F_i\\vee G_1 \\right) \\right].<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Dann zeigen wir im Folgenden, dass der Ausdruck auch f\u00fcr <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n=k+1<\/span><\/span> gilt.<\/p>\n<p style=\"text-align: justify;\">Nach der Definition der Konjunktion gilt:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[\\left(\\bigwedge_{i=1}^{k+1}F_i \\right) \\vee G_1 \\right] := \\left[\\left(\\left(\\bigwedge_{i=1}^{k}F_i \\right)\\wedge F_{k+1} \\right) \\vee G_1 \\right] <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Nun wenden wir das Distributivgesetz der <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vee<\/span><\/span>-Verkn\u00fcpfung an und erhalten:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[\\left(\\bigwedge_{i=1}^{k+1}F_i \\right) \\vee G_1 \\right] \\equiv \\left[\\left(\\left(\\bigwedge_{i=1}^{k}F_i \\right)\\vee G_{1} \\right) \\wedge \\left(F_{k+1} \\vee G_1 \\right) \\right] <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Und genau an diesem Punkt k\u00f6nnen wir die Induktionsannahme verwenden, um zu erhalten:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[\\left(\\bigwedge_{i=1}^{k+1}F_i \\right) \\vee G_1 \\right] \\equiv \\left[\\left(\\bigwedge_{i=1}^k\\left( F_i\\vee G_1 \\right) \\right) \\wedge \\left(F_{k+1} \\vee G_1 \\right) \\right] := \\left[\\bigwedge_{i=1}^{k+1}(F_{i}\\vee G_1 \\right] <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Damit haben wir durch Induktion bewiesen, dass f\u00fcr alle <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n\\in\\mathbb{N}<\/span><\/span> gilt:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[ \\left(\\bigwedge_{i=1}^n F_i \\right)\\vee G_1\\right] \\equiv \\left[\\bigwedge_{i=1}^n(F_i\\vee G_1)\\right]<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Da die Induktion \u00fcber <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n<\/span><\/span> abgeschlossen ist und der Fall <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">m=1<\/span><\/span> funktioniert, bleibt nur noch die Induktion \u00fcber <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">m<\/span><\/span>. Dazu formulieren wir die Induktionsannahme f\u00fcr ein <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">m=l<\/span><\/span>, also dass gilt:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[ \\left(\\bigwedge_{i=1}^n F_i \\right) \\vee \\left(\\bigwedge_{j=1}^l G_j \\right) \\right] \\equiv \\left[\\bigwedge_{i=1}^n\\left(\\bigwedge_{j=1}^l(F_i\\vee G_j) \\right) \\right]<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">und daraus wollen wir zeigen, dass es auch f\u00fcr <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">m=l+1<\/span><\/span> gilt.<\/p>\n<p style=\"text-align: justify;\">Ausgehend, wie immer, von der Definition der Konjunktion ergibt sich:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[ \\left(\\bigwedge_{i=1}^n F_i \\right) \\vee \\left(\\bigwedge_{j=1}^{l+1} G_j \\right) \\right] := \\left[ \\left(\\bigwedge_{i=1}^n F_i \\right) \\vee \\left(\\left(\\bigwedge_{j=1}^{l} G_j \\right) \\wedge G_{l+1}\\right) \\right] <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Nun wenden wir das Distributivgesetz f\u00fcr <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vee<\/span><\/span> an, dann ergibt sich:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[ \\left(\\bigwedge_{i=1}^n F_i \\right) \\vee \\left(\\bigwedge_{j=1}^{l+1} G_j \\right) \\right] \\equiv \\left[ \\left( \\left(\\bigwedge_{i=1}^n F_i \\right) \\vee \\left( \\bigwedge_{j=1}^l G_j \\right) \\right) \\wedge \\left( \\left( \\bigwedge_{i=1}^n F_i \\right)\\vee G_{l+1} \\right) \\right] <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Infolgedessen k\u00f6nnen wir mit der Induktionsannahme schreiben:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[ \\left(\\bigwedge_{i=1}^n F_i \\right) \\vee \\left(\\bigwedge_{j=1}^{l+1} G_j \\right) \\right] \\equiv \\left[ \\bigwedge_{i=1}^n\\left(\\bigwedge_{j=1}^l(F_i\\vee G_j) \\right) \\wedge \\left( \\left( \\bigwedge_{i=1}^n F_i \\right)\\vee G_{l+1} \\right) \\right] <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Und wenn wir nun das Resultat der Induktion \u00fcber <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n<\/span><\/span> anwenden, erhalten wir:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[ \\left(\\bigwedge_{i=1}^n F_i \\right) \\vee \\left(\\bigwedge_{j=1}^{l+1} G_j \\right) \\right] \\equiv \\left[ \\bigwedge_{i=1}^n\\left(\\bigwedge_{j=1}^l(F_i\\vee G_j) \\right) \\wedge \\left( \\bigwedge_{i=1}^n (F_i \\vee G_{l+1} )\\right) \\right] <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Was schlie\u00dflich durch die Definition der Konjunktion gleichbedeutend ist mit:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[ \\left(\\bigwedge_{i=1}^n F_i \\right) \\vee \\left(\\bigwedge_{j=1}^{l+1} G_j \\right) \\right] \\equiv \\left[ \\bigwedge_{i=1}^n\\left(\\bigwedge_{j=1}^{l+1}(F_i\\vee G_j) \\right) \\right] <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Und somit ist die Induktion \u00fcber <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">m<\/span><\/span> abgeschlossen, und der Ausdruck<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle \\left[ \\left(\\bigwedge_{i=1}^n F_i \\right) \\vee \\left(\\bigwedge_{j=1}^{m} G_j \\right) \\right] \\equiv \\left[ \\bigwedge_{i=1}^n\\left(\\bigwedge_{j=1}^{m}(F_i\\vee G_j) \\right) \\right] <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">gilt f\u00fcr alle <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">n,m\\in\\mathbb{N}<\/span><\/span>.<\/p>\n<p style=\"text-align: justify;\">Dieser Streifzug durch die Induktionsbeweise hat gezeigt, wie sich rigorose mathematische Beweistechniken nicht nur im Bereich der nat\u00fcrlichen Zahlen, sondern auch in der Aussagenlogik anwenden lassen. Durch die Induktion konnten wir die G\u00fcltigkeit der verallgemeinerten Formen der De-Morgan-Gesetze und der Distributivgesetze etablieren und damit das Verst\u00e4ndnis der logischen Grundlagen st\u00e4rken, die zahlreichen Bereichen des mathematischen Wissens zugrunde liegen. Dieser Ansatz ist nicht nur wesentlich f\u00fcr die Entwicklung abstrakter Denkf\u00e4higkeiten, sondern stellt auch ein m\u00e4chtiges Werkzeug dar, um komplexe Probleme in der Mathematik und dar\u00fcber hinaus zu bew\u00e4ltigen.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Induktionsbeweise: Verallgemeinerte De-Morgan-Regeln und Distributivgesetze ZUSAMMENFASSUNGIn dieser Unterrichtseinheit wird das Thema der Induktionsbeweise in Mathematik und Aussagenlogik behandelt. Es werden die zwei existierenden Arten von Beweisen erkl\u00e4rt: interne oder deduktive Beweise, die auf den Regeln der Logik basieren, und externe oder metamathematische Beweise, die notwendig sind, um Aussagen zu beweisen, die sich auf die Logik [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":28154,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":6,"footnotes":""},"categories":[1360,1302,1354],"tags":[],"class_list":["post-33905","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-aussagenlogik","category-mathematik","category-mathematische-logik"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v26.7 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Induktionsbeweise: Verallgemeinerung der De-Morgan- und Distributivgesetze - toposuranos.com\/material<\/title>\n<meta name=\"description\" content=\"Alles \u00fcber das Durchf\u00fchren von Induktionsbeweisen in Mathematik und Logik. Lerne, Gesetze wie die von De Morgan und die Distributivgesetze zu beweisen.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Induktionsbeweise: Verallgemeinerung der De-Morgan- und Distributivgesetze\" \/>\n<meta property=\"og:description\" content=\"Alles \u00fcber das Durchf\u00fchren von Induktionsbeweisen in Mathematik und Logik. Lerne, Gesetze wie die von De Morgan und die Distributivgesetze zu beweisen.\" \/>\n<meta property=\"og:url\" content=\"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/\" \/>\n<meta property=\"og:site_name\" content=\"toposuranos.com\/material\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/groups\/toposuranos\" \/>\n<meta property=\"article:published_time\" content=\"2021-04-09T13:00:09+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-08-01T02:16:46+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/induccion-1024x585.jpg\" \/>\n<meta name=\"author\" content=\"giorgio.reveco\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"Induktionsbeweise: Verallgemeinerung der De-Morgan- und Distributivgesetze\" \/>\n<meta name=\"twitter:description\" content=\"Alles \u00fcber das Durchf\u00fchren von Induktionsbeweisen in Mathematik und Logik. Lerne, Gesetze wie die von De Morgan und die Distributivgesetze zu beweisen.\" \/>\n<meta name=\"twitter:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/induccion.jpg\" \/>\n<meta name=\"twitter:creator\" content=\"@topuranos\" \/>\n<meta name=\"twitter:site\" content=\"@topuranos\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"giorgio.reveco\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minuto\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#article\",\"isPartOf\":{\"@id\":\"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/\"},\"author\":{\"name\":\"giorgio.reveco\",\"@id\":\"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1\"},\"headline\":\"Induktionsbeweise: Verallgemeinerung der De-Morgan- und Distributivgesetze\",\"datePublished\":\"2021-04-09T13:00:09+00:00\",\"dateModified\":\"2025-08-01T02:16:46+00:00\",\"mainEntityOfPage\":{\"@id\":\"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/\"},\"wordCount\":2197,\"commentCount\":0,\"publisher\":{\"@id\":\"http:\/\/toposuranos.com\/material\/#organization\"},\"image\":{\"@id\":\"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#primaryimage\"},\"thumbnailUrl\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/induccion.jpg\",\"articleSection\":[\"Aussagenlogik\",\"Mathematik\",\"Mathematische Logik\"],\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/\",\"url\":\"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/\",\"name\":\"Induktionsbeweise: Verallgemeinerung der De-Morgan- und Distributivgesetze - toposuranos.com\/material\",\"isPartOf\":{\"@id\":\"http:\/\/toposuranos.com\/material\/#website\"},\"primaryImageOfPage\":{\"@id\":\"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#primaryimage\"},\"image\":{\"@id\":\"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#primaryimage\"},\"thumbnailUrl\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/induccion.jpg\",\"datePublished\":\"2021-04-09T13:00:09+00:00\",\"dateModified\":\"2025-08-01T02:16:46+00:00\",\"description\":\"Alles \u00fcber das Durchf\u00fchren von Induktionsbeweisen in Mathematik und Logik. Lerne, Gesetze wie die von De Morgan und die Distributivgesetze zu beweisen.\",\"breadcrumb\":{\"@id\":\"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#primaryimage\",\"url\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/induccion.jpg\",\"contentUrl\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/induccion.jpg\",\"width\":1792,\"height\":1024},{\"@type\":\"BreadcrumbList\",\"@id\":\"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"https:\/\/toposuranos.com\/material\/es\/cursos-de-matematica-y-fisica\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Induktionsbeweise: Verallgemeinerung der De-Morgan- und Distributivgesetze\"}]},{\"@type\":\"WebSite\",\"@id\":\"http:\/\/toposuranos.com\/material\/#website\",\"url\":\"http:\/\/toposuranos.com\/material\/\",\"name\":\"toposuranos.com\/material\",\"description\":\"\",\"publisher\":{\"@id\":\"http:\/\/toposuranos.com\/material\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"http:\/\/toposuranos.com\/material\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es\"},{\"@type\":\"Organization\",\"@id\":\"http:\/\/toposuranos.com\/material\/#organization\",\"name\":\"toposuranos.com\/material\",\"url\":\"http:\/\/toposuranos.com\/material\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/\",\"url\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png\",\"contentUrl\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png\",\"width\":2400,\"height\":2059,\"caption\":\"toposuranos.com\/material\"},\"image\":{\"@id\":\"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.facebook.com\/groups\/toposuranos\",\"https:\/\/x.com\/topuranos\",\"https:\/\/www.youtube.com\/channel\/UC16yDm12cPcrwsE0fAM7X1g\",\"https:\/\/www.linkedin.com\/company\/69429190\"]},{\"@type\":\"Person\",\"@id\":\"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1\",\"name\":\"giorgio.reveco\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\/\/toposuranos.com\/material\/#\/schema\/person\/image\/\",\"url\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg\",\"contentUrl\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg\",\"caption\":\"giorgio.reveco\"},\"description\":\"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.\",\"sameAs\":[\"http:\/\/toposuranos.com\/material\"],\"url\":\"http:\/\/toposuranos.com\/material\/author\/giorgio-reveco\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Induktionsbeweise: Verallgemeinerung der De-Morgan- und Distributivgesetze - toposuranos.com\/material","description":"Alles \u00fcber das Durchf\u00fchren von Induktionsbeweisen in Mathematik und Logik. Lerne, Gesetze wie die von De Morgan und die Distributivgesetze zu beweisen.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/","og_locale":"es_ES","og_type":"article","og_title":"Induktionsbeweise: Verallgemeinerung der De-Morgan- und Distributivgesetze","og_description":"Alles \u00fcber das Durchf\u00fchren von Induktionsbeweisen in Mathematik und Logik. Lerne, Gesetze wie die von De Morgan und die Distributivgesetze zu beweisen.","og_url":"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/","og_site_name":"toposuranos.com\/material","article_publisher":"https:\/\/www.facebook.com\/groups\/toposuranos","article_published_time":"2021-04-09T13:00:09+00:00","article_modified_time":"2025-08-01T02:16:46+00:00","og_image":[{"url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/induccion-1024x585.jpg","type":"","width":"","height":""}],"author":"giorgio.reveco","twitter_card":"summary_large_image","twitter_title":"Induktionsbeweise: Verallgemeinerung der De-Morgan- und Distributivgesetze","twitter_description":"Alles \u00fcber das Durchf\u00fchren von Induktionsbeweisen in Mathematik und Logik. Lerne, Gesetze wie die von De Morgan und die Distributivgesetze zu beweisen.","twitter_image":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/induccion.jpg","twitter_creator":"@topuranos","twitter_site":"@topuranos","twitter_misc":{"Escrito por":"giorgio.reveco","Tiempo de lectura":"1 minuto"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#article","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/"},"author":{"name":"giorgio.reveco","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1"},"headline":"Induktionsbeweise: Verallgemeinerung der De-Morgan- und Distributivgesetze","datePublished":"2021-04-09T13:00:09+00:00","dateModified":"2025-08-01T02:16:46+00:00","mainEntityOfPage":{"@id":"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/"},"wordCount":2197,"commentCount":0,"publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"image":{"@id":"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/induccion.jpg","articleSection":["Aussagenlogik","Mathematik","Mathematische Logik"],"inLanguage":"es","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#respond"]}]},{"@type":"WebPage","@id":"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/","url":"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/","name":"Induktionsbeweise: Verallgemeinerung der De-Morgan- und Distributivgesetze - toposuranos.com\/material","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/#website"},"primaryImageOfPage":{"@id":"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#primaryimage"},"image":{"@id":"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/induccion.jpg","datePublished":"2021-04-09T13:00:09+00:00","dateModified":"2025-08-01T02:16:46+00:00","description":"Alles \u00fcber das Durchf\u00fchren von Induktionsbeweisen in Mathematik und Logik. Lerne, Gesetze wie die von De Morgan und die Distributivgesetze zu beweisen.","breadcrumb":{"@id":"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#primaryimage","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/induccion.jpg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/induccion.jpg","width":1792,"height":1024},{"@type":"BreadcrumbList","@id":"http:\/\/toposuranos.com\/material\/de\/induktionsbeweise-verallgemeinerung-der-de-morgan-und-distributivgesetze\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"https:\/\/toposuranos.com\/material\/es\/cursos-de-matematica-y-fisica\/"},{"@type":"ListItem","position":2,"name":"Induktionsbeweise: Verallgemeinerung der De-Morgan- und Distributivgesetze"}]},{"@type":"WebSite","@id":"http:\/\/toposuranos.com\/material\/#website","url":"http:\/\/toposuranos.com\/material\/","name":"toposuranos.com\/material","description":"","publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"http:\/\/toposuranos.com\/material\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es"},{"@type":"Organization","@id":"http:\/\/toposuranos.com\/material\/#organization","name":"toposuranos.com\/material","url":"http:\/\/toposuranos.com\/material\/","logo":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","width":2400,"height":2059,"caption":"toposuranos.com\/material"},"image":{"@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/groups\/toposuranos","https:\/\/x.com\/topuranos","https:\/\/www.youtube.com\/channel\/UC16yDm12cPcrwsE0fAM7X1g","https:\/\/www.linkedin.com\/company\/69429190"]},{"@type":"Person","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1","name":"giorgio.reveco","image":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/image\/","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","caption":"giorgio.reveco"},"description":"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.","sameAs":["http:\/\/toposuranos.com\/material"],"url":"http:\/\/toposuranos.com\/material\/author\/giorgio-reveco\/"}]}},"_links":{"self":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/33905","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/comments?post=33905"}],"version-history":[{"count":0,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/33905\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media\/28154"}],"wp:attachment":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media?parent=33905"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/categories?post=33905"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/tags?post=33905"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}