Barbara is the first and most fundamental of the valid categorical syllogisms identified by Aristotle. It belongs to the first figure and uses universal affirmative (A) propositions in all three positions. The name 'Barbara' comes from medieval mnemonic devices where the three 'a' vowels indicate that all three propositions are universal affirmatives.

All M are P, All S are M ⊢ All S are P

All mammals are animals. All dogs are mammals. Therefore, all dogs are animals.
All squares are rectangles. All rectangles are polygons. Therefore, all squares are polygons.
All physicians are college graduates. All surgeons are physicians. Therefore, all surgeons are college graduates.

So erkennen Sie es

Look for two premises that both use 'All' (universal affirmatives)
The middle term appears as subject in one premise and predicate in another
The conclusion links the two end terms with 'All'

Häufige Fehler

Confusing Barbara with invalid forms like 'All A are B, All C are B, therefore All A are C' (undistributed middle)
Reversing the chain direction

Schritt-für-Schritt-Lösung

Alle Säugetiere sind Tiere. Alle Hunde sind Säugetiere. Was können wir folgern?

Identifiziere die Prämissen: 'Alle Säugetiere sind Tiere' und 'Alle Hunde sind Säugetiere'
Finde den Mittelbegriff: 'Säugetiere'
Verkette: Hunde → Säugetiere → Tiere
Folgere mit universeller Bejahung: Alle Hunde sind Tiere

Antwort: All dogs are animals

Lernen 2

Celarent-Syllogismus

Ein gültiger Syllogismus mit negativer Schlussfolgerung: Kein A ist B, Alle C sind A, daher Kein C ist B.

Celarent is the second of the 'perfect' syllogisms in Aristotle's first figure. It combines a universal negative (E) premise with a universal affirmative (A) premise to derive a universal negative conclusion. The name 'Celarent' uses vowels E-A-E to indicate the proposition types: universal negative, universal affirmative, universal negative.

No M are P, All S are M ⊢ No S are P

No reptiles are mammals. All snakes are reptiles. Therefore, no snakes are mammals.
No even numbers are odd. All multiples of 4 are even. Therefore, no multiples of 4 are odd.
No fish can breathe air. All salmon are fish. Therefore, no salmon can breathe air.

So erkennen Sie es

One premise uses 'No' (universal negative) and one uses 'All' (universal affirmative)
The conclusion is always 'No' (universal negative)
The middle term connects the chain through negation

Häufige Fehler

Confusing the direction: 'No A are B' is not the same as 'No B are A' in context
Missing that both terms in the conclusion inherit the negative relationship

Schritt-für-Schritt-Lösung

Kein Reptil ist ein Säugetier. Alle Schlangen sind Reptilien. Was können wir folgern?

Identifiziere die negative Prämisse: 'Kein Reptil ist ein Säugetier'
Identifiziere die bejahende Prämisse: 'Alle Schlangen sind Reptilien'
Schlangen sind Reptilien, und Reptilien sind von Säugetieren ausgeschlossen...
Folgere mit universeller Verneinung: Keine Schlange ist ein Säugetier

Antwort: No snakes are mammals

Lernen 3

Darii-Syllogismus

Ein gültiger Syllogismus mit partikulärer Schlussfolgerung: Alle A sind B, Einige C sind A, daher Einige C sind B.

Darii is a first-figure syllogism that derives a particular affirmative (I) conclusion from a universal affirmative (A) major premise and a particular affirmative (I) minor premise. The name 'Darii' uses vowels A-I-I. Unlike Barbara, Darii only claims that 'some' members of a category have a property, making it useful when we know partial overlap rather than complete inclusion.

All M are P, Some S are M ⊢ Some S are P

All birds can fly. Some pets are birds. Therefore, some pets can fly.
All prime numbers greater than 2 are odd. Some integers are prime numbers greater than 2. Therefore, some integers are odd.
All doctors have medical degrees. Some volunteers are doctors. Therefore, some volunteers have medical degrees.

So erkennen Sie es

Major premise uses 'All' (universal affirmative)
Minor premise uses 'Some' (particular affirmative)
Conclusion uses 'Some' - you cannot conclude 'All' from partial evidence

Häufige Fehler

Over-generalizing: concluding 'All' when only 'Some' is warranted
Confusing with invalid forms where the middle term is not distributed

Schritt-für-Schritt-Lösung

Alle Ärzte haben medizinische Abschlüsse. Einige Freiwillige sind Ärzte. Was können wir folgern?

Identifiziere die universelle Prämisse: 'Alle Ärzte haben medizinische Abschlüsse'
Identifiziere die partikuläre Prämisse: 'Einige Freiwillige sind Ärzte'
Die Freiwilligen, die Ärzte sind, müssen medizinische Abschlüsse haben
Folgere mit 'Einige': Einige Freiwillige haben medizinische Abschlüsse

Antwort: Some volunteers have medical degrees

Lernen 4

Ferio-Syllogismus

Ein gültiger Syllogismus: Kein A ist B, Einige C sind A, daher Einige C sind nicht B.

Ferio is the fourth 'perfect' syllogism of the first figure. It combines a universal negative (E) major premise with a particular affirmative (I) minor premise to derive a particular negative (O) conclusion. The name 'Ferio' uses vowels E-I-O to indicate proposition types. It allows us to conclude that some members of a category lack a property based on their membership in an excluded class.

No M are P, Some S are M ⊢ Some S are not P

No reptiles are warm-blooded. Some pets are reptiles. Therefore, some pets are not warm-blooded.
No vegetables contain cholesterol. Some foods I eat are vegetables. Therefore, some foods I eat do not contain cholesterol.
No beginners pass the advanced test. Some students are beginners. Therefore, some students do not pass the advanced test.

So erkennen Sie es

Major premise uses 'No' (universal negative)
Minor premise uses 'Some' (particular affirmative)
Conclusion uses 'Some...not' (particular negative)

Häufige Fehler

Concluding 'No C are B' instead of 'Some C are not B' - over-generalizing from partial evidence
Misreading 'Some C are not B' as 'Some C are B' (opposite meaning)

Schritt-für-Schritt-Lösung

Kein Reptil ist warmblütig. Einige Haustiere sind Reptilien. Was können wir folgern?

Identifiziere die universelle Verneinung: 'Kein Reptil ist warmblütig'
Identifiziere die partikuläre Bejahung: 'Einige Haustiere sind Reptilien'
Die Haustiere, die Reptilien sind, können nicht warmblütig sein
Folgere: Einige Haustiere sind nicht warmblütig

Antwort: Some pets are not warm-blooded

Lernen 5

Modus Ponens

Der 'bejahende Modus': Wenn P dann Q, P ist wahr, also ist Q wahr.

Modus Ponens (Latin for 'mode that affirms') is one of the most fundamental rules of inference in propositional logic. Given a conditional statement 'If P then Q' and the truth of the antecedent P, we can validly conclude Q. This rule is also called 'affirming the antecedent' and forms the basis of much deductive reasoning.

P → Q, P ⊢ Q

If it is raining, then the ground is wet. It is raining. Therefore, the ground is wet.
If you study hard, you will pass the exam. You study hard. Therefore, you will pass the exam.
If a number is divisible by 4, it is divisible by 2. 16 is divisible by 4. Therefore, 16 is divisible by 2.

So erkennen Sie es

Look for an 'If...then...' statement (conditional)
Check if the 'if' part (antecedent) is affirmed as true
The conclusion will be the 'then' part (consequent)

Häufige Fehler

Affirming the consequent (invalid): 'If P then Q, Q is true, therefore P is true' - this does NOT follow
Example of the fallacy: 'If it rains, the ground is wet. The ground is wet. Therefore it rained.' (Wrong! Sprinklers could cause wet ground)

Schritt-für-Schritt-Lösung

Wenn es regnet, ist der Boden nass. Es regnet. Was können wir folgern?

Identifiziere das Konditional: 'Wenn es regnet, ist der Boden nass'
Prüfe den Vordersatz: 'Es regnet' = JA
Wende Modus Ponens an: P ist wahr, also muss Q wahr sein
Folgere: Der Boden ist nass

Antwort: The ground is wet

Lernen 6

Modus Tollens

Der 'verneinende Modus': Wenn P dann Q, Q ist falsch, also ist P falsch.

Modus Tollens (Latin for 'mode that denies') is a fundamental rule of inference that works by denying the consequent. Given a conditional 'If P then Q' and knowing that Q is false, we can validly conclude that P must also be false. This rule is logically equivalent to Modus Ponens applied to the contrapositive.

P → Q, ¬Q ⊢ ¬P

If it is raining, the ground is wet. The ground is not wet. Therefore, it is not raining.
If the battery is charged, the phone will turn on. The phone does not turn on. Therefore, the battery is not charged.
If a number is prime and greater than 2, it is odd. 8 is not odd. Therefore, 8 is not a prime number greater than 2.

So erkennen Sie es

Look for an 'If...then...' statement (conditional)
Check if the 'then' part (consequent) is denied/negated
The conclusion negates the 'if' part (antecedent)

Häufige Fehler

Denying the antecedent (invalid): 'If P then Q, P is false, therefore Q is false' - this does NOT follow
Example of the fallacy: 'If it rains, the ground is wet. It is not raining. Therefore the ground is not wet.' (Wrong! Sprinklers could still make it wet)

Schritt-für-Schritt-Lösung

Wenn der Akku geladen ist, schaltet sich das Telefon ein. Das Telefon schaltet sich nicht ein. Was folgern wir?

Identifiziere das Konditional: 'Wenn Akku geladen, Telefon geht an'
Prüfe den Nachsatz: 'Telefon geht nicht an' = Q ist falsch
Wende Modus Tollens an: wenn Q falsch, muss P falsch sein
Folgere: Der Akku ist nicht geladen

Antwort: The battery is not charged

Lernen 7

Hypothetischer Syllogismus

Kettenargument: Wenn A dann B, Wenn B dann C, daher Wenn A dann C.

Hypothetical Syllogism (also called Chain Reasoning or Hypothetical Chain) allows us to link conditional statements together. If we know that A implies B, and B implies C, we can conclude that A implies C. This rule is essential for building chains of reasoning and is widely used in mathematical proofs and everyday logic.

P → Q, Q → R ⊢ P → R

If it rains, the streets get wet. If the streets get wet, traffic slows down. Therefore, if it rains, traffic slows down.
If you exercise regularly, you build stamina. If you build stamina, you can run longer. Therefore, if you exercise regularly, you can run longer.
If a shape is a square, it is a rectangle. If a shape is a rectangle, it is a quadrilateral. Therefore, if a shape is a square, it is a quadrilateral.

So erkennen Sie es

Look for two 'If...then...' statements (conditionals)
The consequent of the first should match the antecedent of the second
The conclusion links the first antecedent to the last consequent

Häufige Fehler

Reversing the chain: 'If A then B, If C then B' does NOT give 'If A then C'
The middle terms must match exactly for the chain to be valid

Schritt-für-Schritt-Lösung

Wenn es regnet, werden die Straßen nass. Wenn die Straßen nass sind, wird der Verkehr langsamer. Was folgern wir?

Identifiziere das erste Konditional: 'Wenn Regen → Straßen nass'
Identifiziere das zweite Konditional: 'Wenn Straßen nass → Verkehr langsam'
Der Nachsatz des ersten (Q) stimmt mit dem Vordersatz des zweiten überein
Kombiniere: Wenn es regnet, wird der Verkehr langsamer

Antwort: If it rains, traffic slows

Lernen 8

Disjunktiver Syllogismus

Entweder/Oder-Argumentation: Entweder A oder B, nicht A, daher B.

Disjunctive Syllogism is a rule of inference that eliminates alternatives. Given that 'Either A or B' is true (at least one must hold), and knowing that A is false, we can conclude that B must be true. This is also called 'process of elimination' and is fundamental to decision-making and proof by cases.

P ∨ Q, ¬P ⊢ Q

Either the package was delivered or it was lost. It was not delivered. Therefore, it was lost.
Either the answer is 42 or 56. The answer is not 42. Therefore, the answer is 56.
Either John took the bus or he walked. John did not take the bus. Therefore, John walked.

So erkennen Sie es

Look for an 'Either...or...' statement (disjunction)
One of the options is ruled out (negated)
The conclusion affirms the remaining option

Häufige Fehler

Assuming 'Either A or B' means exactly one is true (exclusive or). In logic, 'or' typically allows both to be true
Affirming one disjunct does not eliminate the other: 'Either A or B, A is true' does NOT mean B is false

Schritt-für-Schritt-Lösung

Die Antwort ist 42 oder 56. Die Antwort ist nicht 42. Was folgern wir?

Identifiziere die Disjunktion: 'Entweder 42 oder 56'
Eine Option wird ausgeschlossen: 'Nicht 42'
Wende Disjunktiven Syllogismus an: wenn P falsch, muss Q wahr sein
Folgere: Die Antwort ist 56

Antwort: The answer is 56

Lernen 9

Kontraposition

Logische Äquivalenz: 'Wenn A dann B' ist äquivalent zu 'Wenn nicht B dann nicht A'.

The Contrapositive is a logically equivalent form of a conditional statement. For any conditional 'If A then B', its contrapositive 'If not B then not A' has exactly the same truth value. This equivalence is fundamental in mathematics, particularly in proof by contrapositive, where proving the contrapositive is often easier than proving the original statement directly.

P → Q ≡ ¬Q → ¬P

'If it is a dog, then it is an animal' is equivalent to 'If it is not an animal, then it is not a dog'
'If n² is even, then n is even' is equivalent to 'If n is odd, then n² is odd'
'If you pass the exam, you studied' is equivalent to 'If you did not study, you did not pass the exam'

So erkennen Sie es

Start with an 'If A then B' statement
Negate both parts: A becomes 'not A', B becomes 'not B'
Swap their positions: 'If not B then not A'

Häufige Fehler

Confusing contrapositive with converse: 'If B then A' is the converse, NOT equivalent to the original
Confusing contrapositive with inverse: 'If not A then not B' is the inverse, NOT equivalent to the original
Only the contrapositive preserves logical equivalence

Schritt-für-Schritt-Lösung

Finde die Kontraposition von: 'Wenn es ein Hund ist, dann ist es ein Tier'

Identifiziere das Original: 'Wenn Hund → Tier'
Negiere beide Teile: 'kein Hund' und 'kein Tier'
Tausche die Positionen: 'Wenn kein Tier → kein Hund'
Formuliere die Kontraposition: 'Wenn es kein Tier ist, dann ist es kein Hund'

Antwort: If it is not an animal, then it is not a dog

Lernen 10

Transitive Relation

Wenn A > B und B > C, dann A > C. Gilt für Ordnungsrelationen.

A transitive relation is one where if the relation holds between A and B, and between B and C, then it must hold between A and C. Common transitive relations include 'greater than', 'less than', 'older than', 'taller than', 'ancestor of', and 'implies'. Recognizing transitivity allows us to chain comparisons and orderings together.

R(a,b) ∧ R(b,c) → R(a,c)

Alice is taller than Bob. Bob is taller than Carol. Therefore, Alice is taller than Carol.
5 > 3 and 3 > 1, therefore 5 > 1.
New York is larger than Chicago. Chicago is larger than Houston. Therefore, New York is larger than Houston.
Iron is heavier than aluminum. Aluminum is heavier than plastic. Therefore, iron is heavier than plastic.

So erkennen Sie es

Look for comparative statements using the same relation (taller than, faster than, older than, etc.)
Check if there's a 'middle' element that appears in both comparisons
The conclusion compares the 'outer' elements using the same relation

Häufige Fehler

Not all relations are transitive. 'Is a friend of' is NOT transitive (A's friend's friend may not be A's friend)
'Is next to' is NOT transitive (if A is next to B, and B is next to C, A may not be next to C)
Applying transitivity to non-transitive relations leads to invalid conclusions

Schritt-für-Schritt-Lösung

Alice ist größer als Bob. Bob ist größer als Carol. Wer ist am größten?

Identifiziere den ersten Vergleich: Alice > Bob (Größe)
Identifiziere den zweiten Vergleich: Bob > Carol (Größe)
Finde das gemeinsame Element: Bob kommt in beiden vor
Wende Transitivität an: Alice > Bob > Carol, also Alice > Carol

Antwort: Alice is tallest

Lernen 11

Bikonditional

'A genau dann wenn B' bedeutet, dass A und B beide wahr oder beide falsch sind.

A biconditional statement 'A if and only if B' (often written as 'A iff B') asserts that A and B have the same truth value: they are both true or both false. This is equivalent to saying both 'If A then B' AND 'If B then A'. Biconditionals express necessary and sufficient conditions and are common in definitions and equivalences.

P ↔ Q ≡ (P → Q) ∧ (Q → P)

A triangle is equilateral if and only if all its angles are 60°. (Having equal sides is both necessary and sufficient for having 60° angles)
A number is even if and only if it is divisible by 2.
You will pass the course if and only if you score above 70%. (Scoring above 70% guarantees passing, and passing requires scoring above 70%)

So erkennen Sie es

Look for 'if and only if', 'iff', 'exactly when', or 'is equivalent to'
The relationship works in both directions
Knowing either part tells you the truth of the other

Häufige Fehler

Confusing 'if' with 'if and only if': 'If A then B' does NOT mean 'If B then A'
Biconditional requires BOTH directions to hold
'A only if B' means 'If A then B', NOT biconditional

Schritt-für-Schritt-Lösung

Eine Zahl ist gerade genau dann, wenn sie durch 2 teilbar ist. Ist 8 gerade?

Identifiziere das Bikonditional: Gerade ↔ Teilbar durch 2
Das bedeutet: Gerade → Teilbar durch 2 UND Teilbar durch 2 → Gerade
Prüfe: Ist 8 durch 2 teilbar? Ja (8 ÷ 2 = 4)
Da teilbar durch 2 → gerade, und 8 ist teilbar durch 2, ist 8 gerade

Antwort: Yes, 8 is even

Lernen 12

Sitzordnung

Positionen von Personen in einer Reihe bestimmen basierend auf Einschränkungen wie Nachbarschaft, relative Reihenfolge und feste Positionen.

Sitzordnungsrätsel erfordern die Bestimmung der Positionen von Personen in einer linearen Reihenfolge basierend auf Einschränkungen. Einschränkungen können relative Positionierung, Nachbarschaft, Nicht-Nachbarschaft, Endpositionen und feste Positionen umfassen. Das Ziel ist, die Anordnung zu finden, die alle Einschränkungen gleichzeitig erfüllt.

Gegeben N Elemente und Einschränkungen C1, C2, ..., Ck: finde Permutation P, die alle Ci erfüllt

3 Personen sitzen in einer Reihe. Anna sitzt links von Bernd. Clara sitzt an einem Ende. Wer sitzt in der Mitte?
4 Personen sitzen in einer Reihe. David sitzt nicht neben Emma. Felix sitzt auf Position 1.
5 Personen sitzen in einer Reihe. Anna sitzt an einem Ende. Bernd sitzt links von Clara. David sitzt nicht neben Emma.

So erkennen Sie es

Mit den einschränkendsten Bedingungen beginnen (feste Positionen, Endpositionen)
Ausschlussverfahren nutzen, um Möglichkeiten einzugrenzen
Ein Diagramm zeichnen: Positionen nummerieren und Bekanntes eintragen
Verbleibende Anordnungen gegen alle Einschränkungen testen
Bei Blockade: eine Position annehmen und auf Widersprüche prüfen

Häufige Fehler

Vergessen, dass 'links von' irgendwo links bedeutet, nicht unbedingt direkt daneben
Verwechslung von 'neben' mit 'links/rechts von'
Nicht alle Einschränkungen gegen die Endlösung prüfen

Schritt-für-Schritt-Lösung

3 Personen sitzen in einer Reihe (Positionen 1-3). Anna sitzt links von Bernd. Clara sitzt an einem Ende. Bernd sitzt auf Position 2. Wer sitzt auf Position 1?

Bernd ist auf Position 2 (gegeben)
Anna sitzt links von Bernd, also ist Anna auf Position 1
Clara sitzt an einem Ende. Position 1 ist belegt, also ist Clara auf 3
Endanordnung: Anna (1), Bernd (2), Clara (3)

Antwort: Anna

Lernen 13

Gruppenzuweisung

Elemente oder Personen Gruppen zuweisen unter Einschränkungen wie gleiches Team, verschiedenes Team und feste Gruppenzugehörigkeit.

Gruppenzuweisungsrätsel erfordern die Verteilung von Elementen oder Personen in eine feste Anzahl von Gruppen bestimmter Größen. Einschränkungen bestimmen, welche Elemente zusammen sein müssen oder nicht. Häufige Typen umfassen: gleiche Gruppe, verschiedene Gruppe und feste Gruppe.

N Elemente in k Gruppen der Größen s1, s2, ..., sk aufteilen unter Einschränkungen C1, C2, ..., Cm

4 Personen in 2 Teams zu je 2 aufteilen. Anna und Bernd müssen im selben Team sein. Clara und David können nicht im selben Team sein.
6 Personen in 3 Teams zu je 2 aufteilen. Anna ist in Team 1. Bernd und Clara müssen zusammen sein.
6 Personen in 2 Teams zu je 3 aufteilen. Anna und Bernd können nicht zusammen sein. Clara ist in Team A.

So erkennen Sie es

Mit festen Gruppenzuweisungen beginnen, um bekannte Zuordnungen zu verankern
Gleiche-Gruppe-Einschränkungen anwenden, um Elemente zu paaren
Verschiedene-Gruppe-Einschränkungen nutzen, um unmögliche Paarungen auszuschließen
Gruppengrößenlimits nach jeder Zuordnung prüfen
Ausschlussverfahren für verbleibende Plätze nutzen

Häufige Fehler

Gruppengrößenlimits überschreiten bei Gleiche-Gruppe-Einschränkungen
Vergessen, dass Verschiedene-Gruppe-Einschränkungen bidirektional sind
Kaskadeneffekte nicht berücksichtigen

Schritt-für-Schritt-Lösung

4 Personen in 2 Teams zu je 2 aufteilen. Anna und Bernd müssen zusammen sein. Clara ist in Team 1. David und Clara können nicht zusammen sein.

Clara ist in Team 1 (gegeben)
David kann nicht mit Clara zusammen sein, also geht David in Team 2
Anna und Bernd müssen zusammen sein
Gruppengrößen prüfen und entsprechend zuordnen

Antwort: Team 2

Lernen 14

Reihenfolge

Die Rangfolge von Elementen bestimmen anhand von Vergleichshinweisen wie höher als, niedriger als und Rangbeschränkungen.

Reihenfolge-Rätsel erfordern das Anordnen von Elementen in einer Rangfolge anhand von Hinweisen über ihre relativen Positionen. Einschränkungen umfassen direkte Vergleiche, Ausschlüsse und transitive Ketten. Diese Rätsel testen die Fähigkeit, aus Teilinformationen eine konsistente Ordnung aufzubauen.

Gegeben N Elemente und Vergleichseinschränkungen: finde Gesamtordnung, die alle Einschränkungen erfüllt

3 Elemente, Rang 1-3. Anna ist höher als Bernd. Clara ist nicht Erste. Was ist Claras Rang?
4 Elemente, Rang 1-4. Anna ist höher als Bernd. Clara ist niedriger als David.
5 Elemente, Rang 1-5. Anna > Bernd > Clara. David ist weder Erster noch Letzter.

So erkennen Sie es

Eine Kette aufbauen: wenn A > B und B > C, dann A > C (Transitivität)
Ausschlusseinschränkungen nutzen, um unmögliche Positionen zu eliminieren
Mit der längsten Vergleichskette beginnen
Zählen, wie viele Elemente über oder unter einem Element sein müssen
Mögliche Positionen ausprobieren und auf Widersprüche prüfen

Häufige Fehler

Vergessen, Transitivität anzuwenden
Annehmen, dass eine Einschränkung unmittelbar benachbarte Ränge bedeutet
Nicht alle möglichen Ordnungen berücksichtigen, wenn mehrere gültig sind

Schritt-für-Schritt-Lösung

3 Elemente von 1 (höchster) bis 3 (niedrigster). Anna ist höher als Bernd. Bernd ist nicht 3. Was ist Bernds Rang?

Anna ist höher als Bernd, also Annas Rang < Bernds Rang
Bernd ist nicht 3. (gegeben)
Mögliche Ränge für Bernd: 1, 2. Aber Anna muss höher sein, also kann Bernd nicht 1. sein
Bernd ist 2. Anna ist 1. Das verbleibende Element ist 3.

Antwort: 2.

Lernen 15

Enthymem

Ein Syllogismus, bei dem eine Prämisse (oder manchmal die Konklusion) unausgesprochen bleibt und vom Leser ergänzt werden muss.

Ein Enthymem ist ein klassisches rhetorisches Argument, das wie ein Syllogismus strukturiert ist, bei dem jedoch eine Prämisse verborgen (unterdrückt) bleibt. Aristoteles nannte es in der Rhetorik „den Körper des Beweises". Um ein Enthymem zu bewerten, muss der Leser die fehlende Prämisse identifizieren und prüfen, ob das vervollständigte Argument gültig ist.

Ausgedrückt: P1, ∴ K. Rekonstruiert: P1, (P2 implizit), ∴ K

„Sokrates ist sterblich, weil er ein Mensch ist" — verborgene Prämisse: alle Menschen sind sterblich
„Sie muss einen Schlüssel haben — die Tür ist offen" — verborgene Prämisse: nur Schlüsselträger öffnen sie
„Diese Münze ist unfair, also sollten wir sie testen"

So erkennen Sie es

Nur eine Prämisse wird neben der Konklusion genannt
Das Argument wirkt andeutend statt formal vollständig
Signalwörter: „weil", „also", „daher" mit nur einer Stützung

Häufige Fehler

Das Enthymem akzeptieren, ohne die fehlende Prämisse zu rekonstruieren
Eine Prämisse liefern, die das Argument trivial gültig macht (Zirkelschluss)
Jedes kurze Argument als Enthymem behandeln

Lernen 16

Sorites (Kettenschluss)

Ein Polysyllogismus, bei dem die Konklusion jedes Syllogismus zur Prämisse des nächsten wird und mehrere Prämissen zu einer einzigen Endkonklusion verknüpft.

Ein Sorites ist eine besondere Art des Polysyllogismus: eine Folge von Aussagen P1, P2, ..., Pn, bei der jedes Pi einen Begriff mit Pi+1 teilt, sodass sie verkettet werden können. Die Endkonklusion verbindet das Subjekt der ersten Prämisse mit dem Prädikat der letzten.

Alle A sind B; alle B sind C; alle C sind D; ... ∴ alle A sind Z

Alle Hunde sind Säugetiere; alle Säugetiere sind Wirbeltiere; alle Wirbeltiere sind Tiere ∴ alle Hunde sind Tiere
Alle Athleten trainieren täglich; wer täglich trainiert, wird fit; wer fit ist, erbringt Leistung ∴ alle Athleten erbringen Leistung
Alle Katzen sind Feliden; alle Feliden sind Fleischfresser; alle Fleischfresser essen Fleisch ∴ alle Katzen essen Fleisch

So erkennen Sie es

Mehr als zwei Prämissen mit einer Kette gemeinsamer Begriffe
Das Prädikat jeder Prämisse erscheint als Subjekt der nächsten
Die Endkonklusion verbindet das erste Subjekt mit dem letzten Prädikat

Häufige Fehler

Eine gebrochene Kette (zwei Prämissen ohne gemeinsamen Begriff)
Quantorenwechsel (einige → alle) in der Mitte einfügen
Mit einem Enthymem verwechseln

Lernen 17

Wahrheitstafel

Eine Tabelle, die alle möglichen Wahrheitswertkombinationen der Eingabeaussagen und den resultierenden Wahrheitswert einer zusammengesetzten Formel auflistet.

Eine Wahrheitstafel ist eine mathematische Tabelle der klassischen Aussagenlogik, die zeigt, wie der Wahrheitswert einer zusammengesetzten Formel von den Wahrheitswerten ihrer atomaren Aussagen abhängt. Für n Variablen hat sie 2^n Zeilen. Sie liefert ein mechanisches Entscheidungsverfahren: Eine Formel ist eine Tautologie, wenn ihre letzte Spalte nur Wahr enthält, eine Kontradiktion, wenn nur Falsch, und kontingent sonst.

Für n Variablen: 2^n Zeilen; Junktoren: ¬, ∧, ∨, →, ↔

p ∧ q ist nur wahr, wenn p und q wahr sind
p → q ist nur falsch, wenn p wahr und q falsch ist
p ∨ ¬p ist eine Tautologie

So erkennen Sie es

Verwende eine Wahrheitstafel, wenn alle Kombinationen geprüft werden müssen
Zähle die Zeilen: 2 Variablen = 4 Zeilen, 3 Variablen = 8 Zeilen, n = 2^n
Werte Teilformeln Spalte für Spalte aus, von innen nach außen

Häufige Fehler

Eine Zeile vergessen (eine Kombination fehlt)
p → q als „wahr, wenn p wahr" berechnen
p ↔ q als „p und q" behandeln

Lösungsbeispiele

Die Lösungsbeispiele enthalten den ursprünglichen Übungssatz für jede Stufe. Öffnen Sie ein Beispiel, um Aufgabe, Optionen, richtige Antwort und Erklärung zu vergleichen.

Beispiel

Erklärung

Zurück zu Logische Schlussfolgerung