Ragionamento logico
La sezione di ragionamento logico non richiede matematica avanzata: richiede di formalizzare brevi testi, rispettare le regole di inferenza e non aggiungere premesse che nessuno ha enunciato.
Strutture ricorrenti
- Condizionale «se P allora Q»: sono validi il modus ponens (P, dunque Q) e il modus tollens (non Q, dunque non P). Sono fallacie affermare il conseguente (Q, dunque P) e negare l'antecedente (non P, dunque non Q).
- Necessario e sufficiente: «P è sufficiente per Q» significa P implica Q; «P è necessario per Q» significa non P implica non Q.
- Quantificatori e insiemi: «tutti gli A sono B» non autorizza «tutti i B sono A»; «alcuni A sono B» equivale a «alcuni B sono A»; «nessun A è B» equivale a «nessun B è A».
- Contropositiva: P implica Q equivale a non Q implica non P; non equivale all'inversa non P implica non Q.
- Vincoli di ordine: disegna una linea e colloca gli elementi con «prima», «dopo», «immediatamente».
- Serie numeriche o alfabetiche: cerca differenze prime e seconde, rapporti, alternanze tra posizioni pari e dispari.
Esempio svolto
Premesse: «Se la legge è approvata, il regolamento è abrogato. Se il regolamento è abrogato, le imprese chiedono una proroga. Nessuna impresa ha chiesto una proroga». Conclusione corretta: la legge non è stata approvata. Infatti, dalla seconda premessa e dalla negazione del conseguente segue che il regolamento non è stato abrogato; dalla prima premessa e da questa negazione segue, per modus tollens, che la legge non è stata approvata. Le opzioni tipiche da scartare sono «la legge è approvata» e «il regolamento è abrogato», che affermano il conseguente o negano l'antecedente.
Trappole
Trattare «alcuni» come «non tutti»; ribaltare la direzione di un'implicazione; confondere possibilità e necessità («può» contro «deve»); importare conoscenze giuridiche o di senso comune estranee alle premesse; cercare in una serie un pattern più complesso di quello che serve.