Als / Dan — Conditonele Logica Quiz
Beheers de logica van als/dan-voorwaarden (P → Q). 45 problemen verspreid over drie niveaus: Basis legt de waarheidstabel voor P→Q uit (vacuümte waarheid, de enige onware uitkomst), Modus Ponens, Modus Tollens, en waarom Het Bevestigen van het Gevolg en Het Ontkennen van het Voorafgaande ongeldig zijn. Gemiddeld voegt de contrapositie, de omkering, de inverse, de biconditionele (P↔Q), de disjunctie-equivalentie (¬P∨Q), en hypothetische syllogismen toe. Gevorderd behandelt gekoppelde voorwaarden, negatie van voorwaarden (¬(P→Q) = P∧¬Q), tautologieën, complexe waarheidswaarde-analyse en uitzonderingen.
Hoe te Spelen met Als / Dan
- 1
Leer de Waarheidstabel
De waarheidstabel in de lobby is de basis van alles. P→Q is ONWAAR in precies ÉÉN geval: wanneer P WAAR is en Q ONWAAR. In alle andere gevallen — inclusief wanneer P ONWAAR is — is de voorwaarde WAAR. Deze 'vacuümte waarheid' (een onware antecedent maakt de voorwaarde waar) is het meest contra-intuïtieve concept voor beginners.
- 2
Herken de Inferentieregels
Modus Ponens (P→Q, P, ∴Q) en Modus Tollens (P→Q, ¬Q, ∴¬P) zijn geldig. Het Ontkennen van het Voorafgaande (P→Q, ¬P, ∴¬Q) en Het Bevestigen van het Gevolg (P→Q, Q, ∴P) zijn ONGELDIGE drogredenen. De Basis niveau test alle vier.
- 3
Beheers de Equivalente Vormen
Het Gemiddeld niveau test vier gerelateerde vormen: de CONTRAPOSITIE (¬Q→¬P, equivalent aan origineel), de OMKERING (Q→P, NIET equivalent), de INVERSE (¬P→¬Q, NIET equivalent), en de BICONDITIONELE (P↔Q, waar alleen als P en Q overeenkomen). Ook: P→Q ≡ ¬P∨Q is de disjunctie-equivalentie.
- 4
Ga Om met Gevorderde Gevallen
Gevorderde vragen verkennen: gekoppelde hypothetische syllogismen (A→B→C→D geeft A→D); wat we kunnen bepalen als P→Q bekend staat als ONWAAR (P=W, Q=O); tautologieën zoals (P→Q)∨(Q→P); en de negatie ¬(P→Q) = P∧¬Q. Deze behandelen inhoud uit discrete wiskunde en formele logica cursussen.
Belangrijkste Kenmerken
45 Problemen Verspreid over 3 Niveaus
Basis (15): De volledige waarheidstabel voor P→Q met alle vier de rijen; identificeren van de enige onware uitkomst (P=W, Q=O); Modus Ponens (P→Q, P, ∴Q); Modus Tollens (P→Q, ¬Q, ∴¬P); waarom Het Ontkennen van het Voorafgaande en Het Bevestigen van het Gevolg ongeldig zijn; en vacuümte waarheid (onware antecedent = altijd waar). Gemiddeld (15): De contrapositie (¬Q→¬P), omkering (Q→P), en inverse (¬P→¬Q); welke paren logisch equivalent zijn; de biconditionele (P↔Q); de disjunctie-equivalentie (P→Q ≡ ¬P∨Q); de negatie van een voorwaarde; en hypothetische syllogismen. Gevorderd (15): Gekoppelde voorwaarden; tautologieën; weten dat P→Q onwaar is, dwingt P=W en Q=O; voorwaarden combineren om biconditionele te bewijzen; Q bepalen uit zowel P→Q als ¬P→Q; en de logische betekenis van P→P.
Interactieve Waarheidstabel Lobby
De lobby toont de complete waarheidstabel voor P→Q met kleurgecodeerde waarheidswaarden — groene schijven voor WAAR, rode voor ONWAAR — en markeert de rij die ONWAAR produceert. Dit dient als een permanente referentie en leert de centrale mechaniek voordat de quiz begint.
Semantische Keuze Kleuring
Antwoordtegels met WAAR zijn subtiel groen getint en tegels met ONWAAR zijn rood getint, zelfs vóór selectie, wat overeenkomt met hun semantische betekenis. Dit bouwt de associatie op tussen waarheidswaarde-labels en hun betekenis, in plaats van alle keuzes visueel identiek te behandelen.
Monospace Logische Notatie
Vragen en uitleg gebruiken standaard logische notatie: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. Het monospace lettertype maakt de logische structuur scanbaar en weerspiegelt hoe voorwaarden verschijnen in discrete wiskunde, informatica, en SAT/LSAT formele redeneringssecties.
Veelgestelde Vragen
Waarom is 'Als onwaar, dan alles' WAAR?
Dit wordt vacuümte waarheid genoemd. Een voorwaarde 'Als P, dan Q' is een belofte: 'Wanneer P gebeurt, zal Q gebeuren.' Als P nooit gebeurt (P is onwaar), wordt de belofte nooit getest — en een ongeteste belofte kan niet worden gebroken. Dus de voorwaarde is technisch waar. Dit voelt vreemd, maar is logisch consistent: een onware antecedent kan de voorwaarde nooit schenden.
Wat is het verschil tussen de contrapositie, omkering en inverse?
Origineel: Als P, dan Q (P→Q). Contrapositie: Als niet Q, dan niet P (¬Q→¬P) — EQUIVALENT aan origineel. Omkering: Als Q, dan P (Q→P) — NIET equivalent. Inverse: Als niet P, dan niet Q (¬P→¬Q) — NIET equivalent (maar equivalent aan de omkering). Geheugensteuntje: Origineel en Contrapositie zijn equivalent; Omkering en Inverse zijn equivalent aan elkaar.
Wat is Modus Ponens?
Modus Ponens ('het bevestigen van het antecedent'): P→Q, P, ∴Q. Als de voorwaarde geldt en het antecedent waar is, moet het gevolg waar zijn. Voorbeeld: 'Als het regent, wordt de grond nat. Het regent. Dus, de grond wordt nat.' Dit is de meest basale en universeel geldige vorm van deductieve inferentie.
Wat is Modus Tollens?
Modus Tollens ('het ontkennen van het gevolg'): P→Q, ¬Q, ∴¬P. Als de voorwaarde geldt en het gevolg ONWAAR is, moet het antecedent onwaar zijn. Voorbeeld: 'Als het regent, wordt de grond nat. De grond is NIET nat. Dus, het heeft NIET geregend.' Dit is geldig omdat de voorwaarde geschonden zou worden (P=W, Q=O) als P waar zou zijn.
Waarom is 'Het Bevestigen van het Gevolg' ongeldig?
Het Bevestigen van het Gevolg: P→Q, Q, ∴P is ongeldig. Zelfs als de voorwaarde geldt en Q waar is, kan P onwaar zijn — Q kan door iets anders zijn veroorzaakt. Voorbeeld: 'Als het regent, wordt de grond nat. De grond is nat. Dus, het heeft geregend.' Ongeldig — de grond kan nat zijn door een sproeier. De voorwaarde zegt niet dat regen de ENIGE oorzaak is van natheid.
Hoe werkt de puntentelling?
Correcte antwoorden leveren 10 punten op (Basis), 15 punten (Gemiddeld), of 20 punten (Gevorderd). Opeenvolgende correcte antwoorden voegen een streak-bonus van 5 punten per antwoord na het eerste toe. Een fout antwoord reset de streak naar nul.