Gedankenbild Gedankenbild
Übersetztes Bild:
Syllogismus |
|||||||||||
Kategorischer Syllogismus |
bedingter Syllogismus |
||||||||||
Deduktion |
Aussagenlogik | ||||||||||
1 Prämisse | mehrere Prämissen |
hypothetische |
disjunktive Syllogismen |
Dilemma |
|||||||
2 Prämissen | |||||||||||
einstellige Prädikate |
mehrstellige Prädikate | modus ponendo ponens = modus ponens: wenn p dann q es ist p q ist wahr |
modus ponendo tollens: entweder p oder q es ist p q ist falsch |
||||||||
Prädikatenlogik |
|||||||||||
Relationslogik |
modus tollendo tollens = modus tollens: wenn p dann q es ist q falsch p ist (auch) falsch |
modus tollendo ponens: es kann sein p oder q p ist falsch q ist wahr |
|||||||||
3 Prädikate: |
Mathematische |
||||||||||
4 Schlussfiguren: | |||||||||||
1. Prämisse | M ist P | P ist M | M ist P | P ist M | |||||||
2. Prämisse | S ist M | S ist M | M ist S | M ist S | |||||||
Conclusio: | S ist P | S ist P | S ist P | S ist P | |||||||
1 |
2 | 3 | 4 | ||||||||
Schlusskette | |||||||||||
Alle Nadelbäume (M) sind Bäume (P) | |||||||||||
Alle Fichten sind Nadelbäume (M) | |||||||||||
Alle Fichten (S) sind Bäume (P) |
Logos, Syllogismus (im Denken Verbundenes), kategorischer Syllogismus, bedingter Syllogismus, Deduktion, Aussagenlogik, Prämisse, hypothetische Syllogismen, wenn p dann q, es ist p, q ist wahr / wenn p dann q, es ist q falsch, p ist auch falsch, disjunktive Syllogismen, entweder p oder q, es ist p, q ist falsch / es kann sein p oder q, p ist falsch, q ist wahr, Dilemma, einstellige Prädikate, mehrstellige Prädikate, Prädikatenlogik, Relationslogik, mathematische Logik, Subjekt, Mittelbegriff, Prädikat, Schlussfiguren, Schlusskette, Alle Nadelbäume (M) sind Bäume (P), Alle Fichten sind Nadelbäume (M), Alle Fichten (S) sind Bäume (P) |
Arabisch, Farsi, Hebräisch und Urdu:
Syllogismus |
|||||||||||
Kategorischer Syllogismus |
bedingter Syllogismus |
||||||||||
Deduktion |
Aussagenlogik | ||||||||||
1 Prämisse | mehrere Prämissen |
hypothetische |
disjunktive Syllogismen |
Dilemma |
|||||||
2 Prämissen | |||||||||||
einstellige Prädikate |
mehrstellige Prädikate | modus ponendo ponens = modus ponens: wenn p dann q es ist p q ist wahr |
modus ponendo tollens: entweder p oder q es ist p q ist falsch |
||||||||
Prädikatenlogik |
|||||||||||
Relationslogik |
modus tollendo tollens = modus tollens: wenn p dann q es ist q falsch p ist (auch) falsch |
modus tollendo ponens: es kann sein p oder q p ist falsch q ist wahr |
|||||||||
3 Prädikate: |
Mathematische |
||||||||||
4 Schlussfiguren: | |||||||||||
1. Prämisse | M ist P | P ist M | M ist P | P ist M | |||||||
2. Prämisse | S ist M | S ist M | M ist S | M ist S | |||||||
Conclusio: | S ist P | S ist P | S ist P | S ist P | |||||||
1 |
2 | 3 | 4 | ||||||||
Schlusskette | |||||||||||
Alle Nadelbäume (M) sind Bäume (P) | |||||||||||
Alle Fichten sind Nadelbäume (M) | |||||||||||
Alle Fichten (S) sind Bäume (P) |