Aussagenlogik (Grundlagen)

Description

Mind Map on Aussagenlogik (Grundlagen), created by Euphrat on 14/02/2014.
Euphrat
Mind Map by Euphrat, updated more than 1 year ago
Euphrat
Created by Euphrat almost 11 years ago
118
0

Resource summary

Aussagenlogik (Grundlagen)
  1. Syntax und Semantik
    1. Syntax (Zeichengestalt)
      1. einfache Aussagen, Aussagebuchstaben (p,q,r, ..), Junktoren
        1. "p" und "q" gehören zum -->AL-Vokabular
          1. "(p^q)" --> AL- Aussage
            1. Junktoren: Negator; Konjunktor; Disjunktor; Subjunktor;Bisubjunktor
          2. Semantik ( Bedeutung)
            1. AL-Bewertung B (Zuordnung der Aussagebuchstaben zu genau einem Wahrheitswert; Wahrheit/ Falschheit)
              1. Wahrheits- und Falschheitsbedingungen von AL-Aussagen
                1. Eine Negation ist genau dann wahr, wenn ihr Negat falsch ist. Sie ist genau dann falsch, wenn ihr Negat wahr ist.
                  1. Eine Konjunktion ist genau dann wahr, wenn ihre BEIDEN Konjunkte wahr sind. Sie ist genau dann falsch, wenn mindestens eines ihrer Konjunkte falsch ist.
                    1. Eine Disjunktion ist genau dann wahr, wenn mindestens einer ihrer Disjunkte wahr ist. Sie ist genau dann falsch, wenn ihre BEIDEN Disjunkte falsch sind.
                      1. Eine Subjunktion ist genau dann wahr, wenn ihr Vorderglied (Antezendens) falsch ODER ihr Hinterglied (Sukzedens) wahr ist. Sie ist genau dann falsch, wenn ihr Vorderglied wahr UND ihr Hinterglied falsch ist.
                        1. Eine Bisubjunktion ist genau dann wahr, wenn ihre beiden Bisubjunkte wahr ODER beider falsch sind. Sie ist genau dann falsch, wenn eines ihrer Bisubjunkte wahr UND eines falsch ist.
                  2. Logische Gültigkeit
                    1. ein AL-Schluss ist aussagenlogisch(a.l.-) gültig genau dann, wenn es keine Bewertung gibt bei der alle seine Prämissen wahr sind, aber seine Konklusion falsch ist.
                      1. (a.l.-)gültig
                        1. aussagenlogische Eigenschaften und Beziehungen
                          1. Grundformen: Für-alle-Begriff und Es-gibt-Begriff
                            1. a.l.-Eigenschaften einzelner Aussagen
                              1. Eine AL-Aussage ist aussagenlogisch(a.l.-) wahr genau dann, wenn sie bei jeder beliebigen wahr ist.
                                1. Eine AL-Aussage ist aussagenlogisch (a.l.-) falsch genau dann, wenn sie bei jeder beliebigen Bewertung falsch ist.
                                  1. Eine AL-Aussage ist aussagenlogisch (a.l.-) kontingent genau dann, wenn es sowohl mindestens eine Bewertung gibt bei der A wahr ist als auch mindestens eine bei der A falsch ist.
                                    1. Eine AL-Aussage ist aussagenlogisch (a.l.-) erfüllbar, wenn es mindestens eine Bewertung gibt bei der A wahr ist.
                                2. a.l.-Beziehungen zwischen AL-Aussagen A und B
                                  1. Eine AL-Aussage A und eine AL-Aussage B sind aussagenlogisch (a.l.-) äquivalent genau dann, wenn A und B bei jeder beliebigen Bewertung wahr oder beide falsch sind.
                          Show full summary Hide full summary

                          Similar

                          Einführung in die moderne Logik: Aussagenlogik und Prädikatenlogik
                          Euphrat
                          Biochemie Vitamine
                          martinpees
                          Franz Test
                          mariawalpen
                          A-Level Biology: Cell Division
                          cian.buckley+1
                          GCSE Computing - 4 - Representation of data in computer systems
                          lilymate
                          GCSE AQA Chemistry Atomic Structure and Bonding
                          Joseph Tedds
                          B2, C2, P2
                          George Moores
                          Unit 1: Business Studies GCSE
                          Libby Rose
                          chemsitry as level topic 5 moles and equations
                          Talya Hambling
                          Present Simple Vs Present Continuous
                          Luis Alcaraz