Se / Allora — Quiz sulla Logica Condizionale
Padroneggia la logica dei condizionali se/allora (P → Q). 45 problemi suddivisi in tre livelli: Fondamenta copre la tavola di verità per P→Q (verità vacua, l'unico caso falso), Modus Ponens, Modus Tollens e perché Affermare il Consequente e Negare l'Antecedente sono invalidi. Intermedio aggiunge la contropositiva, la conversa, l'inversa, il bicondizionale (P↔Q), l'equivalenza disgiuntiva (¬P∨Q) e il sillogismo ipotetico. Avanzato copre condizionali concatenati, negazione di condizionali (¬(P→Q) = P∧¬Q), tautologie, analisi complessa dei valori di verità e casi limite.
Come Giocare a Se / Allora
- 1
Impara la Tavola di Verità
La tavola di verità nella lobby è il fondamento di tutto. P→Q è FALSO esattamente in UN caso: quando P è VERO e Q è FALSO. In tutti gli altri casi — incluso quando P è FALSO — il condizionale è VERO. Questa 'verità vacua' (un antecedente falso rende il condizionale vero) è il concetto più controintuitivo per i principianti.
- 2
Riconosci le Regole di Inferenza
Modus Ponens (P→Q, P, ∴Q) e Modus Tollens (P→Q, ¬Q, ∴¬P) sono validi. Negare l'Antecedente (P→Q, ¬P, ∴¬Q) e Affermare il Consequente (P→Q, Q, ∴P) sono fallacie NON VALIDE. Il livello Fondamenta testa tutti e quattro.
- 3
Padroneggia le Forme Equivalenti
Il livello Intermedio testa quattro forme correlate: la CONTROPOSITIVA (¬Q→¬P, equivalente all'originale), la CONVERSA (Q→P, NON equivalente), l'INVERSA (¬P→¬Q, NON equivalente) e il BICONDIZIONALE (P↔Q, vero solo quando P e Q corrispondono). Inoltre: P→Q ≡ ¬P∨Q è l'equivalenza disgiuntiva.
- 4
Gestisci i Casi Avanzati
Le domande avanzate esplorano: sillogismo ipotetico concatenato (A→B→C→D dà A→D); cosa possiamo determinare se P→Q è noto essere FALSO (P=V, Q=F); tautologie come (P→Q)∨(Q→P); e la negazione ¬(P→Q) = P∧¬Q. Questi coprono contenuti da corsi di matematica discreta e logica formale.
Caratteristiche Principali
45 Problemi Suddivisi in 3 Livelli
Fondamenta (15): La tavola di verità completa per P→Q con tutte e quattro le righe; identificazione dell'unico caso falso (P=V, Q=F); Modus Ponens (P→Q, P, ∴Q); Modus Tollens (P→Q, ¬Q, ∴¬P); perché Negare l'Antecedente e Affermare il Consequente sono invalidi; e la verità vacua (antecedente falso = sempre vero). Intermedio (15): La contropositiva (¬Q→¬P), la conversa (Q→P), l'inversa (¬P→¬Q); quali coppie sono logicamente equivalenti; il bicondizionale (P↔Q); l'equivalenza disgiuntiva (P→Q ≡ ¬P∨Q); la negazione di un condizionale; e il sillogismo ipotetico. Avanzato (15): Condizionali concatenati; tautologie; sapere che P→Q è falso forza P=V e Q=F; combinare condizionali per dimostrare bicondizionali; determinare Q sia da P→Q che da ¬P→Q; e il significato logico di P→P.
Lobby Interattiva con Tavola di Verità
La lobby mostra la tavola di verità completa per P→Q con valori di verità codificati per colore — gettoni verdi per VERO, rossi per FALSO — ed evidenzia l'unica riga che produce FALSO. Questo serve come riferimento costante e insegna la meccanica centrale prima che inizi il quiz.
Colorazione Semantica delle Scelte
Le tessere delle risposte che dicono VERO sono leggermente tinte di verde e le tessere che dicono FALSO sono tinte di rosso anche prima della selezione, abbinandosi al loro significato semantico. Questo crea l'associazione tra le etichette dei valori di verità e il loro significato, piuttosto che trattare tutte le scelte come visivamente identiche.
Notazione Logica Monospaziata
Domande e spiegazioni utilizzano la notazione logica standard: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. Il font monospaziato rende la struttura logica scansionabile e rispecchia come appaiono i condizionali in matematica discreta, informatica e nelle sezioni di ragionamento formale del SAT/LSAT.
Domande Frequenti
Perché 'Se falso, allora qualsiasi cosa' è VERO?
Questa è chiamata verità vacua. Un condizionale 'Se P, allora Q' è una promessa: 'Ogni volta che P accade, Q accadrà.' Se P non accade mai (P è falso), la promessa non viene mai messa alla prova — e una promessa non testata non può essere infranta. Quindi il condizionale è tecnicamente vero. Questo sembra strano ma è logicamente coerente: un antecedente falso non può mai violare il condizionale.
Qual è la differenza tra contropositiva, conversa e inversa?
Originale: Se P, allora Q (P→Q). Contropositiva: Se non Q, allora non P (¬Q→¬P) — EQUIVALENTE all'originale. Conversa: Se Q, allora P (Q→P) — NON equivalente. Inversa: Se non P, allora non Q (¬P→¬Q) — NON equivalente (ma equivalente alla conversa). Trucco mnemonico: Originale e Contropositiva sono equivalenti; Conversa e Inversa sono equivalenti tra loro.
Cos'è il Modus Ponens?
Modus Ponens ('affermazione dell'antecedente'): P→Q, P, ∴Q. Se il condizionale è valido e l'antecedente è vero, il consequente deve essere vero. Esempio: 'Se piove, il terreno si bagna. Piove. Quindi, il terreno è bagnato.' Questa è la forma di inferenza deduttiva più basilare e universalmente valida.
Cos'è il Modus Tollens?
Modus Tollens ('negazione del consequente'): P→Q, ¬Q, ∴¬P. Se il condizionale è valido e il consequente è FALSO, l'antecedente deve essere falso. Esempio: 'Se piove, il terreno si bagna. Il terreno NON è bagnato. Quindi, NON ha piovuto.' Questo è valido perché il condizionale sarebbe violato (P=V, Q=F) se P fosse vero.
Perché 'Affermare il Consequente' è invalido?
Affermare il Consequente: P→Q, Q, ∴P è invalido. Anche se il condizionale è valido e Q è vero, P potrebbe essere falso — Q potrebbe essere stato causato da qualcos'altro. Esempio: 'Se piove, il terreno si bagna. Il terreno è bagnato. Quindi, ha piovuto.' Invalido — il terreno potrebbe essere bagnato da un irrigatore. Il condizionale non dice che la pioggia sia l'UNICA causa dell'umidità.
Come funziona il punteggio?
Le risposte corrette valgono 10 punti (Fondamenta), 15 punti (Intermedio) o 20 punti (Avanzato). Risposte corrette consecutive aggiungono un bonus di serie di 5 punti per risposta dopo la prima. Una risposta sbagliata reimposta la serie a zero.