Logische Schlussfolgerung Anleitungen
Muster gültigen Denkens einschließlich Syllogismen und Aussagenlogik Einschränkungsbasierte Logikrätsel lösen einschließlich Sitzordnungen, Gruppenzuweisungen und Reihenfolgen
Barbara-Syllogismus
Der grundlegendste gültige Syllogismus: Alle A sind B, Alle B sind C, daher Alle A sind C.
Anleitungen ansehen →Celarent-Syllogismus
Ein gültiger Syllogismus mit negativer Schlussfolgerung: Kein A ist B, Alle C sind A, daher Kein C ist B.
Anleitungen ansehen →Darii-Syllogismus
Ein gültiger Syllogismus mit partikulärer Schlussfolgerung: Alle A sind B, Einige C sind A, daher Einige C sind B.
Anleitungen ansehen →Ferio-Syllogismus
Ein gültiger Syllogismus: Kein A ist B, Einige C sind A, daher Einige C sind nicht B.
Anleitungen ansehen →Modus Ponens
Der 'bejahende Modus': Wenn P dann Q, P ist wahr, also ist Q wahr.
Anleitungen ansehen →Modus Tollens
Der 'verneinende Modus': Wenn P dann Q, Q ist falsch, also ist P falsch.
Anleitungen ansehen →Hypothetischer Syllogismus
Kettenargument: Wenn A dann B, Wenn B dann C, daher Wenn A dann C.
Anleitungen ansehen →Disjunktiver Syllogismus
Entweder/Oder-Argumentation: Entweder A oder B, nicht A, daher B.
Anleitungen ansehen →Kontraposition
Logische Äquivalenz: 'Wenn A dann B' ist äquivalent zu 'Wenn nicht B dann nicht A'.
Anleitungen ansehen →Transitive Relation
Wenn A > B und B > C, dann A > C. Gilt für Ordnungsrelationen.
Anleitungen ansehen →Bikonditional
'A genau dann wenn B' bedeutet, dass A und B beide wahr oder beide falsch sind.
Anleitungen ansehen →Sitzordnung
Positionen von Personen in einer Reihe bestimmen basierend auf Einschränkungen wie Nachbarschaft, relative Reihenfolge und feste Positionen.
Anleitungen ansehen →Gruppenzuweisung
Elemente oder Personen Gruppen zuweisen unter Einschränkungen wie gleiches Team, verschiedenes Team und feste Gruppenzugehörigkeit.
Anleitungen ansehen →Reihenfolge
Die Rangfolge von Elementen bestimmen anhand von Vergleichshinweisen wie höher als, niedriger als und Rangbeschränkungen.
Anleitungen ansehen →Enthymem
Ein Syllogismus, bei dem eine Prämisse (oder manchmal die Konklusion) unausgesprochen bleibt und vom Leser ergänzt werden muss.
Anleitungen ansehen →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.
Anleitungen ansehen →Wahrheitstafel
Eine Tabelle, die alle möglichen Wahrheitswertkombinationen der Eingabeaussagen und den resultierenden Wahrheitswert einer zusammengesetzten Formel auflistet.
Anleitungen ansehen →