Logik

Beschreibung

Mathematik für Informatiker I (Grundlagen (Mengenlehre und Logik)) Mindmap am Logik, erstellt von Maximilian Gillmann am 06/03/2014.
Maximilian Gillmann
Mindmap von Maximilian Gillmann, aktualisiert more than 1 year ago
Maximilian Gillmann
Erstellt von Maximilian Gillmann vor mehr als 10 Jahre
249
7

Zusammenfassung der Ressource

Logik
  1. Aussagen
    1. Ist eindeutig wahr oder falsch
      1. Aussagenform a(x)
      2. Quantoren
        1. Existenz-Aussage
          1. Es existert ein x

            Anmerkungen:

            • \[\exists x : a (x)\]
            1. Es existiert genau ein x

              Anmerkungen:

              •  \[\exists! x : a(x)\]
              1. Gegenteil: Für alle x gilt die gegenteilige Aussage
              2. All-Aussage
                1. Gegenteil: Es existiert ein x für das die gegenteilige Aussage gilt
                  1. Für alle x gilt die Aussage

                    Anmerkungen:

                    • \[\forall x : a(x)\]
                  2. Negation
                  3. Verknüpfungen
                    1. AND

                      Anmerkungen:

                      • \[\wedge\]
                      1. OR

                        Anmerkungen:

                        • \[\vee\]
                        1. XOR

                          Anmerkungen:

                          • xor
                          1. WENN-DANN

                            Anmerkungen:

                            • \[a \rightarrow b\]
                            1. Wenn wahr, Implikation

                              Anmerkungen:

                              • \[a \Rightarrow b\]
                            2. GENAU-DANN-WENN

                              Anmerkungen:

                              • \[a \leftrightarrow b\]
                              1. Wenn wahr, Äquivalenz

                                Anmerkungen:

                                • \[a \Leftrightarrow b\]
                              2. De Morgan
                              3. Beweisarten
                                1. Direkter Beweis
                                  1. a impliziert b
                                  2. Indirekter Beweis
                                    1. Nicht b impliziert nicht a
                                    2. Beweis durch Widerspruch
                                      1. Nicht b und a stellt ein Widerspruch dar
                                    Zusammenfassung anzeigen Zusammenfassung ausblenden

                                    ähnlicher Inhalt

                                    Vektorräume
                                    Maximilian Gillmann
                                    Einführung in die moderne Logik: Aussagenlogik und Prädikatenlogik
                                    Euphrat
                                    Grundlagen Vektorraum
                                    Maximilian Gillmann
                                    Grundlagen (Mengenlehre und Logik)
                                    Maximilian Gillmann
                                    Bilinearform, Skalarprodukte und Orthogonale Abbildungen
                                    Maximilian Gillmann
                                    Komplexe Zahlen
                                    Maximilian Gillmann
                                    Determinanten
                                    Maximilian Gillmann
                                    Matrix, LGS
                                    Maximilian Gillmann