Classe quinta, secondaria di secondo gradoPercorso edumaterial
Che cosa imparerai
- Distinguere ipotesi, definizioni e conseguenze in un sistema semplice.
- Motivare una conclusione con un indizio pertinente.
- Esplicitare ciò che il caso non permette di dedurre.
Prima di iniziare
- Implicazione logica
- Numeri pari
L'idea centrale
Un sistema assiomatico dichiara i punti di partenza e ricava conseguenze mediante regole di inferenza. In un modello minimo, fissiamo: ogni numero pari è divisibile per due; otto è pari. Possiamo concludere che otto è divisibile per due. La conclusione segue dalle premesse, mentre la verità di una premessa in un'applicazione concreta richiede una verifica distinta. Un disegno può suggerire una proprietà, ma non sostituisce una dimostrazione generale.
- Relazione e condizioni
- Per controllare un ragionamento separa definizione, premessa del caso e passo logico. Un controesempio confuta un'affermazione universale, non dimostra automaticamente una teoria rivale. L'utilità del metodo sta nel rendere visibili le dipendenze: se si cambia un assioma, occorre riesaminare le conseguenze. La scelta di usare un esempio aritmetico qui è editoriale; il DM lascia al docente la scelta del settore.
Come ragionare
- Traduci il testo in oggetti, variabili e condizioni matematiche.
- Scegli il teorema o la formula e verifica le sue ipotesi.
- Svolgi i passaggi algebrici mostrando i risultati intermedi.
- Controlla il risultato nel caso dato e dichiara dove il metodo non vale.
Esempio svolto
Se tutti gli oggetti A sono B e x è A, che cosa segue?
- Si applica la regola universale al caso x.
x è B.
Errore da evitare
Errore frequente: Invertire A⇒B come B⇒A oppure chiamare dimostrazione una lista finita di esempi. Correzione: Esplicita premesse e regola d'inferenza; prova il converso separatamente o cerca un controesempio.
Limiti
- Il caso e il diagramma sono costruzioni didattiche, non documenti autentici o una trattazione esaustiva.
Prova subito
Se 'tutti i multipli di quattro sono pari' e 12 è multiplo di quattro, qual è la conclusione e quali premesse usa? Motiva la risposta con i dati del caso.
Vedi la soluzione spiegata
Risposta: 12 è pari, date entrambe le premesse. La proprietà universale da sola non identifica 12; serve anche la premessa particolare.
La proprietà universale da sola non identifica 12; serve anche la premessa particolare.
Risposta: 12 è pari, date entrambe le premesse. La proprietà universale da sola non identifica 12; serve anche la premessa particolare.
La proprietà universale da sola non identifica 12; serve anche la premessa particolare.
Uno studente inverte 'ogni multiplo di quattro è pari' in 'ogni pari è multiplo di quattro'. Costruisci un controesempio e identifica il passaggio illecito.
Vedi la soluzione spiegata
Risposta: Il numero 6 è pari ma non multiplo di quattro; il converso non segue dalla premessa.
Un'implicazione A⇒B non autorizza B⇒A senza una premessa ulteriore.
Risposta: Il numero 6 è pari ma non multiplo di quattro; il converso non segue dalla premessa.
Un'implicazione A⇒B non autorizza B⇒A senza una premessa ulteriore.
Tre figure misurate soddisfano una proprietà. Questo dimostra che vale per tutte le figure possibili?
Vedi la soluzione spiegata
Risposta: No: tre esempi sostengono una congettura, non una dimostrazione universale.
Un caso non osservato potrebbe essere un controesempio; servono premesse e inferenza generale.
Risposta: No: tre esempi sostengono una congettura, non una dimostrazione universale.
Un caso non osservato potrebbe essere un controesempio; servono premesse e inferenza generale.
Nel modello M vale A⇒B; osservi B. Quale conclusione su A è lecita?
Vedi la soluzione spiegata
Risposta: Non puoi dedurre A dalla sola presenza di B.
L'implicazione non afferma il converso B⇒A.
Risposta: Non puoi dedurre A dalla sola presenza di B.
L'implicazione non afferma il converso B⇒A.
Un ragionamento usa un assioma non dichiarato. Quale limite deve riportare la conclusione?
Vedi la soluzione spiegata
Risposta: La conclusione è condizionata a quell'assioma e non vale automaticamente in altri modelli.
L'insieme delle premesse determina dove la deduzione è applicabile.
Risposta: La conclusione è condizionata a quell'assioma e non vale automaticamente in altri modelli.
L'insieme delle premesse determina dove la deduzione è applicabile.
Allineamento curricolare e fonti
- MATEMATICA / metodo assiomatico · righe 1261–1267 · Distinguere ipotesi, definizioni e conseguenze in un sistema semplice. Riferimento ufficiale: QUINTO ANNO. · DM 211/2010 · Allegato F · Liceo scientifico ordinario · obiettivi delle discipline