Om / Så — Villkorslogik-quiz
Bemästra logiken i om/så-villkor (P → Q). 45 problem i tre nivåer: Grundläggande täcker sanningstabellen för P→Q (tom sanning, det enda falska fallet), Modus Ponens, Modus Tollens och varför Bekräftelse av konsekvent och Förnekelse av antecedent är ogiltiga. Mellannivå lägger till kontrapositiv, konvers, invers, bikonditional (P↔Q), disjunktions-ekvivalensen (¬P∨Q) och hypotetisk syllogism. Avancerad täcker kedjade villkor, negation av villkor (¬(P→Q) = P∧¬Q), tautologier, komplex sanningvärdesanalys och specialfall.
Hur man Spelar Om / Så
- 1
Lär dig Sanningstabellen
Sanningstabellen i lobbyn är grunden för allt. P→Q är FALSKT i exakt ETT fall: när P är SANT och Q är FALSKT. I alla andra fall — inklusive när P är FALSKT — är villkoret SANT. Denna 'tomma sanning' (en falsk antecedent gör villkoret sant) är det mest kontraintuitiva konceptet för nybörjare.
- 2
Känn igen Inferensreglerna
Modus Ponens (P→Q, P, ∴Q) och Modus Tollens (P→Q, ¬Q, ∴¬P) är giltiga. Förnekelse av antecedent (P→Q, ¬P, ∴¬Q) och Bekräftelse av konsekvent (P→Q, Q, ∴P) är OGILTIGA felslut. Grundnivån testar alla fyra.
- 3
Bemästra de Ekvivalenta Formerna
Mellannivån testar fyra relaterade former: KONTRAPOSITIV (¬Q→¬P, ekvivalent med originalet), KONVERS (Q→P, INTE ekvivalent), INVERS (¬P→¬Q, INTE ekvivalent), och BIKONDITIONAL (P↔Q, sann endast när P och Q matchar). Dessutom: P→Q ≡ ¬P∨Q är disjunktions-ekvivalensen.
- 4
Hantera Avancerade Fall
Avancerade frågor utforskar: kedjad hypotetisk syllogism (A→B→C→D ger A→D); vad vi kan bestämma om P→Q är känt för att vara FALSKT (P=S, Q=F); tautologier som (P→Q)∨(Q→P); och negation ¬(P→Q) = P∧¬Q. Dessa täcker innehåll från kurser i diskret matematik och formell logik.
Nyckelfunktioner
45 Problem i 3 Nivåer
Grundläggande (15): Hela sanningstabellen för P→Q med alla fyra raderna; identifiera det enda falska fallet (P=S, Q=F); Modus Ponens (P→Q, P, ∴Q); Modus Tollens (P→Q, ¬Q, ∴¬P); varför Förnekelse av antecedent och Bekräftelse av konsekvent är ogiltiga; och tom sanning (falsk antecedent = alltid sann). Mellannivå (15): Kontrapositiv (¬Q→¬P), konvers (Q→P), och invers (¬P→¬Q); vilka par som är logiskt ekvivalenta; bikonditional (P↔Q); disjunktions-ekvivalensen (P→Q ≡ ¬P∨Q); negation av ett villkor; och hypotetisk syllogism. Avancerad (15): Kedjade villkor; tautologier; att veta att P→Q är falskt tvingar P=S och Q=F; kombinera villkor för att bevisa bikonditionaler; bestämma Q från både P→Q och ¬P→Q; och den logiska betydelsen av P→P.
Interaktiv Sanningstabellslobby
Lobbyn visar den kompletta sanningstabellen för P→Q med färgkodade sanningsvärden — gröna marker för SANT, röda för FALSKT — och markerar den enda raden som ger FALSKT. Detta fungerar som en ständig referens och lär ut den centrala mekaniken innan quizet börjar.
Semantisk Valfärgning
Svarsbrickor som säger SANT är subtilt färgade gröna och brickor som säger FALSKT är färgade röda redan före valet, vilket matchar deras semantiska betydelse. Detta bygger associationen mellan sanningsvärdesetiketter och deras betydelse, snarare än att behandla alla val som visuellt identiska.
Monospace Logisk Notation
Frågor och förklaringar använder standard logisk notation: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. Monospace-fonten gör den logiska strukturen skanningsbar och speglar hur villkor visas i diskret matematik, datavetenskap och SAT/LSAT formella resonemangsavsnitt.
Vanliga frågor
Varför är 'Om falskt, så vad som helst' SANT?
Detta kallas tom sanning. Ett villkor 'Om P, så Q' är ett löfte: 'Närhelst P inträffar, kommer Q att inträffa.' Om P aldrig inträffar (P är falskt), testas aldrig löftet — och ett otestat löfte kan inte brytas. Därför är villkoret tekniskt sett sant. Detta känns konstigt men är logiskt konsekvent: en falsk antecedent kan aldrig bryta villkoret.
Vad är skillnaden mellan kontrapositiv, konvers och invers?
Original: Om P, så Q (P→Q). Kontrapositiv: Om inte Q, så inte P (¬Q→¬P) — EK VIVALENT med originalet. Konvers: Om Q, så P (Q→P) — INTE ekvivalent. Invers: Om inte P, så inte Q (¬P→¬Q) — INTE ekvivalent (men ekvivalent med konversen). Minnesregel: Original och Kontrapositiv är ekvivalenta; Konvers och Invers är ekvivalenta med varandra.
Vad är Modus Ponens?
Modus Ponens ('bekräfta antecedenten'): P→Q, P, ∴Q. Om villkoret gäller och antecedenten är sann, måste konsekventen vara sann. Exempel: 'Om det regnar, blir marken våt. Det regnar. Alltså är marken våt.' Detta är den mest grundläggande och universellt giltiga formen av deduktiv inferens.
Vad är Modus Tollens?
Modus Tollens ('förneka konsekventen'): P→Q, ¬Q, ∴¬P. Om villkoret gäller och konsekventen är FALSK, måste antecedenten vara falsk. Exempel: 'Om det regnar, blir marken våt. Marken är INTE våt. Alltså regnade det INTE.' Detta är giltigt eftersom villkoret skulle brytas (P=S, Q=F) om P vore sant.
Varför är 'Bekräftelse av konsekvent' ogiltigt?
Bekräftelse av konsekvent: P→Q, Q, ∴P är ogiltigt. Även om villkoret gäller och Q är sant, kan P vara falskt — Q kunde ha orsakats av något annat. Exempel: 'Om det regnar, blir marken våt. Marken är våt. Alltså regnade det.' Ogiltigt — marken kan vara våt från en vattenspridare. Villkoret säger inte att regn är den ENDA orsaken till att det är vått.
Hur fungerar poängsättning?
Korrekt svar ger 10 poäng (Grundläggande), 15 poäng (Mellannivå) eller 20 poäng (Avancerad). Konsekutiva korrekta svar lägger till en bonus på 5 poäng per svar efter det första. Ett felaktigt svar återställer streaken till noll.