{"id":33287,"date":"2021-01-18T00:00:55","date_gmt":"2021-01-18T00:00:55","guid":{"rendered":"http:\/\/toposuranos.com\/material\/?p=33287"},"modified":"2025-06-04T18:50:54","modified_gmt":"2025-06-04T18:50:54","slug":"die-sprache-der-aussagenlogik","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/de\/die-sprache-der-aussagenlogik\/","title":{"rendered":"Die Sprache der Aussagenlogik"},"content":{"rendered":"<h1 style=\"text-align: center;\">Die Sprache der Aussagenlogik<\/h1>\n<h4 style=\"text-align: center;\">Zusammenfassung<\/h4>\n<p style=\"text-align: center;\"><em>In diesem Skript wird die Sprache der Aussagenlogik als Metasprache untersucht, die verwendet wird, um g\u00fcltige Ausdr\u00fccke der Basissprache zu erzeugen, die aus zwei Symbolen besteht. Es werden die Syntaxregeln, die Konzepte der aussagenlogischen Variablen und des Verkn\u00fcpfers erkl\u00e4rt, sowie die gemeinsame Negation, die Verwendung von Klammern und die Umordnung zur besseren Lesbarkeit der Ausdr\u00fccke eingef\u00fchrt. Dar\u00fcber hinaus werden die Aussprachen der Ausdr\u00fccke der Aussagenlogik erw\u00e4hnt. Schlie\u00dflich wird die Sprache der Aussagenlogik als fundamentales Werkzeug in der Mathematik und Logik zusammengefasst, und es wird \u00fcber die M\u00f6glichkeit reflektiert, eine \u00abBasissprache der Basis\u00bb zu finden, aus der sich alles andere rekonstruieren lie\u00dfe.<\/em><\/p>\n<h4 style=\"text-align: center;\">Lernziele:<\/h4>\n<p style=\"text-align: justify;\"><em>Nach Abschluss dieses Abschnitts sollte der\/die Lernende in der Lage sein:<\/em><\/p>\n<ol style=\"text-align: justify;\">\n<li><strong>Zu verstehen<\/strong>, was eine Metasprache ist und wie sie in der Aussagenlogik angewendet wird.<\/li>\n<li><strong>Die Syntaxregeln<\/strong> der Sprache der Aussagenlogik zu verstehen.<\/li>\n<li><strong>Das Konzept<\/strong> der aussagenlogischen Variable und deren Verwendung beim Aufbau von Ausdr\u00fccken zu kennen.<\/li>\n<li><strong>Den Gebrauch<\/strong> von Verkn\u00fcpfer und gemeinsamer Negation in der Sprache der Aussagenlogik zu verstehen.<\/li>\n<li><strong>Klammern<\/strong> und Umordnungen zu verwenden, um die Lesbarkeit von Ausdr\u00fccken zu verbessern.<\/li>\n<li><strong>Die Aussprachen<\/strong> der Ausdr\u00fccke der Aussagenlogik zu kennen.<\/li>\n<li><strong>Die Sprache<\/strong> der Aussagenlogik als fundamentales Werkzeug in der Mathematik und Logik zu synthetisieren.<\/li>\n<li><strong>\u00dcber die M\u00f6glichkeit<\/strong> nachzudenken, eine \u00abBasissprache der Basis\u00bb zu finden, aus der sich alles andere rekonstruieren lie\u00dfe.<\/li>\n<li><strong>Die gelernten Konzepte<\/strong> beim Aufbau von Ausdr\u00fccken der Aussagenlogik anzuwenden.<\/li>\n<li><strong>Die Sprache<\/strong> der Aussagenlogik zu nutzen, um mathematische und logische Probleme zu verstehen und zu l\u00f6sen.<\/li>\n<\/ol>\n<h4 style=\"text-align: center;\">Inhalt<\/h4>\n<p style=\"text-align:center;\">\n<a href=\"#1\"><strong>DIE SPRACHE DER AUSSAGENLOGIK: ALPHABETE UND SYMBOLKETTEN<\/strong><\/a><br \/>\n<a href=\"#2\">BEGINNEN WIR MIT EINEM EINZIGEN SYMBOL<\/a><br \/>\n<a href=\"#3\">F\u00dcGEN WIR DANN EIN ZWEITES SYMBOL HINZU<\/a><br \/>\n<a href=\"#4\"><strong>DIE SPRACHE DER AUSSAGENLOGIK: SYNTAX<\/strong><\/a><br \/>\n<a href=\"#5\">BEISPIELE ZUR \u00dcBERPR\u00dcFUNG DER SYNTAX<\/a><br \/>\n<a href=\"#6\"><strong>NOTATIONSKONVENTIONEN<\/strong><\/a><br \/>\n<a href=\"#7\">METAVARIABLEN UND DER VERKN\u00dcPFER <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow<\/span><\/span><\/a><br \/>\n<a href=\"#8\">BEISPIELE F\u00dcR DIE VERWENDUNG DER GEMEINSAMEN NEGATION<\/a><br \/>\n<a href=\"#9\">UMORDNUNG UND KLAMMERN<\/a><br \/>\n<a href=\"#10\"><strong>ABGELEITETE VERKN\u00dcPFER<\/strong><\/a><br \/>\n<a href=\"#11\">AUSSPRACHE DER AUSDR\u00dcCKE DER AUSSAGENLOGIK<\/a><br \/>\n<a href=\"#12\"><strong>ZUSAMMENFASSUNG UND REFLEXIONEN \u00dcBER DIE SPRACHE DER AUSSAGENLOGIK<\/strong><\/a><br \/>\n<a href=\"#13\">DIE MATRIX HINTER DER MATRIX HINTER DEM VERST\u00c4NDNIS ALLER DINGE<\/a>\n<\/p>\n<p><iframe class=\"lazyload\" width=\"560\" height=\"315\" data-src=\"https:\/\/www.youtube.com\/embed\/WwBKcSXIznA\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen=\"allowfullscreen\"><\/iframe><\/p>\n<p><a name=\"1\"><\/a><\/p>\n<h2>Die Sprache der Aussagenlogik: Alphabete und Symbolketten<\/h2>\n<p><a name=\"2\"><\/a><\/p>\n<h3>Beginnen wir mit einem einzigen Symbol<\/h3>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=WwBKcSXIznA&amp;t=37s\" target=\"_blank\" rel=\"noopener\"><strong>Um die Sprache der Aussagenlogik zu konstruieren<\/strong><\/a>, beginnen wir unser Studium mit dem einfachsten Alphabet: jenem, das nur ein einziges Symbol besitzt. Die konkrete Gestalt dieses Symbols spielt keine Rolle \u2013 entscheidend ist, dass es einzigartig ist. Wenn wir mit einem solchen Alphabet schreiben, unterscheidet sich eine Symbolkette von einer anderen nur durch die Anzahl der Wiederholungen dieses Symbols. Wenn wir also die M\u00f6glichkeit haben, Symbolketten bis zur L\u00e4nge <span class=\"katex-eq\" data-katex-display=\"false\">N<\/span> zu schreiben, dann k\u00f6nnen wir nur <span class=\"katex-eq\" data-katex-display=\"false\">N<\/span> verschiedene Ketten bilden. Wie du siehst, ist dieses Alphabet ziemlich begrenzt, und es l\u00e4sst sich nicht viel mehr dar\u00fcber sagen.<\/p>\n<p><a name=\"3\"><\/a><\/p>\n<h3>F\u00fcgen wir nun ein zweites Symbol hinzu<\/h3>\n<p style=\"text-align: justify;\">Wenn wir unserem Alphabet ein zweites Symbol hinzuf\u00fcgen, wird das Schreiben deutlich ausdrucksst\u00e4rker als mit dem vorherigen Alphabet. Nun k\u00f6nnen wir die Anordnung der Symbole wahrnehmen \u2013 zum Beispiel, wenn <span class=\"katex-eq\" data-katex-display=\"false\">0<\/span> und <span class=\"katex-eq\" data-katex-display=\"false\">1<\/span> unsere Symbole sind, k\u00f6nnen wir zwischen <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span> und <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">10<\/span><\/span> unterscheiden. Beide Ketten enthalten die gleichen Symbole, aber in unterschiedlicher Reihenfolge. Wenn die l\u00e4ngste Kette, die wir schreiben k\u00f6nnen, eine L\u00e4nge von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">N =1,2,3,\\cdots<\/span><\/span> hat, dann k\u00f6nnen wir <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">2^1=2<\/span><\/span> Ketten der L\u00e4nge <span class=\"katex-eq\" data-katex-display=\"false\">1<\/span>, <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">2^2=4<\/span><\/span> Ketten der L\u00e4nge <span class=\"katex-eq\" data-katex-display=\"false\">2<\/span>, <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">2^3=8<\/span><\/span> Ketten der L\u00e4nge <span class=\"katex-eq\" data-katex-display=\"false\">3<\/span> schreiben \u2013 und allgemein <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">2^N<\/span><\/span> verschiedene Ketten der L\u00e4nge <span class=\"katex-eq\" data-katex-display=\"false\">N<\/span>.<\/p>\n<p style=\"text-align: justify;\"><strong>\u00dcbung:<\/strong> Schreibe auf einem Blatt alle verschiedenen Ketten auf, die man mit zwischen <span class=\"katex-eq\" data-katex-display=\"false\">1<\/span> und <span class=\"katex-eq\" data-katex-display=\"false\">N<\/span> Symbolen bilden kann. Wie viele Ketten ergeben sich insgesamt?<\/p>\n<p style=\"text-align: justify;\"><span style=\"color: #0000aa;\"><strong>L\u00f6sung:<\/strong><\/span><br \/>\nWenn <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">S_N<\/span><\/span> die Summe aller Ketten der L\u00e4ngen <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">1, 2, 3, <\/span><\/span> bis <span class=\"katex-eq\" data-katex-display=\"false\">N<\/span> ist, dann haben wir bereits gesehen:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle S_N=2^1 + 2^2 + \\cdots +2^{N-1} + 2^N <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Multiplizieren wir den vorherigen Ausdruck mit 2, so erhalten wir:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle 2 S_N=2^2 + 2^3 + \\cdots + 2^N + 2^{N+1} <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Und somit:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle S_N=2 S_N - S_N = 2^N-1 <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Folglich ist die Gesamtanzahl der aufgeschriebenen Ketten <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">2^N-1<\/span><\/span>.<\/p>\n<p><a name=\"4\"><\/a><\/p>\n<h2>Die Sprache der Aussagenlogik: Syntax<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=WwBKcSXIznA&amp;t=295s\" target=\"_blank\" rel=\"noopener\"><strong>Wir haben gesehen, dass wir mit zwei Symbolen eine Kette durch ihre L\u00e4nge und die Reihenfolge der Symbole unterscheiden k\u00f6nnen. <\/strong><\/a> Das ist wichtig, da es uns erlaubt, eine Syntax f\u00fcr das konstruierte Alphabet zu definieren. Eine Syntax ist eine Menge von Regeln, die die Symbolketten in zwei Kategorien unterteilt: Ausdr\u00fccke und Nicht-Ausdr\u00fccke. Wenn <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{L}_2<\/span><\/span> die Menge aller Ketten ist, die mit den Symbolen <span class=\"katex-eq\" data-katex-display=\"false\">0<\/span> und <span class=\"katex-eq\" data-katex-display=\"false\">1<\/span> gebildet werden k\u00f6nnen, dann ist die Syntax von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{L}_2<\/span><\/span> eine Teilmenge <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2\\subset\\mathcal{L}_2<\/span><\/span>.<\/p>\n<p style=\"text-align: justify;\">Wir k\u00f6nnen die Menge <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> mit den folgenden rekursiven Regeln definieren:<\/p>\n<ol>\n<li style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00, 11 \\in \\mathcal{SL}_2<\/span><\/span><\/li>\n<li style=\"text-align: justify;\">Wenn <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha, \\beta \\in \\mathcal{SL}_2<\/span><\/span>, dann gilt <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01\\alpha\\beta \\in \\mathcal{SL}_2<\/span><\/span><\/li>\n<\/ol>\n<p style=\"text-align: justify;\">Mit diesen beiden Regeln k\u00f6nnen wir Ausdr\u00fccke der Sprache bilden und pr\u00fcfen, ob eine gegebene Kette ein Ausdruck der Sprache ist. Eine Sprache ist ein Alphabet mit einer zugeh\u00f6rigen Syntax. Die hier vorgestellte Sprache nennen wir <em>\u00abBasissprache mit zwei Symbolen\u00bb<\/em> oder <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>.<\/p>\n<p><a name=\"5\"><\/a><\/p>\n<h3>Beispiele zur \u00dcberpr\u00fcfung der Syntax<\/h3>\n<p style=\"text-align: justify;\">Um diese Ideen besser verst\u00e4ndlich zu machen, sehen wir uns die folgenden Beispiele an:<\/p>\n<p style=\"text-align: justify;\"><strong>Beispiel:<\/strong> Da <span style=\"color: #FF4500;\"><span class=\"katex-eq\" data-katex-display=\"false\">0000<\/span><\/span> und <span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">1111<\/span><\/span> in <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> enthalten sind, folgt daraus, dass <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span><span style=\"color: #FF4500;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00 00 01 00<\/span><\/span><\/span><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">11 01 11<\/span><\/span><\/span><span style=\"color: #FF4500;\"><span class=\"katex-eq\" data-katex-display=\"false\">0000<\/span><\/span> und <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span><span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">1111<\/span><\/span><span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">1111<\/span><\/span> in <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> enthalten sind; sie sind also Ausdr\u00fccke von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>. Dies zeigt sich durch Anwendung der gerade eingef\u00fchrten Regeln.<br \/>\n<\/span><\/p>\n<p>Ende des Beispiels <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\blacksquare<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Folglich ist die Gesamtanzahl der aufgeschriebenen Ketten <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">2^N-1<\/span><\/span>.<\/p>\n<p><a name=\"4\"><\/a><\/p>\n<h2>Die Sprache der Aussagenlogik: Syntax<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=WwBKcSXIznA&amp;t=295s\" target=\"_blank\" rel=\"noopener\"><strong>Wir haben gesehen, dass wir mit zwei Symbolen eine Kette durch ihre L\u00e4nge und die Reihenfolge der Symbole unterscheiden k\u00f6nnen. <\/strong><\/a> Das ist wichtig, da es uns erlaubt, eine Syntax f\u00fcr das konstruierte Alphabet zu definieren. Eine Syntax ist eine Menge von Regeln, die die Symbolketten in zwei Kategorien unterteilt: Ausdr\u00fccke und Nicht-Ausdr\u00fccke. Wenn <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{L}_2<\/span><\/span> die Menge aller Ketten ist, die mit den Symbolen <span class=\"katex-eq\" data-katex-display=\"false\">0<\/span> und <span class=\"katex-eq\" data-katex-display=\"false\">1<\/span> gebildet werden k\u00f6nnen, dann ist die Syntax von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{L}_2<\/span><\/span> eine Teilmenge <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2\\subset\\mathcal{L}_2<\/span><\/span>.<\/p>\n<p style=\"text-align: justify;\">Wir k\u00f6nnen die Menge <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> mit den folgenden rekursiven Regeln definieren:<\/p>\n<ol>\n<li style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00, 11 \\in \\mathcal{SL}_2<\/span><\/span><\/li>\n<li style=\"text-align: justify;\">Wenn <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha, \\beta \\in \\mathcal{SL}_2<\/span><\/span>, dann gilt <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01\\alpha\\beta \\in \\mathcal{SL}_2<\/span><\/span><\/li>\n<\/ol>\n<p style=\"text-align: justify;\">Mit diesen beiden Regeln k\u00f6nnen wir Ausdr\u00fccke der Sprache bilden und pr\u00fcfen, ob eine gegebene Kette ein Ausdruck der Sprache ist. Eine Sprache ist ein Alphabet mit einer zugeh\u00f6rigen Syntax. Die hier vorgestellte Sprache nennen wir <em>\u00abBasissprache mit zwei Symbolen\u00bb<\/em> oder <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>.<\/p>\n<p><a name=\"5\"><\/a><\/p>\n<h3>Beispiele zur \u00dcberpr\u00fcfung der Syntax<\/h3>\n<p style=\"text-align: justify;\">Um diese Ideen besser verst\u00e4ndlich zu machen, sehen wir uns die folgenden Beispiele an:<\/p>\n<p style=\"text-align: justify;\"><strong>Beispiel:<\/strong> Da <span style=\"color: #FF4500;\"><span class=\"katex-eq\" data-katex-display=\"false\">0000<\/span><\/span> und <span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">1111<\/span><\/span> in <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> enthalten sind, folgt daraus, dass <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span><span style=\"color: #FF4500;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00 00 01 00<\/span><\/span><\/span><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">11 01 11<\/span><\/span><\/span><span style=\"color: #FF4500;\"><span class=\"katex-eq\" data-katex-display=\"false\">0000<\/span><\/span> und <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span><span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">1111<\/span><\/span><span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">1111<\/span><\/span> in <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> enthalten sind; sie sind also Ausdr\u00fccke von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>. Dies zeigt sich durch Anwendung der gerade eingef\u00fchrten Regeln.<br \/>\n<\/span><\/p>\n<p>Ende des Beispiels <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\blacksquare<\/span><\/span><\/p>\n<p><strong>\u00dcbung:<\/strong> Im vorherigen Beispiel haben wir gesehen, wie man Ausdr\u00fccke aus zwei elementaren Ausdr\u00fccken aufbaut. An sich ist das keine schwierige Aufgabe; jedoch kann der umgekehrte Prozess \u2013 also zu zeigen, ob ein gegebener Ausdruck tats\u00e4chlich ein g\u00fcltiger Ausdruck ist oder nicht \u2013 eine etwas gr\u00f6\u00dfere Herausforderung darstellen.<\/p>\n<p style=\"text-align: justify;\"><span style=\"\">Bestimme mithilfe der Syntaxregeln, ob die folgenden Ketten Ausdr\u00fccke von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span> sind:<br \/>\n<\/span><\/p>\n<ol>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">{}012100<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">101100<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">{}0100010000<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0101000011<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">{}01010000010000<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01010010000100101000011<\/span><\/span><\/p>\n<\/li>\n<\/ol>\n<p style=\"text-align: justify;\"><span style=\"color: #0000aa;\"><strong>L\u00f6sung:<\/strong><\/span><br \/>\nBevor du dir die L\u00f6sung ansiehst, empfehle ich dir, es zuerst selbst zu versuchen und anschlie\u00dfend deine Ergebnisse zu vergleichen. Wenn du das bereits getan hast, dann los geht\u2019s \ud83d\udc4d<\/p>\n<ol>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span><span class=\"katex-eq\" data-katex-display=\"false\">2<\/span><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">100<\/span><\/span>.<\/p>\n<p style=\"text-align: justify;\">Wie man sieht, enth\u00e4lt diese Kette das Symbol <span class=\"katex-eq\" data-katex-display=\"false\">2<\/span>, das nicht zu <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{L}_2<\/span><\/span> geh\u00f6rt; daher kann diese Kette nicht in <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> enthalten sein und ist somit kein Ausdruck von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>.<\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">10<\/span><\/span><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">1100<\/span><\/span>.<\/p>\n<p style=\"text-align: justify;\">Hier sieht man, dass diese Kette mit <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">10<\/span><\/span> beginnt. Aus den Syntaxregeln k\u00f6nnen wir ableiten, dass alle Ketten mit einer L\u00e4nge gr\u00f6\u00dfer als 2 notwendigerweise mit <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span> beginnen m\u00fcssen. Daher kann sie kein Ausdruck von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span> sein.<\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0100010000<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Diese Kette beginnt mit <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span>, was den ersten Test besteht. Daraus folgt, dass, um ein Ausdruck von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{L}_2<\/span><\/span> zu sein, der in Blau markierte Teil eindeutig in zwei Ausdr\u00fccke zerlegt werden muss.<span><\/span><\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00010000<\/span><\/span><\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"\">Falls die Zerlegung trotz Einhaltung der Syntaxregeln nicht eindeutig ist, dann ist die definierte Syntax mehrdeutig und m\u00fcsste entsprechend korrigiert werden.<br \/>\n<\/span><\/p>\n<p style=\"text-align: justify;\">Bei der Analyse des blauen Teils ergeben sich folgende m\u00f6gliche Zerlegungen:<\/p>\n<table>\n<tbody>\n<tr>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0010000<\/span><\/span><\/span><\/td>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">010000<\/span><\/span><\/span><\/td>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">000<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">10000<\/span><\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0001<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0000<\/span><\/span><\/span><\/td>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00010<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">000<\/span><\/span><\/span><\/td>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">000100<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00<\/span><\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0001000<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0<\/span><\/span><\/span><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">An dieser Stelle m\u00fcssen wir beachten, dass wenn der goldene Teil nicht <span class=\"katex-eq\" data-katex-display=\"false\">0000<\/span> oder <span class=\"katex-eq\" data-katex-display=\"false\">1111<\/span> ist, dann muss der entsprechende blaue Teil mit <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span> beginnen, damit die gesamte Kette ein Ausdruck ist. Daraus ergeben sich folgende Ausschl\u00fcsse:<\/p>\n<table>\n<tbody>\n<tr>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">{}0010000<\/span><\/span><\/span>\u274c<\/td>\n<td><span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">00<\/span><\/span><span style=\"color: #007ACC ;\" dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">010000<\/span><\/span>\u2705<\/td>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">000<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">{}10000<\/span><\/span><\/span>\u274c<\/td>\n<\/tr>\n<tr>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0001<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0000<\/span><\/span><\/span>\u274c<\/td>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00010<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">000<\/span><\/span><\/span>\u274c<\/td>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">000100<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00<\/span><\/span><\/span>\u274c<\/td>\n<\/tr>\n<tr>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0001000<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0<\/span><\/span><\/span>\u274c<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">Deshalb ist die einzige Zerlegung, die dieser Analyse standh\u00e4lt, <span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">00<\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">010000<\/span><\/span><\/span>, wobei der goldene Teil ein Ausdruck ist und der blaue Teil eindeutig und konsistent mit der Syntax zerlegt werden kann. Schlie\u00dflich l\u00e4sst sich die Kette <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0100010000<\/span><\/span> eindeutig und konsistent mit der Syntax zerlegen, n\u00e4mlich als <span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">00<\/span><\/span><span style=\"color: #007ACC ;\" dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">010000<\/span><\/span>, und ist somit ein Ausdruck der Sprache <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0101000011<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">F\u00fcr diese Kette k\u00f6nnen wir folgende Zerlegung vornehmen, farblich markiert:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">010000<\/span><\/span><\/span><span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">1111<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Nach den Syntaxregeln muss eine Kette mit einer L\u00e4nge gr\u00f6\u00dfer als 2 mit <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span> beginnen, und danach m\u00fcssen zwei Ausdr\u00fccke folgen, die ich in Blau und Gold markiert habe. Es ist leicht zu sehen, dass diese Zerlegung eindeutig ist, da jede Ver\u00e4nderung der L\u00e4nge des blauen oder goldenen Teils dazu f\u00fchrt, dass nicht beide gleichzeitig g\u00fcltige Ausdr\u00fccke sind.<\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01010000010000<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Wenn man von rechts nach links \u00fcberpr\u00fcft, findet man folgende Zerlegung:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\underbrace{01\\underbrace{01\\overbrace{00}\\overbrace{00}}_{{Ausdruck}}\\underbrace{01\\overbrace{00}\\overbrace{00}}_{{Ausdruck}}}_{{Ausdruck}}<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01010010000100101000011<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Ein aufmerksames Auge erkennt, dass diese Kette die L\u00e4nge 23 hat und dass es unm\u00f6glich ist, eine Kette ungerader L\u00e4nge durch die Syntaxregeln von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{L}_2<\/span><\/span> zu erzeugen, welche Ausdr\u00fccke durch Aneinanderreihung von Ketten gerader L\u00e4nge bildet. Alle Ketten in <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> haben gerade L\u00e4nge. Daher ist <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01010010000100101000011<\/span><\/span> kein Ausdruck von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>.<\/p>\n<\/li>\n<\/ol>\n<p>Ende der \u00dcbung <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\blacksquare<\/span><\/span><\/p>\n<figure id=\"attachment_25115\" aria-describedby=\"caption-attachment-25115\" style=\"width: 600px\" class=\"wp-caption aligncenter\"><img decoding=\"async\" src=\"data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\" data-src=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/simbolos.jpg\" alt=\"eine Tafel mit vielen dekodierten Symbolen\" width=\"1081\" height=\"399\" class=\"size-full wp-image-25115 lazyload\" \/><figcaption id=\"caption-attachment-25115\" class=\"wp-caption-text\"><noscript><img decoding=\"async\" src=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/simbolos.jpg\" alt=\"eine Tafel mit vielen dekodierten Symbolen\" width=\"1081\" height=\"399\" class=\"size-full wp-image-25115 lazyload\" srcset=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/simbolos.jpg 1081w, http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/simbolos-300x111.jpg 300w, http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/simbolos-1024x378.jpg 1024w, http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/simbolos-768x283.jpg 768w\" sizes=\"(max-width: 1081px) 100vw, 1081px\" \/><\/noscript><\/figcaption><\/figure>\n<p><a name=\"6\"><\/a><\/p>\n<h2>Konventionen der Notation<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=WwBKcSXIznA&amp;t=918s\" target=\"_blank\" rel=\"noopener\"><strong>Mit Nullen und Einsen zu arbeiten, kann f\u00fcr unsere Wahrnehmung verwirrend sein<\/strong><\/a> und dazu f\u00fchren, dass wir Fehler machen. Um den Prozess benutzerfreundlicher zu gestalten \u2013 in einer Weise, die besser zu unserer menschlichen Interpretation passt \u2013 k\u00f6nnen wir Notationskonventionen und einige Metasymbole verwenden.<\/p>\n<p><a name=\"7\"><\/a><\/p>\n<h3>Metavariablen und der Verkn\u00fcpfer <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow<\/span><\/span><\/h3>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=WwBKcSXIznA&amp;t=950s\" target=\"_blank\" rel=\"noopener\"><strong>Ein Metasymbol ist ein Symbol, das verwendet wird, um Symbolketten einer Zielsprache darzustellen.<\/strong><\/a> Zum Beispiel, als die Syntax <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{L}_2<\/span><\/span> definiert wurde, wurden die Symbole <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> und <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> verwendet, um Ausdr\u00fccke von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span> darzustellen. Diese Symbole werden <strong>Metavariablen von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span><\/strong> genannt: Metasymbole, die \u2013 wenn sie alle durch Ausdr\u00fccke der Sprache ersetzt werden \u2013 gem\u00e4\u00df der zweiten Regel \u00fcber die Elemente von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> einen neuen Ausdruck der Sprache erzeugen:<\/p>\n<p style=\"text-align: center;\">Wenn <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha,\\beta \\in \\mathcal{SL}_2<\/span><\/span>, dann gilt <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01\\alpha\\beta \\in\\mathcal{SL}_2<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Aus diesem Grund sagt man, dass diese Metavariablen <strong>Metaausdr\u00fccke von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span><\/strong> sind.<\/p>\n<p style=\"text-align: justify;\">Um unsere Schreibweise im Folgenden zu vereinfachen, verwenden wir das Metasymbol <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow<\/span><\/span> als Darstellung f\u00fcr die Kette <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span>. Dieses Metasymbol nennen wir einen <strong>Verkn\u00fcpfer<\/strong>, und es ist bekannt als <strong>konjunktive Negation<\/strong> aus semantischen Gr\u00fcnden.<\/p>\n<p style=\"text-align: justify;\">Damit k\u00f6nnen wir die Syntax <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> metasprachlich mit den folgenden rekursiven Regeln ausdr\u00fccken:<\/p>\n<ol>\n<li>\n<p style=\"text-align: justify;\">Alle Metavariablen von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span> sind Metaausdr\u00fccke von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\">Wenn <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> und <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> Metavariablen von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span> sind, dann ist <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\beta<\/span><\/span> ein Metaausdruck von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span><\/p>\n<\/li>\n<\/ol>\n<p style=\"text-align: justify;\">Mit diesen Regeln k\u00f6nnen wir Metaausdr\u00fccke schreiben, die \u2013 wenn alle ihre Metavariablen durch Ausdr\u00fccke und <strong>Verkn\u00fcpfer<\/strong> in ihrer Darstellung mit Nullen und Einsen ersetzt werden \u2013 zu einem Ausdruck von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span> f\u00fchren. Jeder solche Metaausdruck verweist auf eine unendliche Familie von Ausdr\u00fccken aus <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>: die Menge aller Ausdr\u00fccke von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>, die mit dieser Struktur dargestellt werden k\u00f6nnen. Genau das bedeutet es, eine formale Sprache zu haben.<\/p>\n<p><a name=\"8\"><\/a><\/p>\n<h4>Beispiele f\u00fcr die Verwendung der konjunktiven Negation<\/h4>\n<p style=\"text-align: justify;\"><strong>Beispiel:<\/strong> <span style=\"\"> Ausgehend vom Metaausdruck <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\downarrow\\beta\\gamma<\/span><\/span> k\u00f6nnen durch Ersetzungen folgende Ausdr\u00fccke gewonnen werden:<br \/>\n<\/span><\/p>\n<ol>\n<li>\n<p style=\"text-align: justify;\">Ersetze <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha := 00<\/span><\/span>, <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta := 011100<\/span><\/span> und <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\gamma := 010011<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Man erh\u00e4lt den Ausdruck:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">010001011100010011<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\">Wenn wir <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha := 011100<\/span><\/span>, <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta := 0111011100<\/span><\/span> und <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\gamma := 0111010011<\/span><\/span> einsetzen<\/p>\n<p style=\"text-align: justify;\">Dann entsteht:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">010111000101110111000111010011<\/span><\/span><\/p>\n<\/li>\n<\/ol>\n<p style=\"text-align: justify;\">Der Metaausdruck <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\downarrow\\beta\\gamma<\/span><\/span> ist nicht nur leichter zu erfassen als jeder einzelne Ausdruck, der seiner Form entspricht, sondern er repr\u00e4sentiert auch alle Ausdr\u00fccke, die daraus hervorgehen, wenn man die Metavariablen durch Ausdr\u00fccke ersetzt.<\/p>\n<p>Ende des Beispiels <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\blacksquare<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Wenn eine Metavariable ersetzt wird, dann wird sie an allen Stellen ersetzt, an denen sie auftritt.<\/p>\n<p style=\"text-align: justify;\"><strong>Beispiel:<\/strong> <span style=\"\"> Wir betrachten den Metaausdruck <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\downarrow\\alpha\\beta\\downarrow\\alpha\\gamma<\/span><\/span><br \/>\n<\/span><\/p>\n<ol>\n<li>Wenn wir <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha:=11<\/span><\/span> ersetzen, erhalten wir:\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\downarrow 11\\beta\\downarrow 11\\gamma<\/span><\/span><\/p>\n<\/li>\n<li>Wenn wir nun <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta:=011100<\/span><\/span> einsetzen, ergibt sich:\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\downarrow 11011100\\downarrow 11\\gamma<\/span><\/span><\/p>\n<\/li>\n<li>Und wenn wir schlie\u00dflich <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\gamma:=011111<\/span><\/span> einsetzen, ergibt sich:\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\downarrow 11011100\\downarrow 11011111<\/span><\/span><\/p>\n<\/li>\n<li>Wenn wir abschlie\u00dfend <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow:=01<\/span><\/span> ersetzen, erhalten wir diesen Ausdruck:\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0101110111000111011111<\/span><\/span><\/p>\n<\/li>\n<\/ol>\n<p>Ende des Beispiels <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\blacksquare<\/span><\/span><\/p>\n<p><a name=\"9\"><\/a><\/p>\n<h3>Umordnung und Klammern<\/h3>\n<p style=\"text-align: justify;\">Es ist nicht besonders schwierig zu \u00fcberpr\u00fcfen, dass dies ein Metaausdruck ist, aber es erfordert st\u00e4ndige Aufmerksamkeit hinsichtlich der Anzahl der Metasymbole und der Reichweite des Verkn\u00fcpfers <span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow<\/span>. Diese Schwierigkeit w\u00e4chst rasch mit zunehmender L\u00e4nge des Metaausdrucks. Daher ist es berechtigt zu fragen, ob es eine M\u00f6glichkeit gibt, solche Ausdr\u00fccke in einer leichter \u00fcberpr\u00fcfbaren Weise darzustellen \u2013 und die Antwort ist ja; tats\u00e4chlich k\u00f6nnen wir Klammern und eine geeignete Umordnung verwenden, die sich besser an unsere nat\u00fcrliche Art des Gruppierens anpasst. Um diesen Punkt zu verdeutlichen, betrachten wir den folgenden Metaausdruck:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\downarrow\\downarrow\\alpha\\beta\\alpha<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Obwohl es nicht besonders schwierig ist, zu best\u00e4tigen, dass dies ein Metaausdruck ist, kann man dies kaum tun, ohne gezwungen zu sein, die Symbole zu z\u00e4hlen \u2013 mit dem Risiko, dabei den \u00dcberblick zu verlieren. Und dieses Risiko nimmt mit zunehmender L\u00e4nge des Ausdrucks rasch zu. Gibt es eine M\u00f6glichkeit, denselben Inhalt in einer leserfreundlicheren Form darzustellen? Tats\u00e4chlich existiert ein solches Verfahren, das sich nach unserer nat\u00fcrlichen Gruppierungsweise richtet. Daf\u00fcr f\u00fchren wir Klammern und Umordnungen gem\u00e4\u00df der folgenden Notationskonvention ein:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\beta:=(\\alpha\\downarrow\\beta)<\/span><\/span><\/p>\n<p style=\"text-align: justify;\"><strong>Beispiel:<\/strong> Betrachten wir den Metaausdruck <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\downarrow\\downarrow\\beta\\gamma\\delta<\/span><\/span>. Wenn wir die Klammersetzung und Umordnung anwenden, ergibt sich folgende Umwandlung:<\/p>\n<table>\n<tbody>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\downarrow<\/span><\/span><span style=\"color: #FF4500;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\beta\\gamma<\/span><\/span><\/span><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\delta<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\downarrow<\/span><\/span><span style=\"color: #FF4500;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\beta\\downarrow \\gamma)<\/span><\/span><\/span><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\delta<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha<\/span><\/span><span style=\"color: #FF4500;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow(\\beta\\downarrow \\gamma)\\delta<\/span><\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha<\/span><\/span><span style=\"color: #FF4500;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">((\\beta\\downarrow \\gamma)\\downarrow\\delta)<\/span><\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span style=\"color: #FF4500;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha((\\beta\\downarrow \\gamma)\\downarrow\\delta)<\/span><\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span style=\"color: #FF4500;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\downarrow((\\beta\\downarrow \\gamma)\\downarrow\\delta))<\/span><\/span><\/span> \u2705<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">Dieser letzte Metaausdruck ist viel leichter zu lesen und zu \u00fcberpr\u00fcfen als der urspr\u00fcngliche, da jeder Klammerblock ein Metaausdruck ist, der aus leicht unterscheidbaren Elementen besteht: einer konjunktiven Negation in der Mitte und jeweils einem Metaausdruck auf beiden Seiten.<\/p>\n<p>Ende des Beispiels <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\blacksquare<\/span><\/span><\/p>\n<p><a name=\"10\"><\/a><\/p>\n<h3>Abgeleitete Verkn\u00fcpfer<\/h3>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=WwBKcSXIznA&amp;t=1478s\" target=\"_blank\" rel=\"noopener\"><strong>Sowohl in der Logik als auch im \u00fcbrigen Teil der Mathematik<\/strong><\/a> gibt es bestimmte Kombinationen von Verkn\u00fcpfern, die h\u00e4ufig verwendet werden. Um das Schreiben (f\u00fcr Menschen) noch angenehmer zu gestalten, werden abgeleitete Verkn\u00fcpfer mithilfe der folgenden Notationskonventionen eingef\u00fchrt:<\/p>\n<table>\n<tbody>\n<tr>\n<td><strong>Negation:<\/strong><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg \\alpha<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha\\downarrow\\alpha)<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><strong>Inklusive Disjunktion:<\/strong><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\vee \\beta)<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(\\alpha\\downarrow\\beta)<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><strong>Konjunktion:<\/strong><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\wedge \\beta)<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(\\neg\\alpha\\vee \\neg\\beta)<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><strong>Implikation:<\/strong><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\rightarrow \\beta)<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\neg\\alpha\\vee \\beta)<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><strong>Bikonditional (Doppelte Implikation):<\/strong><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\leftrightarrow \\beta)<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">((\\alpha\\rightarrow \\beta)\\wedge(\\beta \\rightarrow \\alpha))<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><strong>Exklusive Disjunktion:<\/strong><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\veebar \\beta)<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(\\alpha\\leftrightarrow \\beta)<\/span><\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">Diese Metasprache, die wir auf der <strong>Basissprache mit zwei Symbolen<\/strong> aufgebaut haben, ist das, was man als <strong>Nullter-Ordnungssprache der Aussagenlogik<\/strong> bezeichnet. Mit dieser Sprache werden alle Ausdr\u00fccke der Aussagenlogik pr\u00e4zise und eindeutig dargestellt.<\/p>\n<p><a name=\"11\"><\/a><\/p>\n<h2>Vokalisierung der Ausdr\u00fccke der Aussagenlogik<\/h2>\n<p style=\"text-align: justify;\">Auch wenn es nicht notwendig ist, um Logik zu betreiben, ist es wichtig zu bedenken, dass unsere Kommunikation sich nicht nur auf geschriebene Symbole st\u00fctzt \u2013 wir haben auch eine nat\u00fcrliche Tendenz, Dinge in unserer Alltagssprache zu artikulieren. Daher existieren f\u00fcr die Ausdr\u00fccke der Aussagenlogik gesprochene Formen (Vokalisierungen), die \u00e4hnliche Bedeutungen vermitteln wie ihre formalen Gegenst\u00fccke in der Logik. Diese Vokalisierungen sind folgende:<\/p>\n<table>\n<tbody>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\downarrow \\beta)<\/span><\/span> <\/td>\n<td>Weder <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> noch <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg \\alpha<\/span><\/span> <\/td>\n<td>Negation von <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\vee \\beta)<\/span><\/span> <\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> oder <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\wedge \\beta)<\/span><\/span> <\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> und <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\rightarrow \\beta)<\/span><\/span> <\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> impliziert <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\leftrightarrow \\beta)<\/span><\/span> <\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> genau dann, wenn <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\veebar \\beta)<\/span><\/span> <\/td>\n<td>entweder <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> oder <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span>, aber nicht beide<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><a name=\"12\"><\/a><\/p>\n<h2>Zusammenfassung und \u00dcberlegungen zur Sprache der Aussagenlogik<\/h2>\n<p style=\"text-align: justify;\">Mit diesem letzten Abschnitt ist die Konstruktion der Sprache der Aussagenlogik abgeschlossen, die wir als eine Metasprache zusammenfassen k\u00f6nnen, die es erlaubt, g\u00fcltige Ausdr\u00fccke in der Basissprache mit zwei Symbolen zu erzeugen. Die Sprache der Aussagenlogik ist eine formale Sprache, da sie die Struktur (oder Form) der Ausdr\u00fccke in der Basissprache definiert, und jeder ihrer Ausdr\u00fccke bestimmt die Form einer unendlichen Familie von Ausdr\u00fccken in der Basissprache. Wie bereits erw\u00e4hnt, ist die Syntax einer formalen Sprache \u00e4u\u00dferst streng, aber daf\u00fcr ist sie pr\u00e4zise und exakt: Sie ist eindeutig.<\/p>\n<p><a name=\"13\"><\/a><\/p>\n<h3>Die Matrix hinter der Matrix hinter dem Verst\u00e4ndnis aller Dinge<\/h3>\n<p style=\"text-align: justify;\"><span style=\"\">Noch ein letzter Gedanke. Die Aussagenlogik \u2013 und darauf aufbauend die Mathematik \u2013 basiert stark auf der Aussagenlogik, die wiederum auf einer Basissprache aus Einsen und Nullen konstruiert ist. Bedeutet das, dass wir damit die \u00abMatrix\u00bb hinter der Logik und Mathematik erreicht haben? M\u00f6glicherweise. Aber man kann auch dar\u00fcber nachdenken, ob es eine Basissprache f\u00fcr die Basissprache gibt \u2013 eine Sprache, aus der sich alles andere rekonstruieren lie\u00dfe. Um eine solche Sprache zu finden, m\u00fcssten wir jedoch noch grundlegendere Konzepte als Ordnung und Anzahl entdecken \u2013 jene, die verwendet wurden, um die erste Basissprache zu definieren. Eine Basissprache der Basis zu finden bedeutet, \u00fcber die grundlegendsten Aspekte dessen zu reflektieren, was es hei\u00dft, \u00abdie Dinge zu verstehen\u00bb. Wenn du tiefer gehst, wenn du es schaffst, bis zum Kern vorzudringen, k\u00f6nnte man sagen, du hast \u00abdie Matrix hinter der Matrix hinter dem Verst\u00e4ndnis aller Dinge\u00bb gesehen \u2013 und vielleicht ist dieser Fundamentierungsprozess unendlich fortsetzbar, wobei jede neue Schicht eine tiefere Erkenntnis erm\u00f6glicht.<br \/>\n<\/span><\/p>\n<p><a name=\"12\"><\/a><\/p>\n<h2>Zusammenfassung und \u00dcberlegungen zur Sprache der Aussagenlogik<\/h2>\n<p style=\"text-align: justify;\">Mit diesem letzten Abschnitt endet der Aufbau der Sprache der Aussagenlogik, die wir als eine Metasprache zusammenfassen k\u00f6nnen, mit der sich g\u00fcltige Ausdr\u00fccke in der Basissprache mit zwei Symbolen erzeugen lassen. Die Sprache der Aussagenlogik ist eine formale Sprache, da sie die Struktur (oder Form) der Ausdr\u00fccke in der Basissprache definiert, und jeder ihrer Ausdr\u00fccke bestimmt die Form einer unendlichen Familie von Ausdr\u00fccken in der Basissprache. Wie bereits erw\u00e4hnt, ist die Syntax einer formalen Sprache \u00e4u\u00dferst streng \u2013 aber daf\u00fcr pr\u00e4zise und exakt: Sie ist frei von Mehrdeutigkeit.<\/p>\n<p><a name=\"13\"><\/a><\/p>\n<h3>Die Matrix hinter der Matrix hinter dem Verst\u00e4ndnis aller Dinge<\/h3>\n<p style=\"text-align: justify;\"><span style=\"\">Noch ein letzter Gedanke. Die Aussagenlogik \u2013 und darauf basierend die Mathematik \u2013 gr\u00fcndet sich stark auf die Aussagenlogik selbst, die wiederum aus einer Basissprache aus Einsen und Nullen aufgebaut ist. Bedeutet das, dass wir hiermit die \u201eMatrix\u201c hinter Logik und Mathematik erreicht haben? Vielleicht. Aber man kann auch dar\u00fcber nachdenken, ob es eine Basissprache f\u00fcr die Basissprache gibt \u2013 eine Sprache, aus der sich alles andere rekonstruieren lie\u00dfe. Um eine solche Sprache zu finden, m\u00fcssten jedoch Konzepte entdeckt werden, die noch grundlegender sind als Ordnung und Anzahl \u2013 jene, die zur Definition der ersten Basissprache verwendet wurden. Eine Basissprache der Basis zu finden bedeutet, \u00fcber die grundlegendsten Aspekte dessen zu reflektieren, was es hei\u00dft, \u201edie Dinge zu verstehen\u201c. Wenn du tiefer gehst und es schaffst, bis zum Kern vorzudringen, k\u00f6nnte man sagen, du hast \u201edie Matrix hinter der Matrix hinter dem Verst\u00e4ndnis aller Dinge\u201c gesehen. Und vielleicht l\u00e4sst sich dieser Fundamentierungsprozess unendlich fortsetzen \u2013 mit jeder Stufe eine neue Schicht an Tiefe und Erkenntnis erschlie\u00dfend.<br \/>\n<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Die Sprache der Aussagenlogik Zusammenfassung In diesem Skript wird die Sprache der Aussagenlogik als Metasprache untersucht, die verwendet wird, um g\u00fcltige Ausdr\u00fccke der Basissprache zu erzeugen, die aus zwei Symbolen besteht. Es werden die Syntaxregeln, die Konzepte der aussagenlogischen Variablen und des Verkn\u00fcpfers erkl\u00e4rt, sowie die gemeinsame Negation, die Verwendung von Klammern und die Umordnung [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":25112,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":1,"footnotes":""},"categories":[1360,1302,1354],"tags":[],"class_list":["post-33287","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 v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Die Sprache der Aussagenlogik - toposuranos.com\/material<\/title>\n<meta name=\"description\" content=\"Detaillierte Erkundung der Sprache der Aussagenlogik, einschlie\u00dflich der Konzepte von Metasprache, Syntax, aussagenlogischen Variablen und Verkn\u00fcpfern.\" \/>\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\/die-sprache-der-aussagenlogik\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Die Sprache der Aussagenlogik\" \/>\n<meta property=\"og:description\" content=\"Detaillierte Erkundung der Sprache der Aussagenlogik, einschlie\u00dflich der Konzepte von Metasprache, Syntax, aussagenlogischen Variablen und Verkn\u00fcpfern.\" \/>\n<meta property=\"og:url\" content=\"http:\/\/toposuranos.com\/material\/de\/die-sprache-der-aussagenlogik\/\" \/>\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-01-18T00:00:55+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-06-04T18:50:54+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional-1024x378.jpg\" \/>\n<meta name=\"author\" content=\"giorgio.reveco\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"Die Sprache der Aussagenlogik\" \/>\n<meta name=\"twitter:description\" content=\"Detaillierte Erkundung der Sprache der Aussagenlogik, einschlie\u00dflich der Konzepte von Metasprache, Syntax, aussagenlogischen Variablen und Verkn\u00fcpfern.\" \/>\n<meta name=\"twitter:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional.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\\\/die-sprache-der-aussagenlogik\\\/#article\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/die-sprache-der-aussagenlogik\\\/\"},\"author\":{\"name\":\"giorgio.reveco\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\"},\"headline\":\"Die Sprache der Aussagenlogik\",\"datePublished\":\"2021-01-18T00:00:55+00:00\",\"dateModified\":\"2025-06-04T18:50:54+00:00\",\"mainEntityOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/die-sprache-der-aussagenlogik\\\/\"},\"wordCount\":3731,\"commentCount\":0,\"publisher\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/die-sprache-der-aussagenlogik\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/11\\\/lenguajedelalogicaproposicional.jpg\",\"articleSection\":[\"Aussagenlogik\",\"Mathematik\",\"Mathematische Logik\"],\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/die-sprache-der-aussagenlogik\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/die-sprache-der-aussagenlogik\\\/\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/die-sprache-der-aussagenlogik\\\/\",\"name\":\"Die Sprache der Aussagenlogik - toposuranos.com\\\/material\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/die-sprache-der-aussagenlogik\\\/#primaryimage\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/die-sprache-der-aussagenlogik\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/11\\\/lenguajedelalogicaproposicional.jpg\",\"datePublished\":\"2021-01-18T00:00:55+00:00\",\"dateModified\":\"2025-06-04T18:50:54+00:00\",\"description\":\"Detaillierte Erkundung der Sprache der Aussagenlogik, einschlie\u00dflich der Konzepte von Metasprache, Syntax, aussagenlogischen Variablen und Verkn\u00fcpfern.\",\"breadcrumb\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/die-sprache-der-aussagenlogik\\\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/die-sprache-der-aussagenlogik\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/die-sprache-der-aussagenlogik\\\/#primaryimage\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/11\\\/lenguajedelalogicaproposicional.jpg\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/11\\\/lenguajedelalogicaproposicional.jpg\",\"width\":1081,\"height\":399,\"caption\":\"toposuranos.com\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/die-sprache-der-aussagenlogik\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/cursos-de-matematica-y-fisica\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Die Sprache der Aussagenlogik\"}]},{\"@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\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"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":"Die Sprache der Aussagenlogik - toposuranos.com\/material","description":"Detaillierte Erkundung der Sprache der Aussagenlogik, einschlie\u00dflich der Konzepte von Metasprache, Syntax, aussagenlogischen Variablen und Verkn\u00fcpfern.","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\/die-sprache-der-aussagenlogik\/","og_locale":"es_ES","og_type":"article","og_title":"Die Sprache der Aussagenlogik","og_description":"Detaillierte Erkundung der Sprache der Aussagenlogik, einschlie\u00dflich der Konzepte von Metasprache, Syntax, aussagenlogischen Variablen und Verkn\u00fcpfern.","og_url":"http:\/\/toposuranos.com\/material\/de\/die-sprache-der-aussagenlogik\/","og_site_name":"toposuranos.com\/material","article_publisher":"https:\/\/www.facebook.com\/groups\/toposuranos","article_published_time":"2021-01-18T00:00:55+00:00","article_modified_time":"2025-06-04T18:50:54+00:00","og_image":[{"url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional-1024x378.jpg","type":"","width":"","height":""}],"author":"giorgio.reveco","twitter_card":"summary_large_image","twitter_title":"Die Sprache der Aussagenlogik","twitter_description":"Detaillierte Erkundung der Sprache der Aussagenlogik, einschlie\u00dflich der Konzepte von Metasprache, Syntax, aussagenlogischen Variablen und Verkn\u00fcpfern.","twitter_image":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional.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\/die-sprache-der-aussagenlogik\/#article","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/de\/die-sprache-der-aussagenlogik\/"},"author":{"name":"giorgio.reveco","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1"},"headline":"Die Sprache der Aussagenlogik","datePublished":"2021-01-18T00:00:55+00:00","dateModified":"2025-06-04T18:50:54+00:00","mainEntityOfPage":{"@id":"http:\/\/toposuranos.com\/material\/de\/die-sprache-der-aussagenlogik\/"},"wordCount":3731,"commentCount":0,"publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"image":{"@id":"http:\/\/toposuranos.com\/material\/de\/die-sprache-der-aussagenlogik\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional.jpg","articleSection":["Aussagenlogik","Mathematik","Mathematische Logik"],"inLanguage":"es","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["http:\/\/toposuranos.com\/material\/de\/die-sprache-der-aussagenlogik\/#respond"]}]},{"@type":"WebPage","@id":"http:\/\/toposuranos.com\/material\/de\/die-sprache-der-aussagenlogik\/","url":"http:\/\/toposuranos.com\/material\/de\/die-sprache-der-aussagenlogik\/","name":"Die Sprache der Aussagenlogik - toposuranos.com\/material","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/#website"},"primaryImageOfPage":{"@id":"http:\/\/toposuranos.com\/material\/de\/die-sprache-der-aussagenlogik\/#primaryimage"},"image":{"@id":"http:\/\/toposuranos.com\/material\/de\/die-sprache-der-aussagenlogik\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional.jpg","datePublished":"2021-01-18T00:00:55+00:00","dateModified":"2025-06-04T18:50:54+00:00","description":"Detaillierte Erkundung der Sprache der Aussagenlogik, einschlie\u00dflich der Konzepte von Metasprache, Syntax, aussagenlogischen Variablen und Verkn\u00fcpfern.","breadcrumb":{"@id":"http:\/\/toposuranos.com\/material\/de\/die-sprache-der-aussagenlogik\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["http:\/\/toposuranos.com\/material\/de\/die-sprache-der-aussagenlogik\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/de\/die-sprache-der-aussagenlogik\/#primaryimage","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional.jpg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional.jpg","width":1081,"height":399,"caption":"toposuranos.com"},{"@type":"BreadcrumbList","@id":"http:\/\/toposuranos.com\/material\/de\/die-sprache-der-aussagenlogik\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"http:\/\/toposuranos.com\/material\/es\/cursos-de-matematica-y-fisica\/"},{"@type":"ListItem","position":2,"name":"Die Sprache der Aussagenlogik"}]},{"@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\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","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\/33287","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=33287"}],"version-history":[{"count":0,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/33287\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media\/25112"}],"wp:attachment":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media?parent=33287"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/categories?post=33287"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/tags?post=33287"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}