Quiz de Lògica Condicional
Domina la lògica dels condicionals si/llavors (P → Q). 45 problemes en tres nivells: Fundació cobreix la taula de veritat per a P→Q (veritat buida, l'únic cas fals), Modus Ponens, Modus Tollens, i per què Affirming the Consequent i Denying the Antecedent són invàlids. Intermedi afegeix el contrapositiu, el recíproc, l'invers, el bicondicional (P↔Q), l'equivalència de disjunció (¬P∨Q), i el sil·logisme hipotètic. Avançat cobreix condicionals encadenats, negació de condicionals (¬(P→Q) = P∧¬Q), tautologies, anàlisi complexa de valors de veritat i casos extrems.
Més com aquest
Com Jugar a Si / Llavors
Aprèn la Taula de Veritat
La taula de veritat al lobby és la base de tot. P→Q és FALS en exactament UN cas: quan P és CERT i Q és FALS. En tots els altres casos — inclòs quan P és FALS — el condicional és CERT. Aquesta 'veritat buida' (un antecedent fals fa que el condicional sigui cert) és el concepte més contraintuïtiu per als principiants.
Reconeix les Regles d'Inferència
Modus Ponens (P→Q, P, ∴Q) i Modus Tollens (P→Q, ¬Q, ∴¬P) són vàlids. Denying the Antecedent (P→Q, ¬P, ∴¬Q) i Affirming the Consequent (P→Q, Q, ∴P) són fal·làcies INVÀLIDES. El nivell Fundació posa a prova els quatre.
Domina les Formes Equivalents
El nivell Intermedi posa a prova quatre formes relacionades: el CONTRAPOSITIU (¬Q→¬P, equivalent a l'original), el RECÍPROC (Q→P, NO equivalent), l'INVERS (¬P→¬Q, NO equivalent), i el BICONDICIONAL (P↔Q, cert només quan P i Q coincideixen). També: P→Q ≡ ¬P∨Q és l'equivalència de disjunció.
Gestiona Casos Avançats
Les preguntes avançades exploren: sil·logisme hipotètic encadenat (A→B→C→D dona A→D); què podem determinar si se sap que P→Q és FALS (P=V, Q=F); tautologies com (P→Q)∨(Q→P); i la negació ¬(P→Q) = P∧¬Q. Aquests cobreixen contingut de cursos de matemàtiques discretes i lògica formal.
Característiques clau
45 Problemes en 3 Nivells
Fundació (15): La taula de veritat completa per a P→Q amb les quatre files; identificar l'únic cas fals (P=V, Q=F); Modus Ponens (P→Q, P, ∴Q); Modus Tollens (P→Q, ¬Q, ∴¬P); per què Denying the Antecedent i Affirming the Consequent són invàlids; i la veritat buida (antecedent fals = sempre cert). Intermedi (15): El contrapositiu (¬Q→¬P), el recíproc (Q→P), i l'invers (¬P→¬Q); quines parelles són lògicament equivalents; el bicondicional (P↔Q); l'equivalència de disjunció (P→Q ≡ ¬P∨Q); la negació d'un condicional; i el sil·logisme hipotètic. Avançat (15): Condicionals encadenats; tautologies; saber que P→Q és fals obliga a P=V i Q=F; combinar condicionals per demostrar bicondicionals; determinar Q tant de P→Q com de ¬P→Q; i el significat lògic de P→P.
Lobby Interactiu de Taules de Veritat
El lobby mostra la taula de veritat completa per a P→Q amb valors de veritat codificats per colors — fitxes verdes per a CERT, vermelles per a FALS — i destaca l'única fila que produeix FALS. Això serveix com a referència persistent i ensenya la mecànica central abans que comenci el qüestionari.
Coloració Semàntica de les Opcions
Les fitxes de resposta que diuen CERT estan subtilment tenyides de verd i les fitxes que diuen FALS estan tenyides de vermell fins i tot abans de seleccionar-les, coincidint amb el seu significat semàntic. Això construeix l'associació entre les etiquetes de valor de veritat i el seu significat, en lloc de tractar totes les opcions com a visualment idèntiques.
Notació Lògica Monospaced
Les preguntes i explicacions utilitzen notació lògica estàndard: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. El tipus de lletra monospaced fa que l'estructura lògica sigui escanejable i imita com apareixen els condicionals en matemàtiques discretes, ciències de la computació i seccions de raonament formal de la selectivitat/LSAT.
Preguntes freqüents
Per què 'Si és fals, llavors qualsevol cosa' és CERT?
Això s'anomena veritat buida. Un condicional 'Si P, llavors Q' és una promesa: 'Sempre que P passi, Q passarà.' Si P mai no passa (P és fals), la promesa mai no es posa a prova — i una promesa no provada no es pot trencar. Per tant, el condicional és tècnicament cert. Això sembla estrany però és lògicament coherent: un antecedent fals mai no pot violar el condicional.
Quina és la diferència entre el contrapositiu, el recíproc i l'invers?
Original: Si P, llavors Q (P→Q). Contrapositiu: Si no Q, llavors no P (¬Q→¬P) — EQUIVALENT a l'original. Recíproc: Si Q, llavors P (Q→P) — NO equivalent. Invers: Si no P, llavors no Q (¬P→¬Q) — NO equivalent (però equivalent al recíproc). Truc de memòria: L'original i el contrapositiu són equivalents; el recíproc i l'invers són equivalents entre ells.
Què és Modus Ponens?
Modus Ponens ('afirmació de l'antecedent'): P→Q, P, ∴Q. Si el condicional es compleix i l'antecedent és cert, el consequent ha de ser cert. Exemple: 'Si plou, el terra es mulla. Està plovent. Per tant, el terra està mullat.' Aquesta és la forma d'inferència deductiva més bàsica i universalment vàlida.
Què és Modus Tollens?
Modus Tollens ('negació del consequent'): P→Q, ¬Q, ∴¬P. Si el condicional es compleix i el consequent és FALS, l'antecedent ha de ser fals. Exemple: 'Si plou, el terra es mulla. El terra NO està mullat. Per tant, NO ha plogut.' Això és vàlid perquè el condicional es violaria (P=V, Q=F) si P fos cert.
Per què 'Affirming the Consequent' és invàlid?
Affirming the Consequent: P→Q, Q, ∴P és invàlid. Fins i tot si el condicional es compleix i Q és cert, P podria ser fals — Q podria haver estat causat per alguna altra cosa. Exemple: 'Si plou, el terra es mulla. El terra està mullat. Per tant, ha plogut.' Invàlid — el terra podria estar mullat per un aspersor. El condicional no diu que la pluja sigui l'ÚNICA causa de la humitat.
Com funciona la puntuació?
Les respostes correctes obtenen 10 punts (Fundació), 15 punts (Intermedi) o 20 punts (Avançat). Les respostes correctes consecutives afegeixen una bonificació de ratxa de 5 punts per resposta després de la primera. Una resposta incorrecta reinicia la ratxa a zero.