Logische Deductie Handleidingen
Patronen van geldig redeneren inclusief syllogismen en propositielogica Beperkingsgebaseerde logische puzzels oplossen waaronder zitplaatsindelingen, groepsindelingen en volgordebepaling
Barbara-syllogisme
Het meest fundamentele geldige syllogisme: Alle A zijn B, Alle B zijn C, dus Alle A zijn C.
Handleidingen bekijken →Celarent-syllogisme
Een geldig syllogisme met negatieve conclusie: Geen A zijn B, Alle C zijn A, dus Geen C zijn B.
Handleidingen bekijken →Darii-syllogisme
Een geldig syllogisme met particuliere conclusie: Alle A zijn B, Sommige C zijn A, dus Sommige C zijn B.
Handleidingen bekijken →Ferio-syllogisme
Een geldig syllogisme: Geen A zijn B, Sommige C zijn A, dus Sommige C zijn niet B.
Handleidingen bekijken →Modus Ponens
De 'bevestigende modus': Als P dan Q, P is waar, dus Q is waar.
Handleidingen bekijken →Modus Tollens
De 'ontkennende modus': Als P dan Q, Q is onwaar, dus P is onwaar.
Handleidingen bekijken →Hypothetisch Syllogisme
Kettingredenering: Als A dan B, Als B dan C, dus Als A dan C.
Handleidingen bekijken →Disjunctief Syllogisme
Of/of-redenering: Of A of B, niet A, dus B.
Handleidingen bekijken →Contrapositie
Logische equivalentie: 'Als A dan B' is equivalent aan 'Als niet B dan niet A'.
Handleidingen bekijken →Transitieve Relatie
Als A > B en B > C, dan A > C. Geldt voor ordeningsrelaties.
Handleidingen bekijken →Biconditioneel
'A dan en slechts dan als B' betekent dat A en B beide waar of beide onwaar zijn.
Handleidingen bekijken →Zitplaatsindeling
Posities van personen in een rij bepalen op basis van beperkingen zoals nabijheid, relatieve volgorde en vaste posities.
Handleidingen bekijken →Groepsindeling
Elementen of personen toewijzen aan groepen onder beperkingen van hetzelfde team, ander team en vaste groep.
Handleidingen bekijken →Volgordebepaling
De rangorde van elementen bepalen aan de hand van vergelijkingsaanwijzingen zoals hoger dan, lager dan en rangbeperkingen.
Handleidingen bekijken →Enthymeem
Een syllogisme waarin een premisse (of soms de conclusie) onuitgesproken blijft en door de lezer moet worden aangevuld.
Handleidingen bekijken →Sorites (Geketend Syllogisme)
Een polysyllogisme waarin de conclusie van elk syllogisme een premisse wordt van het volgende, waarbij meerdere premissen worden verbonden tot één eindconclusie.
Handleidingen bekijken →Waarheidstabel
Een tabel die alle mogelijke waarheidswaardencombinaties van invoerproposities en de resulterende waarde van een samengestelde formule weergeeft.
Handleidingen bekijken →