Inhaltsverzeichnis
10 Beziehungen: Kettenschluss, Modus ponendo tollens, Modus ponens, Modus tollendo ponens, Modus tollens, Negation, Prädikatenlogik, Quantor, Syllogismus, Transitive Relation.
Kettenschluss
Als Kettenschluss werden in der traditionellen und in der modernen Logik zwei unterschiedliche, aber optisch ähnliche Schlussfiguren (Implikationsserien) bezeichnet.
Sehen Modus Barbara und Kettenschluss
Modus ponendo tollens
Der Modus ponendo tollens (auch Konjunktiver Syllogismus) ist eine Schlussfigur der klassischen Aussagenlogik und eine Schlussregel vieler logischer Kalküle, die es erlaubt, aus zwei Sätzen mit den Formen Nicht (A und B). und A., den Prämissen, auf einen Satz der Form Nicht B. als Konklusion zu schließen.
Sehen Modus Barbara und Modus ponendo tollens
Modus ponens
Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird.
Sehen Modus Barbara und Modus ponens
Modus tollendo ponens
Der Modus tollendo ponens oder Disjunktive Syllogismus ist eine Schlussfigur der klassischen Aussagenlogik bzw.
Sehen Modus Barbara und Modus tollendo ponens
Modus tollens
Modus tollens (lateinisch für „Modus des Aufhebens“, wörtlich: „aufhebender Modus“), eigentlich Modus tollendo tollens (in Abgrenzung zum Modus ponendo tollens), ist eine Schlussfigur, die in etlichen Kalkülen der klassischen Logik als Schlussregel verwendet wird.
Sehen Modus Barbara und Modus tollens
Negation
Negation (von) ist Ablehnung, Verneinung oder Aufhebung; verneint werden können zum Beispiel Aussagen, abgelehnt werden können zum Beispiel moralische Werte, aufgehoben werden können zum Beispiel Konventionen.
Sehen Modus Barbara und Negation
Prädikatenlogik
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.
Sehen Modus Barbara und Prädikatenlogik
Quantor
Ein Quantor oder Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“, ist ein Operator der Prädikatenlogik.
Sehen Modus Barbara und Quantor
Syllogismus
Die Syllogismen (von syllogismós „ Zusammenrechnen“, „logischer Schluss“) sind ein Katalog bestimmter Typen logischer Schlüsse.
Sehen Modus Barbara und Syllogismus
Transitive Relation
gerichtete Graphen dargestellt Eine transitive Relation ist in der Mathematik eine zweistellige Relation R auf einer Menge, die die Eigenschaft hat, dass für drei Elemente x, y, z dieser Menge aus x R y und y R z stets x R z folgt.