Om / Så — Villkorslogik-quiz

Hur man Spelar Om / Så

1. 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. 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. 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. 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