Ragionamento logico-deduttivo
Il modulo di ragionamento logico-deduttivo misura la capacità di trarre conclusioni necessarie da premesse date, senza aggiungere informazioni. Le tipologie ricorrenti sono sillogismi con quantificatori, condizionali, ordinamenti di grandezze e brevi deduzioni su persone o oggetti.
Quantificatori
- Tutti A sono B: afferma un'inclusione; non è reversibile.
- Nessun A è B: relazione simmetrica, vale anche come "nessun B è A".
- Alcuni A sono B: significa almeno uno, e non esclude che siano tutti; è simmetrico (alcuni B sono A).
Condizionali
Dato "se P allora Q":
- Modus ponens: P vero, quindi Q vero.
- Modus tollens: Q falso, quindi P falso.
- Contronominale: "se non Q allora non P" è equivalente all'originale.
- Affermare il conseguente ("Q, quindi P") o negare l'antecedente ("non P, quindi non Q") è sempre invalido.
Esempio svolto
Premesse. Tutti i candidati idonei hanno superato la prova scritta. Alcuni candidati idonei hanno superato anche la prova orale. Domanda. Si può concludere che alcuni candidati che hanno superato la prova scritta hanno superato la prova orale? Ragionamento. Chiamo I gli idonei, S chi ha superato lo scritto, O chi ha superato l'orale. Tutti gli I stanno in S; esiste almeno un I che sta in O; quindi quello stesso individuo sta in S e in O. La conclusione è valida.
Trappole che costano punti
- Invertire l'implicazione: "tutti i poliziotti sono pubblici ufficiali" non autorizza "tutti i pubblici ufficiali sono poliziotti".
- Trattare "alcuni" come "alcuni ma non tutti": nella logica dei test significa almeno uno.
- Confondere "solo se" (condizione necessaria) con "se" (condizione sufficiente).
- Aggiungere conoscenze del mondo reale: la conclusione deve dipendere solo dalle premesse.