Logik

Descripción

(Grundlagen (Mengenlehre und Logik)) Mathematik für Informatiker I Mapa Mental sobre Logik, creado por Maximilian Gillmann el 06/03/2014.
Maximilian Gillmann
Mapa Mental por Maximilian Gillmann, actualizado hace más de 1 año
Maximilian Gillmann
Creado por Maximilian Gillmann hace más de 10 años
249
7

Resumen del Recurso

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

            Nota:

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

              Nota:

              •  \[\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

                    Nota:

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

                      Nota:

                      • \[\wedge\]
                      1. OR

                        Nota:

                        • \[\vee\]
                        1. XOR

                          Nota:

                          • xor
                          1. WENN-DANN

                            Nota:

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

                              Nota:

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

                              Nota:

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

                                Nota:

                                • \[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
                                    Mostrar resumen completo Ocultar resumen completo

                                    Similar

                                    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