Tratta le parole come regole esatte
La deduzione logica chiede quale conclusione deve derivare dalle premesse. Considera vera ogni premessa. Nomi come Amber e Birch sono semplici etichette di gruppi, non fatti su oggetti reali.
Tutti gli elementi Amber sono elementi Birch colloca ogni elemento Amber dentro Birch. Non dice che ogni elemento Birch sia Amber.
Alcuni significa almeno uno. Tutti e Nessuno non garantiscono che esistano elementi. Il confine di un gruppo nel diagramma mostra una relazione, non un elemento.
Segui l’intera catena
Considera vere queste premesse:
- Tutti gli elementi Amber sono elementi Birch.
- Nessun elemento Birch è un elemento Coral.
Ogni eventuale elemento Amber dovrebbe essere Birch. Ma Birch e Coral non possono sovrapporsi. Quindi nessun elemento Amber può essere Coral.
Questa conclusione vale anche se il gruppo Amber è vuoto. Abbiamo escluso una sovrapposizione; non abbiamo affermato che esista un elemento Amber.
Distingui l’inclusione dall’esistenza
Usa solo queste nuove premesse:
- Tutti gli elementi Amber sono elementi Birch.
- Tutti gli elementi Birch sono elementi Coral.
Segui ciò che deve essere vero per ogni eventuale elemento Amber. Poi controlla se una delle premesse dice che un elemento Amber esiste davvero.
Scegli la conclusione garantita, non una che potrebbe essere vera per caso.
Prova tu
Quale conclusione deve derivare dalle premesse?
- Alcuni elementi Amber sono elementi Coral.
- Tutti gli elementi Amber sono elementi Coral.
Mostra la risposta
Tutti gli elementi Amber sono elementi Coral.
Ogni elemento Amber sarebbe Birch e ogni elemento Birch sarebbe Coral. Quindi tutti gli elementi Amber sono elementi Coral. Questo non afferma che esistano elementi Amber.
Attiva JavaScript per rispondere in modo interattivo e salvare il punto raggiunto.
Esercitati: Deduzione logica