{"id":33833,"date":"2021-01-28T13:00:53","date_gmt":"2021-01-28T13:00:53","guid":{"rendered":"https:\/\/toposuranos.com\/material\/?p=33833"},"modified":"2025-07-31T07:39:31","modified_gmt":"2025-07-31T07:39:31","slug":"5-symmetrien-der-aussagenlogik","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/de\/5-symmetrien-der-aussagenlogik\/","title":{"rendered":"5 Symmetrien der Aussagenlogik"},"content":{"rendered":"<div style=\"background-color:#F3F3F3; padding:20px;\">\n<center><\/p>\n<h1>5 Symmetrien der Aussagenlogik<\/h1>\n<p><\/center><\/p>\n<p style=\"text-align:center;\"><em><strong>Zusammenfassung:<\/strong><br \/>In diesem Kurs untersuchen wir, wie die doppelte Negation, der hypothetische Syllogismus, das Kontrapositiv der Implikation, die Deduktionstheoreme und die Definitionen der Junktoren zusammenwirken, um die Symmetrien der Aussagenlogik zu bilden. Mit klaren und einfachen Beweisen lernst du, die \u00c4quivalenzen zu beherrschen und sie auf eigene logische Herausforderungen anzuwenden.<\/p>\n<p>Die im Kurs behandelten Symmetrien umfassen: <span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow<\/span>-Symmetrie, <span class=\"katex-eq\" data-katex-display=\"false\">\\vee<\/span>-Symmetrie, <span class=\"katex-eq\" data-katex-display=\"false\">\\wedge<\/span>-Symmetrie, <span class=\"katex-eq\" data-katex-display=\"false\">\\leftrightarrow<\/span>-Symmetrie und <span class=\"katex-eq\" data-katex-display=\"false\">\\veebar<\/span>-Symmetrie. Dar\u00fcber hinaus werden die Wechselwirkungen zwischen den Beweisen hervorgehoben und wie jeder auf dem vorhergehenden aufbaut, um zuk\u00fcnftige Ableitungen zu vereinfachen. Dieser Kurs vermittelt dir nicht nur ein tiefes Verst\u00e4ndnis der Aussagenlogik, sondern lehrt dich auch, fr\u00fchere Beweise zur Optimierung deines Lernprozesses zu nutzen.<br \/>\n<\/em><\/p>\n<p style=\"text-align:center;\"><strong><u>Lernziele<\/u>:<\/strong><br \/>Am Ende dieses Kurses wird der Studierende in der Lage sein:<\/p>\n<ol>\n<li><strong>Grundbegriffe<\/strong> der Aussagenlogik wie den hypothetischen Syllogismus und die doppelte Negation zu erinnern.<\/li>\n<li><strong>Die 5 Symmetrien<\/strong> der Aussagenlogik zu erkennen.<\/li>\n<li><strong>Den Beweisprozess<\/strong> der Symmetrie\u00e4quivalenzen zu verstehen.<\/li>\n<li><strong>Voraussetzung, Deduktionstheorem und dessen Umkehrung<\/strong> in Beweisen anzuwenden.<\/li>\n<li><strong>Die Definitionen<\/strong> logischer Junktoren mit den Symmetrien in Beziehung zu setzen.<\/li>\n<li><strong>Die Bedeutung<\/strong> zu w\u00fcrdigen, Beweise nur einmal zu f\u00fchren und sie f\u00fcr zuk\u00fcnftige Beweise wiederzuverwenden.<\/li>\n<li><strong>Analytische und kritische F\u00e4higkeiten<\/strong> beim F\u00fchren logischer Beweise zu entwickeln.<\/li>\n<\/ol>\n<p style=\"text-align:center;\"><strong>INHALTSVERZEICHNIS<\/strong><br \/>\n<a href=\"#1\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vee<\/span> &#8211; SYMMETRIE<\/a><br \/>\n<a href=\"#2\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow<\/span> &#8211; SYMMETRIE<\/a><br \/>\n<a href=\"#3\"><span class=\"katex-eq\" data-katex-display=\"false\">\\wedge<\/span> &#8211; SYMMETRIE<\/a><br \/>\n<a href=\"#4\"><span class=\"katex-eq\" data-katex-display=\"false\">\\leftrightarrow<\/span> &#8211; SYMMETRIE<\/a><br \/>\n<a href=\"#5\"><span class=\"katex-eq\" data-katex-display=\"false\">\\veebar<\/span> &#8211; SYMMETRIE<\/a><br \/>\n<a href=\"#6\">ABSCHLIESSENDE BEMERKUNGEN<\/a>\n<\/p>\n<p><center><br \/>\n<iframe class=\"lazyload\" width=\"560\" height=\"315\" data-src=\"https:\/\/www.youtube.com\/embed\/XKY_nS5Mizk\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen=\"allowfullscreen\"><\/iframe><\/center>\n<\/div>\n<p style=\"text-align: justify;\">Eine direkte Folge des hypothetischen Syllogismus, der doppelten Negation und des Kontrapositivs der Implikation, der Deduktionstheoreme und der Definitionen der Junktoren sind die 5 Symmetrien der Aussagenlogik, die wir im Folgenden untersuchen werden.<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\downarrow \\beta) \\dashv\\vdash (\\beta\\downarrow \\alpha)<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow<\/span><\/span>-Symmetrie<\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\vee \\beta) \\dashv\\vdash (\\beta\\vee \\alpha)<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vee<\/span><\/span>-Symmetrie<\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\wedge \\beta) \\dashv\\vdash (\\beta\\wedge \\alpha)<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\wedge<\/span><\/span>-Symmetrie<\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\leftrightarrow \\beta) \\dashv\\vdash (\\beta\\leftrightarrow \\alpha)<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\leftrightarrow<\/span><\/span>-Symmetrie<\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\veebar \\beta) \\dashv\\vdash (\\beta\\veebar\\alpha)<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\veebar<\/span><\/span>-Symmetrie<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">Die Beweise dieser \u00c4quivalenzen sind nicht v\u00f6llig trivial, aber im Vergleich zu einigen Beweisen, die wir bereits gesehen haben, sind sie recht einfach. Im Folgenden wird der Beweis jeder \u00c4quivalenz in eine Richtung dargestellt; der Beweis in umgekehrter Richtung ist nahezu identisch und bleibt dem Leser als \u00dcbung \u00fcberlassen.<\/p>\n<p><a name=\"1\"><\/a><\/p>\n<h2><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vee<\/span><\/span>-Symmetrie<\/h2>\n<p><a href=\"https:\/\/www.youtube.com\/watch?v=XKY_nS5Mizk&#038;t=203s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">ansehen<\/span><\/strong><\/a><\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee \\beta)\\}\\vdash (\\alpha \\vee\\beta)<\/span><\/span><\/td>\n<td>; Voraussetzung<\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee \\beta)\\}\\vdash (\\neg \\alpha \\rightarrow \\beta)<\/span><\/span><\/td>\n<td>; da <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\vee \\beta) := (\\neg \\alpha \\rightarrow \\beta)<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee \\beta)\\}\\vdash (\\neg \\beta \\rightarrow \\alpha)<\/span><\/span><\/td>\n<td>; CPI(2)<\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\{(\\alpha \\vee \\beta)\\}\\vdash ( \\beta \\vee \\alpha)}<\/span><\/span><\/td>\n<td>; da <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">( \\beta \\vee \\alpha) := (\\neg\\beta\\rightarrow\\alpha)<\/span><\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">Das R\u00fcckw\u00e4rtsargument ergibt sich mit nur wenigen \u00c4nderungen, beginnend mit der Voraussetzung <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\beta\\vee\\alpha)\\}\\vdash (\\beta\\vee\\alpha)<\/span><\/span><\/p>\n<p><a name=\"2\"><\/a><\/p>\n<h2><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow<\/span><\/span>-Symmetrie<\/h2>\n<p><a href=\"https:\/\/www.youtube.com\/watch?v=XKY_nS5Mizk&#038;t=383s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">ansehen<\/span><\/strong><\/a><\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\neg(\\alpha \\downarrow \\beta)\\}\\vdash \\neg(\\alpha \\downarrow \\beta) <\/span><\/span><\/td>\n<td>; Voraussetzung<\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{\\neg(\\alpha \\downarrow \\beta)\\}\\vdash (\\alpha \\vee \\beta) <\/span><\/span><\/td>\n<td>; aus (1), da <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> (\\alpha\\vee\\beta) := \\neg(\\alpha \\downarrow \\beta)<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{\\neg(\\alpha \\downarrow \\beta)\\}\\vdash (\\beta \\vee \\alpha) <\/span><\/span><\/td>\n<td>; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vee<\/span><\/span>-Symmetrie<\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash (\\neg(\\alpha \\downarrow \\beta) \\rightarrow (\\beta \\vee \\alpha)) <\/span><\/span><\/td>\n<td>; TD(3)<\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash (\\neg(\\beta \\vee \\alpha) \\rightarrow (\\alpha \\downarrow \\beta)) <\/span><\/span><\/td>\n<td>; CPI(4)<\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash ((\\beta \\downarrow \\alpha) \\rightarrow (\\alpha \\downarrow \\beta)) <\/span><\/span><\/td>\n<td>; aus (5), da <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\beta\\vee\\alpha) := \\neg(\\beta \\downarrow \\alpha)<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\{(\\beta \\downarrow \\alpha) \\} \\vdash (\\alpha \\downarrow \\beta)}<\/span><\/span><\/td>\n<td>; RTD(6)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">Schlie\u00dflich erh\u00e4lt man durch R\u00fcckw\u00e4rtsschluss die Deduktion in umgekehrter Richtung, beginnend mit der Voraussetzung <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\neg(\\beta\\downarrow\\alpha)\\}\\vdash \\neg(\\beta\\downarrow\\alpha)<\/span><\/span><\/p>\n<p><a name=\"3\"><\/a><\/p>\n<h2><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\wedge<\/span><\/span>-Symmetrie<\/h2>\n<p><a href=\"https:\/\/www.youtube.com\/watch?v=XKY_nS5Mizk&#038;t=659s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">ansehen<\/span><\/strong><\/a><\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge \\beta)\\} \\vdash (\\alpha \\wedge \\beta)<\/span><\/span><\/td>\n<td>; Voraussetzung<\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge \\beta)\\} \\vdash (\\neg\\alpha \\downarrow \\neg\\beta)<\/span><\/span><\/td>\n<td>; aus (1), da <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\wedge \\beta) := (\\neg\\alpha \\downarrow \\neg\\beta)<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge \\beta)\\} \\vdash (\\neg\\beta \\downarrow \\neg\\alpha)<\/span><\/span><\/td>\n<td>; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow<\/span><\/span>-Symmetrie (2)<\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\{(\\alpha \\wedge \\beta)\\} \\vdash ( \\beta \\wedge \\alpha)}<\/span><\/span><\/td>\n<td>; aus (3), da <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\beta \\wedge \\alpha) := (\\neg\\beta \\downarrow \\neg\\alpha)<\/span><\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">Wie zuvor ergibt sich das R\u00fcckw\u00e4rtsschlie\u00dfen mit nur wenigen Variationen, beginnend mit der Voraussetzung <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{( \\beta \\wedge \\alpha)\\}\\vdash ( \\beta \\wedge \\alpha)<\/span><\/span><\/p>\n<p><a name=\"4\"><\/a><\/p>\n<h2><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\leftrightarrow<\/span><\/span>-Symmetrie<\/h2>\n<p><a href=\"https:\/\/www.youtube.com\/watch?v=XKY_nS5Mizk&#038;t=830s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">ansehen<\/span><\/strong><\/a><\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\leftrightarrow \\beta)\\} \\vdash (\\alpha \\leftrightarrow \\beta)<\/span><\/span><\/td>\n<td>; Voraussetzung<\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\leftrightarrow \\beta)\\} \\vdash ((\\alpha \\rightarrow \\beta) \\wedge (\\alpha \\rightarrow \\beta))<\/span><\/span><\/td>\n<td>; aus (1), da <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\leftrightarrow \\beta) := ((\\alpha \\rightarrow \\beta) \\wedge (\\beta \\rightarrow \\alpha)) <\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\leftrightarrow \\beta)\\} \\vdash ((\\beta \\rightarrow \\alpha) \\wedge (\\alpha \\rightarrow \\beta) )<\/span><\/span><\/td>\n<td>; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\wedge<\/span><\/span>-Symmetrie(2)<\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\{(\\alpha \\leftrightarrow \\beta)\\} \\vdash (\\beta \\leftrightarrow \\alpha)}<\/span><\/span><\/td>\n<td>; aus (3), da <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\beta \\leftrightarrow \\alpha) := ((\\beta \\rightarrow \\alpha) \\wedge (\\alpha \\rightarrow \\beta)) <\/span><\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">Wie beim vorherigen Fall, beginnend mit der Voraussetzung <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{( \\beta \\leftrightarrow \\alpha)\\}\\vdash ( \\beta\\leftrightarrow \\alpha)<\/span><\/span><\/p>\n<p><a name=\"5\"><\/a><\/p>\n<h2><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\veebar<\/span><\/span>-Symmetrie<\/h2>\n<p><a href=\"https:\/\/www.youtube.com\/watch?v=XKY_nS5Mizk&#038;t=982s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">ansehen<\/span><\/strong><\/a><\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\leftrightarrow \\beta)\\} \\vdash (\\alpha \\leftrightarrow \\beta) <\/span><\/span><\/td>\n<td>; Voraussetzung<\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\leftrightarrow \\beta)\\} \\vdash ( \\beta \\leftrightarrow \\alpha) <\/span><\/span><\/td>\n<td>; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\leftrightarrow<\/span><\/span>-Symmetrie(1)<\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash ((\\alpha \\leftrightarrow \\beta) \\rightarrow ( \\beta \\leftrightarrow \\alpha)) <\/span><\/span><\/td>\n<td>; TD(2)<\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash (\\neg ( \\beta \\leftrightarrow \\alpha) \\rightarrow \\neg (\\alpha \\leftrightarrow \\beta)) <\/span><\/span><\/td>\n<td>; CPI(3)<\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\neg ( \\beta \\leftrightarrow \\alpha)\\} \\vdash \\neg (\\alpha \\leftrightarrow \\beta) <\/span><\/span><\/td>\n<td>; RTD(4)<\/td>\n<\/tr>\n<tr>\n<td> [\/latex]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\{ ( \\beta \\veebar \\alpha)\\} \\vdash (\\alpha \\veebar \\beta)} <\/span><\/span><\/td>\n<td>; Aus (5), da <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">( \\beta \\veebar \\alpha) := \\neg(\\beta \\leftrightarrow \\alpha)<\/span><\/span> und <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\veebar \\beta) := \\neg (\\alpha \\leftrightarrow \\beta)<\/span><\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">Wie in allen anderen F\u00e4llen gen\u00fcgt es, die Voraussetzung in umgekehrter Richtung <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\beta \\leftrightarrow \\alpha)\\} \\vdash (\\beta \\leftrightarrow \\alpha)<\/span><\/span> zu pr\u00fcfen, um die Ableitung in dieser Richtung zu erhalten.<\/p>\n<p><a name=\"6\"><\/a><\/p>\n<h2>Abschlie\u00dfende Bemerkungen<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=XKY_nS5Mizk&#038;t=1145s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">Ein Aspekt, auf den der Leser besonders achten sollte<\/span><\/strong><\/a>, ist die Reihenfolge, in der diese 5 Symmetrien der Aussagenlogik bewiesen wurden. Es ist zu beachten, dass jeder Beweis so aufgebaut ist, dass er auf einem zuvor durchgef\u00fchrten Beweis aufbaut. Dies spiegelt den Ansatz wider, der bei der Durchf\u00fchrung von Beweisen verfolgt werden sollte: Jeder Beweis wird nur ein einziges Mal durchgef\u00fchrt (und nie wieder!); danach sollte dein Ziel darin bestehen, die vorherigen Beweise zu nutzen, um zuk\u00fcnftige Ableitungen zu vereinfachen.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>5 Symmetrien der Aussagenlogik Zusammenfassung:In diesem Kurs untersuchen wir, wie die doppelte Negation, der hypothetische Syllogismus, das Kontrapositiv der Implikation, die Deduktionstheoreme und die Definitionen der Junktoren zusammenwirken, um die Symmetrien der Aussagenlogik zu bilden. Mit klaren und einfachen Beweisen lernst du, die \u00c4quivalenzen zu beherrschen und sie auf eigene logische Herausforderungen anzuwenden. Die im [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":27410,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":2,"footnotes":""},"categories":[1360,1302,1354],"tags":[],"class_list":["post-33833","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>5 Symmetrien der Aussagenlogik - toposuranos.com\/material<\/title>\n<meta name=\"description\" content=\"Entdecke die 5 Symmetrien der Aussagenlogik mit klaren Beweisen: doppelte Negation, hypothetischer Syllogismus und mehr.\" \/>\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\/5-symmetrien-der-aussagenlogik\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"5 Symmetrien der Aussagenlogik\" \/>\n<meta property=\"og:description\" content=\"Entdecke die 5 Symmetrien der Aussagenlogik mit klaren Beweisen: doppelte Negation, hypothetischer Syllogismus und mehr.\" \/>\n<meta property=\"og:url\" content=\"http:\/\/toposuranos.com\/material\/de\/5-symmetrien-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-28T13:00:53+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-07-31T07:39:31+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/5simetrias.jpg\" \/>\n<meta name=\"author\" content=\"giorgio.reveco\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"5 Symmetrien der Aussagenlogik\" \/>\n<meta name=\"twitter:description\" content=\"Entdecke die 5 Symmetrien der Aussagenlogik mit klaren Beweisen: doppelte Negation, hypothetischer Syllogismus und mehr.\" \/>\n<meta name=\"twitter:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/5simetrias.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\\\/5-symmetrien-der-aussagenlogik\\\/#article\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/5-symmetrien-der-aussagenlogik\\\/\"},\"author\":{\"name\":\"giorgio.reveco\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\"},\"headline\":\"5 Symmetrien der Aussagenlogik\",\"datePublished\":\"2021-01-28T13:00:53+00:00\",\"dateModified\":\"2025-07-31T07:39:31+00:00\",\"mainEntityOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/5-symmetrien-der-aussagenlogik\\\/\"},\"wordCount\":1065,\"commentCount\":0,\"publisher\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/5-symmetrien-der-aussagenlogik\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/5simetrias.jpg\",\"articleSection\":[\"Aussagenlogik\",\"Mathematik\",\"Mathematische Logik\"],\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/5-symmetrien-der-aussagenlogik\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/5-symmetrien-der-aussagenlogik\\\/\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/5-symmetrien-der-aussagenlogik\\\/\",\"name\":\"5 Symmetrien der Aussagenlogik - toposuranos.com\\\/material\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/5-symmetrien-der-aussagenlogik\\\/#primaryimage\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/5-symmetrien-der-aussagenlogik\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/5simetrias.jpg\",\"datePublished\":\"2021-01-28T13:00:53+00:00\",\"dateModified\":\"2025-07-31T07:39:31+00:00\",\"description\":\"Entdecke die 5 Symmetrien der Aussagenlogik mit klaren Beweisen: doppelte Negation, hypothetischer Syllogismus und mehr.\",\"breadcrumb\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/5-symmetrien-der-aussagenlogik\\\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/5-symmetrien-der-aussagenlogik\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/5-symmetrien-der-aussagenlogik\\\/#primaryimage\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/5simetrias.jpg\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/5simetrias.jpg\",\"width\":1024,\"height\":356,\"caption\":\"Created with GIMP\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/de\\\/5-symmetrien-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\":\"5 Symmetrien 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":"5 Symmetrien der Aussagenlogik - toposuranos.com\/material","description":"Entdecke die 5 Symmetrien der Aussagenlogik mit klaren Beweisen: doppelte Negation, hypothetischer Syllogismus und mehr.","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\/5-symmetrien-der-aussagenlogik\/","og_locale":"es_ES","og_type":"article","og_title":"5 Symmetrien der Aussagenlogik","og_description":"Entdecke die 5 Symmetrien der Aussagenlogik mit klaren Beweisen: doppelte Negation, hypothetischer Syllogismus und mehr.","og_url":"http:\/\/toposuranos.com\/material\/de\/5-symmetrien-der-aussagenlogik\/","og_site_name":"toposuranos.com\/material","article_publisher":"https:\/\/www.facebook.com\/groups\/toposuranos","article_published_time":"2021-01-28T13:00:53+00:00","article_modified_time":"2025-07-31T07:39:31+00:00","og_image":[{"url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/5simetrias.jpg","type":"","width":"","height":""}],"author":"giorgio.reveco","twitter_card":"summary_large_image","twitter_title":"5 Symmetrien der Aussagenlogik","twitter_description":"Entdecke die 5 Symmetrien der Aussagenlogik mit klaren Beweisen: doppelte Negation, hypothetischer Syllogismus und mehr.","twitter_image":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/5simetrias.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\/5-symmetrien-der-aussagenlogik\/#article","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/de\/5-symmetrien-der-aussagenlogik\/"},"author":{"name":"giorgio.reveco","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1"},"headline":"5 Symmetrien der Aussagenlogik","datePublished":"2021-01-28T13:00:53+00:00","dateModified":"2025-07-31T07:39:31+00:00","mainEntityOfPage":{"@id":"http:\/\/toposuranos.com\/material\/de\/5-symmetrien-der-aussagenlogik\/"},"wordCount":1065,"commentCount":0,"publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"image":{"@id":"http:\/\/toposuranos.com\/material\/de\/5-symmetrien-der-aussagenlogik\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/5simetrias.jpg","articleSection":["Aussagenlogik","Mathematik","Mathematische Logik"],"inLanguage":"es","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["http:\/\/toposuranos.com\/material\/de\/5-symmetrien-der-aussagenlogik\/#respond"]}]},{"@type":"WebPage","@id":"http:\/\/toposuranos.com\/material\/de\/5-symmetrien-der-aussagenlogik\/","url":"http:\/\/toposuranos.com\/material\/de\/5-symmetrien-der-aussagenlogik\/","name":"5 Symmetrien der Aussagenlogik - toposuranos.com\/material","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/#website"},"primaryImageOfPage":{"@id":"http:\/\/toposuranos.com\/material\/de\/5-symmetrien-der-aussagenlogik\/#primaryimage"},"image":{"@id":"http:\/\/toposuranos.com\/material\/de\/5-symmetrien-der-aussagenlogik\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/5simetrias.jpg","datePublished":"2021-01-28T13:00:53+00:00","dateModified":"2025-07-31T07:39:31+00:00","description":"Entdecke die 5 Symmetrien der Aussagenlogik mit klaren Beweisen: doppelte Negation, hypothetischer Syllogismus und mehr.","breadcrumb":{"@id":"http:\/\/toposuranos.com\/material\/de\/5-symmetrien-der-aussagenlogik\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["http:\/\/toposuranos.com\/material\/de\/5-symmetrien-der-aussagenlogik\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/de\/5-symmetrien-der-aussagenlogik\/#primaryimage","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/5simetrias.jpg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/5simetrias.jpg","width":1024,"height":356,"caption":"Created with GIMP"},{"@type":"BreadcrumbList","@id":"http:\/\/toposuranos.com\/material\/de\/5-symmetrien-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":"5 Symmetrien 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\/33833","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=33833"}],"version-history":[{"count":0,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/33833\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media\/27410"}],"wp:attachment":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media?parent=33833"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/categories?post=33833"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/tags?post=33833"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}