InnoviCatInnoviCat Skills

Logische Deductie

Begin met Oefenen Voorbeeldvragen Bekijken →

Logische deductietests meten uw vermogen om geldige conclusies te trekken uit gegeven uitspraken. U krijgt premissen gepresenteerd (feiten die als waar worden aangenomen) en moet bepalen wat er logisch geconcludeerd kan worden.

Deze tests beoordelen kritisch denken, het vermogen om geldige argumenten te herkennen en de vaardigheid om logische drogredenen te vermijden — essentieel voor juridische, analytische en strategische functies. Onze procedureel gegenereerde syllogismen gebruiken een rijke taxonomie van categorieën en relaties, waardoor u nooit dezelfde vraag twee keer ziet en onbeperkte unieke oefenmogelijkheden krijgt.

Alle vragen worden lokaal in uw browser gegenereerd. Uw voortgang en antwoorden worden alleen op uw apparaat opgeslagen — we verzamelen nooit persoonlijke gegevens.

Belangrijke Patronen & Formaten

Barbara-syllogisme

Het meest fundamentele geldige syllogisme: Alle A zijn B, Alle B zijn C, dus Alle A zijn C.

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

Celarent-syllogisme

Een geldig syllogisme met negatieve conclusie: Geen A zijn B, Alle C zijn A, dus Geen C zijn B.

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

Darii-syllogisme

Een geldig syllogisme met particuliere conclusie: Alle A zijn B, Sommige C zijn A, dus Sommige C zijn B.

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

Ferio-syllogisme

Een geldig syllogisme: Geen A zijn B, Sommige C zijn A, dus Sommige C zijn niet B.

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

Modus Ponens

De 'bevestigende modus': Als P dan Q, P is waar, dus Q is waar.

P → Q, P ⊢ Q

Modus Tollens

De 'ontkennende modus': Als P dan Q, Q is onwaar, dus P is onwaar.

P → Q, ¬Q ⊢ ¬P

Hypothetisch Syllogisme

Kettingredenering: Als A dan B, Als B dan C, dus Als A dan C.

P → Q, Q → R ⊢ P → R

Disjunctief Syllogisme

Of/of-redenering: Of A of B, niet A, dus B.

P ∨ Q, ¬P ⊢ Q

Contrapositie

Logische equivalentie: 'Als A dan B' is equivalent aan 'Als niet B dan niet A'.

P → Q ≡ ¬Q → ¬P

Transitieve Relatie

Als A > B en B > C, dan A > C. Geldt voor ordeningsrelaties.

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

Biconditioneel

'A dan en slechts dan als B' betekent dat A en B beide waar of beide onwaar zijn.

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

Oplossingsstrategieën

  • 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'
  • 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
  • Major premise uses 'All' (universal affirmative)
  • Minor premise uses 'Some' (particular affirmative)

Veelvoorkomende Valkuilen

  • 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
  • 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
  • Over-generalizing: concluding 'All' when only 'Some' is warranted
  • Confusing with invalid forms where the middle term is not distributed

Veelgestelde Vragen

Een syllogisme is een logisch argument met twee premissen en een conclusie. Klassiek voorbeeld: 'Alle mensen zijn sterfelijk. Socrates is een mens. Dus Socrates is sterfelijk.' De conclusie moet noodzakelijkerwijs volgen uit de premissen.
Een geldig argument betekent dat de conclusie logisch volgt uit de premissen — als de premissen waar zijn, moet de conclusie waar zijn. Maar de premissen zelf kunnen onwaar zijn. 'Alle vissen kunnen vliegen. Zalm is een vis. Dus zalm kan vliegen' is geldig maar niet waar.
Leer veelvoorkomende drogredenen om ze te vermijden. Let op woorden als 'alle', 'sommige', 'geen', 'als...dan'. Onthoud: je kunt alleen concluderen wat MOET waar zijn, niet wat MISSCHIEN waar is. Oefen met het tekenen van premissen in Venndiagrammen.
Elk syllogisme wordt procedureel gegenereerd met behulp van een rijke taxonomie van bijna 1.000 categorieketens. Het systeem selecteert termen, past geldige logische vormen toe (Barbara, Celarent, Darii en andere) en genereert afleiders die specifieke logische drogredenen bevatten. Stamoverlappingsfiltering zorgt ervoor dat premissen altijd natuurlijk klinken. Dit biedt onbeperkte unieke oefenvragen.

Bronnen & Referenties

Barbara-syllogisme

Barbara Syllogism
Alle zoogdieren zijn dieren. Alle honden zijn zoogdieren. Wat kunnen we concluderen?
  1. 1
    Identificeer de premissen: 'Alle zoogdieren zijn dieren' en 'Alle honden zijn zoogdieren'Two premises
  2. 2
    Vind de middenterm: 'zoogdieren'Middle term: mammals
  3. 3
    Keten de relatie: Honden → Zoogdieren → DierenDogs → Animals
  4. 4
    Concludeer met universele bevestiging: Alle honden zijn dierenAll S are P
Refs:Aristotle, Prior Analytics, Book I, Chapter 4Smith, Robin. 'Aristotle's Logic', Stanford Encyclopedia of Philosophy

Celarent-syllogisme

Celarent-syllogisme
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.
Geen reptiel is een zoogdier. Alle slangen zijn reptielen. Wat kunnen we concluderen?
  1. 1
    Identificeer de negatieve premisse: 'Geen reptiel is een zoogdier'No M are P
  2. 2
    Identificeer de bevestigende premisse: 'Alle slangen zijn reptielen'All S are M
  3. 3
    Slangen zijn reptielen, en reptielen zijn uitgesloten van zoogdieren...Chain through middle term
  4. 4
    Concludeer met universele ontkenning: Geen slang is een zoogdierNo S are P
Refs:Aristotle, Prior Analytics, Book I, Chapter 4Smith, Robin. 'Aristotle's Logic', Stanford Encyclopedia of Philosophy

Darii-syllogisme

Darii-syllogisme
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.
Alle artsen hebben medische diploma's. Sommige vrijwilligers zijn artsen. Wat kunnen we concluderen?
  1. 1
    Identificeer de universele premisse: 'Alle artsen hebben medische diploma's'All M are P
  2. 2
    Identificeer de particuliere premisse: 'Sommige vrijwilligers zijn artsen'Some S are M
  3. 3
    De vrijwilligers die artsen zijn, moeten medische diploma's hebbenPartial overlap
  4. 4
    Concludeer met 'Sommige': Sommige vrijwilligers hebben medische diploma'sSome S are P
Refs:Aristotle, Prior Analytics, Book I, Chapter 4Smith, Robin. 'Aristotle's Logic', Stanford Encyclopedia of Philosophy

Ferio-syllogisme

Ferio-syllogisme
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.
Geen reptiel is warmbloedig. Sommige huisdieren zijn reptielen. Wat kunnen we concluderen?
  1. 1
    Identificeer de universele ontkenning: 'Geen reptiel is warmbloedig'No M are P
  2. 2
    Identificeer de particuliere bevestiging: 'Sommige huisdieren zijn reptielen'Some S are M
  3. 3
    De huisdieren die reptielen zijn, kunnen niet warmbloedig zijnPartial exclusion
  4. 4
    Concludeer: Sommige huisdieren zijn niet warmbloedigSome S are not P
Refs:Aristotle, Prior Analytics, Book I, Chapter 4Smith, Robin. 'Aristotle's Logic', Stanford Encyclopedia of Philosophy

Modus Ponens

Modus Ponens
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.
Als het regent, is de grond nat. Het regent. Wat kunnen we concluderen?
  1. 1
    Identificeer de conditionele: 'Als het regent, is de grond nat'P → Q
  2. 2
    Controleer het antecedent: 'Het regent' = JAP is true
  3. 3
    Pas Modus Ponens toe: P is waar, dus Q moet waar zijnP → Q, P ⊢ Q
  4. 4
    Concludeer: De grond is natQ is true
Refs:Klement, Kevin. 'Propositional Logic', Internet Encyclopedia of Philosophy

Modus Tollens

Modus Tollens
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.
Als de batterij geladen is, gaat de telefoon aan. De telefoon gaat niet aan. Wat concluderen we?
  1. 1
    Identificeer de conditionele: 'Als batterij geladen, telefoon gaat aan'P → Q
  2. 2
    Controleer het consequent: 'Telefoon gaat niet aan' = Q is onwaar¬Q
  3. 3
    Pas Modus Tollens toe: Q onwaar, dus P moet onwaar zijnP → Q, ¬Q ⊢ ¬P
  4. 4
    Concludeer: De batterij is niet geladen¬P
Refs:Klement, Kevin. 'Propositional Logic', Internet Encyclopedia of Philosophy

Hypothetisch Syllogisme

Hypothetisch Syllogisme
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.
Als het regent, worden de straten nat. Als de straten nat zijn, vertraagt het verkeer. Wat concluderen we?
  1. 1
    Identificeer de eerste conditionele: 'Als regen → straten nat'P → Q
  2. 2
    Identificeer de tweede conditionele: 'Als straten nat → verkeer vertraagt'Q → R
  3. 3
    Het consequent van de eerste (Q) komt overeen met het antecedent van de tweedeChain link: Q
  4. 4
    Combineer: Als het regent, vertraagt het verkeerP → R
Refs:Klement, Kevin. 'Propositional Logic', Internet Encyclopedia of Philosophy

Disjunctief Syllogisme

Disjunctief Syllogisme
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.
Het antwoord is 42 of 56. Het antwoord is niet 42. Wat concluderen we?
  1. 1
    Identificeer de disjunctie: 'Of 42 of 56'P ∨ Q
  2. 2
    Eén optie wordt uitgesloten: 'Niet 42'¬P
  3. 3
    Pas Disjunctief Syllogisme toe: als P onwaar, moet Q waar zijnP ∨ Q, ¬P ⊢ Q
  4. 4
    Concludeer: Het antwoord is 56Q
Refs:Klement, Kevin. 'Propositional Logic', Internet Encyclopedia of Philosophy

Contrapositie

Contrapositie
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'
Vind de contrapositie van: 'Als het een hond is, dan is het een dier'
  1. 1
    Identificeer het origineel: 'Als hond → dier'P → Q
  2. 2
    Ontken beide delen: 'geen hond' en 'geen dier'¬P and ¬Q
  3. 3
    Wissel de posities: 'Als geen dier → geen hond'¬Q → ¬P
  4. 4
    Formuleer de contrapositie: 'Als het geen dier is, dan is het geen hond'Equivalent statement
Refs:Klement, Kevin. 'Propositional Logic', Internet Encyclopedia of Philosophy

Transitieve Relatie

Transitieve Relatie
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.
Alice is langer dan Bob. Bob is langer dan Carol. Wie is het langst?
  1. 1
    Identificeer de eerste vergelijking: Alice > Bob (lengte)A > B
  2. 2
    Identificeer de tweede vergelijking: Bob > Carol (lengte)B > C
  3. 3
    Vind het gemeenschappelijke element: Bob verschijnt in beideMiddle term: B
  4. 4
    Pas transitiviteit toe: Alice > Bob > Carol, dus Alice > CarolA > C
Refs:Mendelson, Elliott. 'Mathematical Logic', in various logic textbooks

Biconditioneel

Biconditioneel
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%)
Een getal is even dan en slechts dan als het deelbaar is door 2. Is 8 even?
  1. 1
    Identificeer het biconditioneel: Even ↔ Deelbaar door 2P ↔ Q
  2. 2
    Dit betekent: Even → Deelbaar door 2 EN Deelbaar door 2 → EvenBoth directions
  3. 3
    Controleer: Is 8 deelbaar door 2? Ja (8 ÷ 2 = 4)Q is true
  4. 4
    Deelbaar door 2 → even, en 8 is deelbaar door 2, dus 8 is evenP is true
Refs:Klement, Kevin. 'Propositional Logic', Internet Encyclopedia of Philosophy