100 0 obj endobj Die Wahrheitstabelle zeigt für alle möglichen Zuordnungen von endlich vielen (häufig zwei) Wahrheitswerten zu den aussagenlogisch nicht weiter zerlegbaren Teilaussagen, aus denen die Gesamtaussage zusammengesetzt ist, welchen Wahrheitswert die Gesamtaussage unter der jeweiligen Zuordnung annimmt. 161 0 obj endobj (Der Goldene Schnitt) (Wiederholung - Theorie: Gruppen, K\366rper) endobj 1a_auf_aussagenlogik 1/2 . 237 0 obj << /S /GoTo /D (subsection.3.2.1) >> 65 0 obj 2. endobj endobj endobj << /S /GoTo /D (section.1.4) >> 9 0 obj LG. sin(x) → √(1–cos2(x)). (Klausurvorbereitung) Jede Aussage ist entweder wahr oder falsch: Prinzip der Zweiwertigkeit. 261 0 obj endobj 156 0 obj << /S /GoTo /D (subsection.2.1.10) >> (Wiederholung - Theorie: Monotonie) endobj Kostenlos über 1.000 Aufgaben mit ausführlichen Lösungswegen. (Aussagen) 217 0 obj 213 0 obj Aussagenlogik. endobj endobj 176 0 obj 165 0 obj endobj 97 0 obj 68 0 obj << /S /GoTo /D (chapter.7) >> Mathematik und Statistik Übungsaufgaben mit Lösungsweg zum Thema Logik & Mengen Mengenlehre Injektivität. endobj d) Weder schneit es, noch ist es kalt. (Aufgabenserie mit L\366sungen) benennt. endobj endobj 297 0 obj (Aufgabenserie mit L\366sungen) 4 0 obj Eingabe Ausgabe x y z f1 f2 0 0 0 0 1 0 0 1 0 1 << /S /GoTo /D (section.8.2) >> endobj 284 0 obj endobj (Mengenbegriff) endobj << /S /GoTo /D (subsection.2.1.6) >> Wenn z.B. endobj endobj (\334bungsaufgaben und L\366sungen) 240 0 obj 13 0 obj << /S /GoTo /D (subsection.3.2.4) >> Bin ich hier richtig vorgegangen und habe ich die richtige vereinfachte Lösung am Ende als Ergebnis? 40 0 obj (M\344chtigkeit, Kardinalzahl) (Vollst\344ndige Induktion) 144 0 obj Blog. FormaleMethodenderInformatik WiSe2010/2011 teil7, folie2(von 50) Teil VII: Aussagenlogik 1. (Tupel) (\334bungsaufgaben mit L\366sungen) und der Teilausdruck (B∧A)∨(B∧¬A) lässt sich eben, wie ich gezeigt habe, noch weiter vereinfachen, nämlich zu B. endobj endobj 277 0 obj endobj Weitere aussagenlogische Terme, die du auch mit Hilfe einer Wahrheitstafel und scharfem Hinsehen, bzw. %PDF-1.4 Boolesche Funktionen 3. (Quantoren) endobj endobj 252 0 obj (Abbildung) x��Zˎ�6��+���H�S$�K��G��n4�B�921�4���M����Ȳc�m03v��lY���sϽ�R(��z��g�GO^b)p0� 209 0 obj (Grundgesetze der Aussagenlogik) 53 0 obj Mathematik und Statistik Übungsaufgaben mit Lösungsweg zum Thema Logik & Mengen Aussagenlogik Wahrheitstafel. endobj endobj Der Wahrheitswert einer zusammengesetzten Aussage lässt sich ohne zusätzliche Informationen aus den Wahrheitswerten ihrer Teilaussagen bestimmen. 36 0 obj 17 0 obj 12 0 obj 269 0 obj Mathematik und Statistik Übungsaufgaben mit Lösungsweg zum Thema Logik & Mengen Aussagenlogik. endobj (Eigenschaften des Goldenen Schnitts) 132 0 obj (\334bungsaufgaben mit L\366sungen) endobj endobj << /S /GoTo /D (subsection.2.1.1) >> endobj endobj 370 0 obj << (Aufgabenserie mit L\366sungen) 1 Aussagenlogik und Mengenlehre "Das Gegenteil einer wahren Aussage ist eine falsche Aussage. (Wiederholung - Theorie: Aussagenlogik) endobj endobj endobj endobj << /S /GoTo /D (section.7.1) >> Aussagenlogik: Term vereinfachen Aufrufe: 221 Aktiv: 2 Monate, 1 Woche her Folgen Jetzt Frage stellen 0. 84 0 obj /D [318 0 R /XYZ 57.827 772.683 null] (Zahlenfolgen) 316 0 obj (Vereinigung, Durchschnitt, Komplement) 108 0 obj (Aufgabenserie mit L\366sungen) 292 0 obj xڅ�?o�0�w>ōΐ�Ύ�d�ZA��,U��)��JB�~��1Ph�.�u��{wk x�?�}1O9��u��X���J0!��%����x�T���Ff��f�u۶��T+��6\�����ڕ}��������զ��D&��$T|ŕ���� �S�[��� u�1>�ER&be��U�=��v�+�&���is�� [T2��|�md��*bw��N�}��TZ�H�g� �e3I�����i�L�Н��7�g"��ڮ��C������pU*�zH���� �Fl/��CP��V]~ڴ�(0��D 241 0 obj << /S /GoTo /D (chapter.2) >> (Wiederholung - Theorie: Quantoren und Negation) 140 0 obj (M\344chtigkeit von Mengen) endobj �XqN�P(���9e~V��M]��.�23׳��D�����@XĜ� �,f��O8��0B8|g�RW�2��G�0��J���?�O���3���p6�Bwz`J}��>��K"�$�a-��&h;M ;�����a�!�,�h�!Zp�'����)��$�`B�% "' B[@��$�U�Ҧ���J���߰��0b_H����A"cAy��Y������3��w~�����q����3PD��5�{6Dއ���զ�nLY�P��N��pA{�+NZH^U�b��Z7��g���>�P;4�d4�D;�#æ)��t��Oz�6+ /�v�j��w�)H>��g���9oN��p�pj&��)�m��ί)+;? endobj Aufgaben für Klausuren vereinfacht oder für Hausaufgaben abgewan-delt wurden und für beide Versionen die Musterlösung vorlag, wurden diese als verschiedene Aufgaben aufgenommen. • Bei Gleichungen mit Wurzeln: Entfernen durch Quadrieren, aber am Schluss alle Lösungen testen. Der Wahrheitswert einer zusammengesetzten Aussage lässt sich ohne zusätzliche Informationen aus den Wahrheitswerten ihrer Teilaussagen bestimmen.Eine Wahrheitstabelle oder Wahrheitstafel, auch Wahrheitswert-Tabelle oder Wahrheitsmatrix genannt, ist eine tabellarische Aufstellung des Wahrheitswertverlaufs einer logischen Aussage. (\334bungsaufgaben mit L\366sungen) 61 0 obj (Wiederholung - Theorie: Reihen) 141 0 obj /Type /Page Musterlösung zu den Logik-Übungen: Vorlesung vom 18.10.2011 Lösen Sie in Partnerarbeit die folgende Aufgabe unter Verwendung der Gesetze und Schlussregeln der Logik bzw. endobj endobj << /S /GoTo /D (section.3.4) >> 117 0 obj Musterbeispiele: Aussagenlogik (Lösung) 3.0 VU Formale Modellierung Lara Spendier, Gernot Salzer WS 2011 Aufgabe 1 GegebenseiendiefolgendenAussagen: endobj endobj 45 0 obj 76 0 obj Kostenlos über 1.000 Aufgaben mit ausführlichen Lösungswegen. endobj 125 0 obj 309 0 obj endobj ��%A�D�`̗���u�J����[m>� << /S /GoTo /D (section.12.5) >> Aufgabe: Wenn keine Klausur geschrieben wird, sind die Studenten glücklich. 256 0 obj Aussagenlogik, Mengen, Abbildungen, das Zahlensystem, Gleichungen und Ungleichungen, vollständige Induktion, komplexe Zahlen ... Hochschulreife, sowie die Abgabe der wöchentlichen Zwischenprüfungen und der schriftlichen Übungen. (Relationen, K\366rper) 208 0 obj 322 0 obj << endobj 93 0 obj (Weitere Mengenoperationen) 21 0 obj Prof. Dr. Burkhardt Renz TH Mittelhessen Logik und formale Methoden Übungen Aussagenlogik 7.Syntaxbaumzeichnen ZeichnenSiedenSyntaxbaumzueinerFormel˚folgenderForm: Korrrekt ist das, aber du sollst doch wohl so weit wie möglich vereinfachen, nicht wahr? endobj 1. 136 0 obj 41 0 obj endobj 120 0 obj (Tautologien, mathematische Schlussweisen) einem KV-Diagramm vereinfachen kannst, findest du im Abschnitt . endobj 124 0 obj endobj /Resources 319 0 R Grundlagen der Informatik Boolesche Algebra / Aussagenlogik Inhalt Grundlagen digitaler Systeme Boolesche Algebra / Aussagenlogik Organisation und Architektur von Rechnern /Length 1507 heißt es y = -a v -b = a NOR b Aufgabenblätter zur Digitaltechnik Aufgabensammlung zu Grundlagen Digitaltechnik für. (\334bungsaufgaben mit L\366sungen) (Ausdr\374cke der Aussagenlogik) endobj { << /S /GoTo /D (chapter.5) >> Boolesche Algebra vereinfachen. Man nennt " wahr\ bzw. " 308 0 obj endobj 280 0 obj (\334bungsaufgaben mit L\366sungen) >> endobj 196 0 obj << /S /GoTo /D (section.9.1) >> /Filter /FlateDecode << /S /GoTo /D (section.1.1) >> 201 0 obj endobj endobj << /S /GoTo /D (section.12.1) >> endobj endobj 137 0 obj endobj 72 0 obj 200 0 obj endobj << /S /GoTo /D (section.7.2) >> << /S /GoTo /D (chapter.8) >> Übersetze in die Symbolsprache: a) Es schneit, es ist kalt. << /S /GoTo /D (section.6.2) >> Dec. 15, 2020. 92 0 obj endobj Schaltnetze - Übungen zum Entwickeln und Vereinfachen . endobj This video is unavailable. 25 0 obj endobj 216 0 obj (Wiederholung - Nat\374rliche Zahlen) (Wiederholung - Theorie: Komplexe Zahlen) endobj endobj (Wiederholung - Theorie: Kombinatorik) 244 0 obj endobj (\334bungsaufgaben mit L\366sungen) << /S /GoTo /D (section.10.4) >> Aufgaben: Vereinfachung unter Anwendung von logischen Identitäten b) Es schneit, aber es ist nicht kalt. 16 0 obj endobj (\334bungsaufgaben mit L\366sungen) endobj << /S /GoTo /D (subsection.1.1.4) >> endobj 288 0 obj endobj 96 0 obj endobj (Aufgabenserie mit L\366sungen) 313 0 obj << /S /GoTo /D (section.9.4) >> endobj 272 0 obj /MediaBox [0 0 595.276 841.89] << /S /GoTo /D (section.9.2) >> endobj (\(Un\)gleichungen) Boolesche Schaltungen ... (vereinfacht … Watch Queue Queue. (Kombinatorik) endobj S�����7� (Klausur mit L\366sungen) << /S /GoTo /D (section.8.1) >> (Monotonie von Zahlenfolgen) Mit Mathods.com Mathematik- und Statistik-Klausuren erfolgreich bestehen. << /S /GoTo /D (section.10.3) >> 276 0 obj endobj >> 304 0 obj endobj stream (Aufgabenserie und L\366sungen) 33 0 obj endobj Bestätige durch Wahrheitstafeln das erste Distributivgesetz und die erste de morgansche Regel. endobj 80 0 obj (Venn-Diagramm) endobj 180 0 obj endobj Einführende Beispiele sind vielfach mit einer zur Wiederholung in der Übung bestimmten kurzen Einführung in die Theorie versehen. 37 0 obj endobj endobj (Wiederholung - Theorie: Zahlenfolgen) 221 0 obj Aufgaben zu: Aussagenlogik. endobj /Contents 320 0 R endobj Die Spezi kation ist konsistent, wenn es eine Zuweisung von Wahrheitswerten zu den Aussagen gibt, so daˇ jeder der logischen Ausdrucke wahr ist. (Elementbeziehung) %���� >> endobj Schauen wir uns die Schaltung doch einmal genau an. (Wahrheitstafeln) endobj /ProcSet [ /PDF /Text ] 300 0 obj Übersicht über alle Videos und Materialien unter http://wikis.zum.de/zum/PH_Heidelberg (Wiederholung - \(Un\)gleichungen) 181 0 obj 24 0 obj 273 0 obj (Aufgabenserie mit L\366sungen) 317 0 obj 148 0 obj In der klassischen Aussagenlogik wird jeder Aussage genau einer der zwei Wahrheitswerte wahr und falsch zugeordnet. Online Nachhilfe, Hilfe in Mathe, Mathe Nachhilfe, Mathematik einfach erklärt, OnlinenachhilfeMathe by Daniel Jung 169 0 obj Aus gegebenen Aussagen formt man durch Verknüpfungen neue Aussagen. 1. (Probeklausur mit L\366sungen) cos(x)). 268 0 obj endobj endobj Input A wird zunächst aufgeteilt und mithilfe eines NOT-Gatters invertiert. << /S /GoTo /D (section.10.2) >> Hallo, ich habe a) zum ersten Mal so richtig vereinfacht. LGÖ Ks VMa 11 Schuljahr 2018/2019 . 121 0 obj /Filter /FlateDecode (Operationen mit Mengen) 253 0 obj << /S /GoTo /D (subsection.1.2.1) >> endobj endobj 301 0 obj (Wiederholung - Mengenlehre) (Fakult\344t und Binomialkoeffizienten) Wir haben zwei Inputs A und B. << /S /GoTo /D (subsection.1.2.2) >> - … 69 0 obj endobj endobj (Definition: Goldener Schnitt) 185 0 obj (Aufgabenserie mit L\366sungen) << /S /GoTo /D (subsection.1.1.1) >> >> endobj 248 0 obj endobj (Teilmengen) endobj endobj 205 0 obj 173 0 obj << /S /GoTo /D (section.11.2) >> 2. endobj << /S /GoTo /D (subsection.2.1.9) >> (Aussagenverbindungen) << /S /GoTo /D (section.2.2) >> endobj Die Wahrheitstabelle wird genutzt, um Wahrheitswertefunktionen beziehungsweise boolesche Funktionen darzustellen oder zu definieren und um einfache aussagenlogische Nachweise zu führen. 104 0 obj << /S /GoTo /D (section.5.4) >> Wenn die Formel keine Tautologie ist, wird eine Belegung der Variablen A, B und C ausgegeben, mit der die Formel den Wert false annimmt. << /S /GoTo /D (chapter.3) >> 145 0 obj Verwenden Sie die folgenden vier Aussagen: L f ur " le system locked\; Q fur " new messages are queued\; B f ur " new messages are sent to the message bu er\; N f ur " system functioning normally\. 89 0 obj 281 0 obj Hauptseite » Hauptse.. » 6 Lineare Alge.. » 6.2 Aussagenlogik und Boolesche Algebra (Teil .. » 6.2.11 Textaufgabe mittels aussagenlogischer Formeln vereinfac.. » 6.2.11.1 Aufgaben: Textaufgabe mittels aussagenlogischer Formeln vereinfachen Watch Queue Queue 320 0 obj << 312 0 obj 245 0 obj 293 0 obj << /S /GoTo /D [318 0 R /Fit ] >> /Length 364 (\334bungsaufgaben) endobj A: Es schneit. endobj 220 0 obj endobj << /S /GoTo /D (chapter.12) >> << /S /GoTo /D (section.12.3) >> endobj 296 0 obj endobj 28 0 obj 29 0 obj << /S /GoTo /D (chapter.11) >> Aufgaben zum Thema Aussagenlogik Teilen. << /S /GoTo /D (section.5.1) >> 8 0 obj endobj (Wiederholung - Theorie: Binomischer Lehrsatz) endobj << /S /GoTo /D (subsection.2.1.3) >> 149 0 obj endobj 172 0 obj endobj endobj endobj 109 0 obj << /S /GoTo /D (subsection.3.2.2) >> << /S /GoTo /D (chapter.13) >> << /S /GoTo /D (section.5.2) >> << /S /GoTo /D (subsection.2.1.5) >> 204 0 obj How to increase brand awareness through consistency; Dec. 11, 2020. 1 0 obj endobj Aufgaben. endobj 289 0 obj 224 0 obj << /S /GoTo /D (section.5.3) >> << /S /GoTo /D (section.2.3) >> (1) ¬p ∧ q ⇒ p ∨ q endobj (Wiederholung - Theorie: Relationen) endobj << /S /GoTo /D (section.2.1) >> e) Es stimmt nicht, daß es schneit oder es kalt ist. 101 0 obj << /S /GoTo /D (section.3.3) >> 64 0 obj << /S /GoTo /D (subsection.1.1.5) >> 49 0 obj Aussagenlogik. << /S /GoTo /D (chapter.6) >> endobj c) Wenn es schneit, so ist es kalt. stream (\334bungsaufgaben mit L\366sungen) • Alle trigonometrischen Funktion durch eine ersetzen (z.B. 236 0 obj 189 0 obj << /S /GoTo /D (subsection.2.1.8) >> endobj 60 0 obj /Parent 327 0 R 319 0 obj << 116 0 obj endobj Schaltnetze - Übungen zum Entwickeln und Vereinfachen: MaxChemieNoob 2019-05-05 11:25:36+0200 Leider sind in den Lösungen der Aufgaben Fehler enthalten, in 3 bspw. endobj endobj In der klassischen Aussagenlogik wird jeder Aussage genau einer der zwei Wahrheitswerte „wahr“ und „falsch“ zugeordnet. Übung – Schaltalgebra und Aussagenlogik 1. 153 0 obj << /S /GoTo /D (chapter.1) >> 48 0 obj Wenn die Stu-denten glücklich sind, fühlt sich der Dozent wohl. endobj << /S /GoTo /D (chapter.10) >> KOSTENLOSE "Mathe-FRAGEN-TEILEN-HELFEN Plattform für Schüler & Studenten!" << /S /GoTo /D (subsection.1.1.7) >> endobj >> Peter Sobe 1 1. 20 0 obj (\334bungsaufgaben und L\366sungen) 73 0 obj 113 0 obj endobj 233 0 obj << /S /GoTo /D (subsection.1.1.6) >> endobj (Grundgesetze der Mengenalgebra) 285 0 obj falsch\ den Wahrheitswert der 197 0 obj Das Gegenteil einer tiefen Wahrheit kann eine andere tiefe Wahrheit sein." Beispielsweise werden Wahrheitstabellen verwendet, um die Bedeutung von Junktoren festzulegen.Meine Website:https://danieljung.educationMeine Social Media Kanäle:https://snapchat.com/add/jung.danielhttps://www.instagram.com/danieljungeducationhttps://www.youtube.com/c/Mathebydanieljunghttps://twitter.com/DanielJungEDUhttps://www.facebook.com/danieljung.EDUhttp://jungdaniel.tumblr.comhttps://anchor.fm/daniel-junghttps://medium.com/@DanielJunghttps://de.linkedin.com/in/daniel-jung-5b1198a8https://www.xing.com/profile/Daniel_Jung48Musical.ly: daniel.jungDaniel Jung erklärt Mathe in Kürze: Lernkonzept: Mathe lernen durch kurze, auf den Punkt gebrachte Videos zu allen Themen für Schule und Studium, sortiert in Themenplaylists für eine intuitive Channelnavigation. << /S /GoTo /D (subsection.1.1.2) >> Mit Mathods.com Mathematik- und Statistik-Klausuren erfolgreich bestehen. Weitere Aufgaben umseitig. (Aussagenlogik) << /S /GoTo /D (subsection.3.2.3) >> (Tupel und Mengen) Aufgabe 961: Konstruktion und Vereinfachung einer logischen Schaltung Aufgabe 963: Aussagenlogik und Mengenalgebra Aufgabe 1010: Notwendige und hinreichende Bedingungen Aufgabe 1011: Formalisierung von Aussagen, Verneinung, Wahrheitswert Aufgabe 1012: Mengenalgebra, Beweis zweier Äquivalenzen Aufgabe 1105: Notwendig hinreichend 56 0 obj << /S /GoTo /D (section.10.1) >> 157 0 obj (Reihen) << /S /GoTo /D (section.11.1) >> 88 0 obj endobj (\334bungsaufgaben mit L\366sungen) << /S /GoTo /D (section.8.3) >> 228 0 obj 44 0 obj endobj 168 0 obj endobj endobj Mit folgendem Programm lässt sich eine logische Formel mit den Variablen A, B und C sowie den logischen Konstanten 0 (= false) und 1 (= true) daraufhin überprüfen, ob sie eine Tautologie ist. (Aufgabenserie mit L\366sungen) Top 10 blogs in 2020 for remote teaching and learning; Dec. 11, 2020 229 0 obj endobj 2) Zeige mithilfe einer Wahrheitstabelle, dass folgende Aussage wahr ist: (p ⇒ q) ⇔ (¬ p ∨ q) 3) Überprüfe mit einer Wahrheitstabelle, ob folgende Aussage wahr ist: endobj endobj Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird. << /S /GoTo /D (subsection.2.1.2) >> endobj << /S /GoTo /D (subsection.1.1.3) >> (Wiederholung - Theorie: Supremum, Infimum) Aufgaben zur Aussagenlogik 1. 105 0 obj endobj << /S /GoTo /D (section.3.2) >> endobj 128 0 obj >> endobj endobj << /S /GoTo /D (section.6.3) >> Vorlesung von Prof. Christian Spannagel an der PH Heidelberg. 164 0 obj Q uf�^Je{��$曹��I1�Ԭ�} (Aufgabenserie und L\366sungen) 133 0 obj 212 0 obj endobj 192 0 obj endobj 305 0 obj << /S /GoTo /D (section.4.1) >> endobj 265 0 obj 77 0 obj (Auswahlproblem) 184 0 obj 32 0 obj endobj << /S /GoTo /D (subsection.2.1.7) >> endobj endobj endobj endobj Kostenlos über 1.000 Aufgaben mit ausführlichen Lösungswegen. endobj KOSTENLOSE \"Mathe-FRAGEN-TEILEN-HELFEN Plattform für Schüler \u0026 Studenten!\" Mehr Infos im Video: https://www.youtube.com/watch?v=Hs3CoLvcKkY --~--Aussagenlogik, vereinfachen, mit Wahrheitstafel, Mathehilfe online, ErklärvideoDie Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird. 112 0 obj 257 0 obj endobj 5 0 obj - B: Es ist kalt. endobj << /S /GoTo /D (section.1.3) >> 260 0 obj endobj (Aufgabenserie mit L\366sungen) << /S /GoTo /D (section.9.3) >> (Aufgabenserie und zugeh\366rige L\366sungen) (Aufgabenserie mit L\366sungen) (\334bungsaufgaben mit L\366sungen) Einführung 2. endobj << /S /GoTo /D (section.4.3) >> Grundbegriffe der Aussagenlogik: Lösungen Aufgabe 7 Verwenden Sie die Ihnen bekannten logischen Äquivalenzen, um die folgenden Ausdrücke zu vereinfachen: 1. endobj 1) Übersetze folgenden Satz in die aussagenlogische Symbolsprache: Weder Maier noch Müller verkaufen Aktien. 188 0 obj << /S /GoTo /D (section.1.2) >> C: Er ist fleißig. << /S /GoTo /D (section.7.4) >> << /S /GoTo /D (section.7.3) >> endobj << /S /GoTo /D (chapter.9) >> endobj endobj endobj endobj 85 0 obj Mit Mathods.com Mathematik- und Statistik-Klausuren erfolgreich bestehen. 177 0 obj Festlegen von Schaltfunktionen Eine Schaltfunktion soll aus vier Eingangsvariablen (a,b,c,d) eine ... Wertetabelle (auch Wahrheitstabelle) und vereinfachen Sie die schaltalgebraischen Ausdrücke, sofern möglich! [Niels Bohr, Physiker, 1885-1962] 1.1 Wozu Informatiker Aussagenlogik brauchen Zum einen gehören Aussagenlogik und Mengenlehre zur Grundgrammatik der "Sprache" endobj Übung. << /S /GoTo /D (section.12.2) >> 152 0 obj endobj 52 0 obj endobj endobj << /S /GoTo /D (section.3.1) >> Aussagenlogik Aussagen und Aussagenverknüpfungen Aussagen sind Sätze, von denen sich sinnvollerweise sagen läßt, sie seien wahr oder falsch.