Appunti di (test di) logica

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Appunti di (test di) logica"

Transcript

1 Appunti di (test di) logica Luca Mari, - maggio 2010 Questi Appunti sono stati redatti per un ciclo di quattro seminari tenuti nei mesi di febbraio e marzo 2009, e ripetuti nei mesi di aprile e maggio 2010, per gli studenti del Liceo C.Rebora, di Rho, con l obiettivo di presentare ai partecipanti, alcune decine di studenti degli ultimi anni di scuola superiore, elementi di logica utili come strumenti per affrontare in modo appropriato i test di logica tipicamente proposti nelle prove di ammissione ai corsi di laurea. Sommario 0. Premessa Introduzione Cenni di (test di) logica proposizionale Cenni di (test di) logica predicativa Cenni di (test di) logica in senso lato Premessa (dal sito: enfatizzazioni mie) Sui test in generale I test sono generalmente composti da una sezione verbale, che misura la comprensione linguistica e concettuale, e da una sezione matematica, che verifica la capacità di risolvere problemi che richiedano il ragionamento logico-matematico e una conoscenza di base dell algebra e della geometria. Il test, dunque, sebbene prenda in esame quanto appreso nel corso dell istruzione, soprattutto, secondaria, tenta di evitare di porre quesiti che dipendano dalla conoscenza di argomenti specifici, per mettere invece l accento sulla capacità di utilizzare abilità acquisite per risolvere problemi nuovi. Di fronte alla crescente diffusione dei test di selezione molti studenti chiedono se valga la pena di svolgere una specifica preparazione. In questo senso una certa familiarità con i test è fondamentale: chi ha già avuto esperienze di test, e sa quindi cosa aspettarsi, è più sicuro di sé rispetto a chi non ne ha avute. Per esempio, si può essere avvantaggiati dalla familiarità con le schede di risposta e con il modo corretto di compilarle, dalla capacità di esaminare attentamente tutte le risposte di un test a scelta multipla anziché scegliere la prima soluzione che sembra corretta, dal sapere di non dovere perdere troppo tempo per le domande che non si riescono a risolvere, dal capire se e quando vale la pena di rischiare una risposta casuale (se non vi sono penalizzazioni per le risposte errate, vale la pena di tentare comunque a caso; se la risposta errata comporta una penalizzazione è più opportuno cercare di ridurre le alternative eliminando le risposte che sembrano più improbabili). Sulla parte dei test relativa alla cultura generale e capacità logica Per queste prove non esiste un programma specifico. I test mirano a saggiare il livello culturale degli studenti oppure la loro capacità di comprendere e di interpretare un testo (comprensione verbale). I test di capacità logica consistono prevalentemente in problemi la cui soluzione richiede facoltà di concentrazione, di analisi e di sintesi; non si richiedono nozioni specifiche, ma di volta in volta nell enunciato dei test vengono forniti tutti gli elementi necessari per risolverli correttamente. Le domande di capacità logica valutano: 1. la capacità di comprendere il significato preciso dei termini, di cogliere termini simili e analogie etimologiche; di capire quale categoria mentale (causa-effetto, contrapposizione, identità,...) stabilisce un rapporto tra coppie di parole; di scegliere tra varie parole quelle che possono essere inserite opportunamente in un discorso dato o di riconoscere quelle che non rispondono alla logica del discorso stesso; 2. la capacità di distinguere, tra le diverse interpretazioni di grafici, quelle ammissibili da quelle errate o arbitrarie; 3. la capacità di ritenere le informazioni che si sono appena lette, di interpretarle, di trarre delle conclusioni conseguenti e di scartare conclusioni errate, arbitrarie o non rigorosamente giustificate. I test di capacità logica presentano domande di carattere molto diversificato sia nella lunghezza 1

2 dell enunciato, sia nel contenuto. Alcuni contengono testi di attualità comparsi su quotidiani o su riviste di ampia tiratura, altri di autori del passato o contemporanei che presentano riflessioni di carattere sociale o morale, o passi significativi di recenti testi di narrativa. Tra questi quesiti possono comparire anche problemi in cui si delinea una situazione puramente teorica, alla quale vengono proposte soluzioni da vagliare sulla base dei dati forniti; è richiesta quindi molta attenzione alla definizione della situazione e alla distinzione tra ciò che in essa è possibile, necessario o logicamente inammissibile. I quesiti di logica non richiedono comunque una specifica preparazione culturale in definiti ambiti disciplinari. 1. Introduzione Per superare un test occorre essere allenati a sufficienza, per gestire il (generalmente non tanto) tempo in modo efficiente, applicando sia il ragionamento in avanti / forward chaining (l unico in generale possibile se la domanda non fosse a risposte chiuse) ma anche all indietro / backward chaining (dato il fatto che le risposte possibili sono pre-identificate, operare per esclusione, eliminando progressivamente i distrattori ). Di fronte a un problema, il primo passo da compiere generalmente consiste nell individuarne la struttura, separando forma da contenuto, con un processo di astrazione (nota che generalmente l enfasi è al contrario...) che porta a mantenere appunto solo la struttura del problema. Per esempio: PROBLEMA 1 Il beffardo mago Atlante ha rinchiuso in un castello fatato Angelica, l intelligente principessa cinese. Angelica è confinata in una stanza con cinque porte contrassegnate UNO, DUE, TRE, QUATTRO, CINQUE davanti a ciascuna delle quali sta un aiutante di Atlante, con il contrassegno della porta ricamato sul cappello. Lei sa che quattro di essi mentono sempre e uno sempre dice la verità. Dietro alle porte dei mentitori c è un disgustoso e vorace drago, ma dietro alla porta dell aiutante che dice la verità c è il corridoio che porta fuori dal castello. Angelica rivolge alcune domande agli aiutanti del mago, ricevendo queste informazioni: - UNO dice che TRE, QUATTRO e CINQUE mentono - TRE dice che UNO o DUE dicono il vero - QUATTRO dice che TRE dice il vero Da quale porta deve uscire Angelica? A) CINQUE B) UNO C) QUATTRO D) TRE E) DUE Individuando la struttura del problema, si tralasciano tutti i dettagli a proposito di beffardi maghi, intelligenti principesse,... Ciò che rimane è che ci sono cinque proposizioni, una vera e quattro false, e che occorre individuare quella vera. Ciò è tipico della logica, che infatti assume la verità delle asserzioni di partenza e si accontenta di trarne le conclusioni, come per il sillogismo: ((Socrate è un uomo) e (ogni uomo è mortale)) implica (Socrate è mortale) e assume solo poche, e generalmente non particolarmente significative (significative, appunto...) verità logiche (chiamate tautologie ), come A=A, dove A è il simbolo per una proposizione qualsiasi. Questa è poi la ragione per cui si possono proporre test di logica: non si deve essere esperti di beffardi maghi e intelligenti principesse, ma solo di ragionamento, acquisendo familiarità con alcune strutture logiche di base (connettivi proposizionali, quantificatori, condizioni necessarie e sufficienti, ). Al proposito, due considerazioni: 1. l uso di simboli, che avvicina la logica alla matematica, presenta vari benefici (elimina, o almeno riduce, le ambiguità delle espressioni nei linguaggi storico-naturali; è sintetico; consente di calcolare la verità di proposizioni composte a partire dalla verità delle proposizioni componenti: vedremo in che senso e come), ma comporta una, per qualcuno innaturale, attenzione alle questioni specificamente notazionali. Per esempio: 2

3 PROBLEMA 2 Se x è il numero mancante nella seguente successione: 1, 1; 9, 3; 25, 5; 49, 7; x, 9;... dire quante tra le seguenti conclusioni sono corrette: x > 9 x > 98 x < 100 x < 50 A) 2 B) 4 C) 3 D) 1 E) 0 un problema davvero semplice non appena ci si accorga dell uso specificamente notazionale, appunto della virgola e del punto e virgola nella successione, eseguendo quindi con cura i due passi: - trovare il valore di x: x=81; - contare il numero di conclusioni corrette. 2. Il punto di partenza dei test è generalmente un affermazione, cioè una proposizione che viene dichiarata vera (per cui per esempio A=A si può scrivere anche A A, a significare A è vero se e solo se A è vero ). Se dunque scrivere A corrisponde in effetti a scrivere A è (considerata) vero, ci occorre una notazione per asserire invece che A non è vero: A, che si legge anche A è falso a causa dei principi di bivalenza, A A (non-non-a è vero se e solo se A è vero) e del terzo escluso, A o non-a, in simboli A A (è sempre vero, cioè è una tautologia, che A o non-a). Applicando poi le leggi di De Morgan, (A B) ( A B) (il simbolo rappresenta la congiunzione e ) e (A B) ( A B), si mostra facilmente che i principi del terzo escluso e di non contraddizione sono equivalenti: (A A) (A A)). Dal principio di bivalenza segue tra l altro che nella logica che stiamo considerando che si rifa a quella che può essere chiamata logica classica sono previsti solo due valori di verità, vero e falso. Quando si vuole mettere in evidenza la presenza di tali valori di verità, l asserzione della verità di una proposizione A può essere essere scritta v(a)=v, oppure v(a)=f per indicare la falsità di A, dunque mediante una funzione v, verità di, che attribuisce un valore di verità, V o F, a una proposizione A. Tornando a questioni più generali, quando ci si trova di fronte a un test è utile identificare il tipo di problema che pone. Si possono forse identificare tre categorie generali di test generalmente considerati di logica : 1. test di logica in senso stretto (come il PROBLEMA 1); 2. test di ragionamento matematico ipotetico (o ipotetico-deduttivo) (come il PROBLEMA 2); 3. test di ragionamento matematico deduttivo. Un esempio di questa terza categoria è il seguente: PROBLEMA 3 Del numero intero n sappiamo che è compreso tra 2 e 6 (precisamente 2 n 6) e che rende vera una e una sola delle seguenti affermazioni: n è divisibile per 4 n è divisibile per 6 n è divisibile per 2 n è un divisore proprio di 6 Qual è il valore di n? A) 3 B) 6 C) 5 D) 4 E) 2 3

4 non particolarmente complesso non appena ci si ricordi il significato dei concetti di divisibilità e di divisore proprio. In questo caso non sembra possibile se non andare per tentativi, considerando via via tutti i numeri 2, 3,, 6. 2: verifica due affermazioni; 3: verifica un affermazione; 4: verifica due affermazioni; 5: non verifica alcuna affermazione; 6: verifica due affermazioni. Le tre categorie di problemi citate sono sufficientemente diverse tra loro non tanto per la forma con cui si presentano, ma per le condizioni di soluzione che prospettano: 1. i test di logica in senso stretto sono generalmente risolubili con un ragionamento formale (cioè: un po di intuizione può essere utile, ma non è necessaria); 2. i test di ragionamento matematico ipotetico richiedono alcune competenze di base ma anche intuizione; 3. i test di ragionamento matematico deduttivo richiedono generalmente solo alcune competenze di base. Torniamo ora a considerare il PROBLEMA 1. Abbiamo già individuato la struttura del problema, tralasciando dunque tutti i dettagli a proposito di beffardi maghi, intelligenti principesse,...: ci sono cinque proposizioni, indichiamole semplicemente 1,..., 5, una vera e quattro false. Occorre individuare quale è vera. Conosciamo in modo diretto solo tre di esse: 1 = 3 4 5:? 3 = 1 2:? 4 = 3:? La verità di 4 implicherebbe che anche 3 sia vera, cosa non possibile. Dunque 4 e perciò 3. Da 3 segue (1 2), che per la legge di De Morgan è equivalente a 1 2. Ciò è già sufficiente per concludere che 5. Verifichiamo comunque questa conclusione analizzando anche 1. Poiché 1, allora ( 3 4 5), che ancora per la legge di De Morgan è equivalente a 3 4 5, compatibile con l asserzione di verità di Cenni di (test di) logica proposizionale [esistono numerosi testi di introduzione alla logica; un buon riferimento sugli argomenti di questo e del prossimo capitolo è in particolare: W. Hodges, Logica, Garzanti, 1986] Lavoriamo un po sulla prima categoria di problemi, i test di logica in senso stretto. Un semplice esempio è il seguente: PROBLEMA 4 L affermazione quando bevo troppo, mi si gonfia lo stomaco implica che: A) se non mi si gonfia lo stomaco allora non ho bevuto troppo B) non mi si gonfia lo stomaco pur avendo bevuto troppo C) a volte capita che non mi si gonfi lo stomaco pur avendo bevuto troppo D) se mi si gonfia lo stomaco vuol dire che ho bevuto troppo E) o bevo troppo o mi si gonfia lo stomaco Si può certamente cercare di vedere intuitivamente la soluzione, e in casi semplici come questo, per chi ne è in grado, è forse perfino la tecnica più efficiente. Ma esiste anche una tecnica semi-algoritmica, che è sufficientemente generale e ha tra il vantaggio di limitare il ruolo dell intuizione, e quindi di essere impiegabile anche dai non intuitivi. Tale tecnica si basa sui seguenti passi, applicabili a ogni affermazione A da considerare, per esempio A= quando bevo troppo, mi si gonfia lo stomaco. 1. Si analizza la struttura di A e si stabilisce se sia una proposizione elementare, cioè non costituita da due o più proposizioni, o sia una proposizione composta. Un criterio empirico per stabilire se un espressione candidata x sia o meno una proposizione è il seguente: se è vero che x è grammaticalmente corretto, naturalmente sostituendo a x l espressione candidata, allora tale espressione è una proposizione. Le 4

5 proposizioni elementari sono allora proposizioni non scomponibili. Nell esempio, A è chiaramente una proposizione composta, le proposizioni elementari componenti essendo bevo troppo e mi si gonfia lo stomaco. E immediato constatare che anche le proposizioni A)-E) sono composte. 2. Nel caso in cui la proposizione considerata sia composta, la si riscrive isolando i connettivi dalle proposizioni elementari e, per sintesi, sostituendo queste ultime con dei simboli; A potrebbe diventare perciò: quando B, S, avendo sostituito B= bevo troppo e S= mi si gonfia lo stomaco. In questa riscrittura, modi e tempi dei verbi tendono a perdere di importanza. Per esempio B= bevo troppo, ma anche B= ho bevuto troppo, come nella proposizione A). 3. Il problema che si pone ora è di ricondurre il valore di verità della proposizione composta al valore di verità delle proposizioni elementari; nell esempio, la domanda da porsi è: come dipende il valore di verità di quando B, S dal valore di verità di B e di S? Ancora più concretamente, se per esempio B (cioè è falso che abbia bevuto troppo) e S (mi si è comunque gonfiato lo stomaco), diremmo che quando B, S è vera o falsa? Data la ricchezza espressiva di una lingua come l italiano, una soluzione generale a problemi di questo genere è difficile da trovare. E anche per questo che i logici, anche al costo di perdere alcuni dettagli e sfumature semantiche, hanno individuato alcune forme standard, a cui le proposizioni che ci vengono proposte dovrebbero essere ricondotte, per parafrasi. Tali forme standard sono, in particolare: - non A (in simboli A): negazione; - A o B (in simboli A B): disgiunzione; - o A o B (in simboli A B): disgiunzione esclusiva; - A e B (in simboli A B): congiunzione; - A implica B (o: se A allora B ) (in simboli A B): implicazione; - A se e solo B (in simboli A B): bi-implicazione o equivalenza. Parafrasiamo dunque l affermazione iniziale del problema e le proposizioni A)-E) in modo da ricondurle a forme standard (si noti ancora che nelle parafrasi modi e tempi verbali tendono a non essere importanti): quando B, S diventa se B allora S : B S A) se non S allora non B non richiede parafrasi: S B B) non S pur B diventa non S e B : S B C) a volte non S pur B contiene il problematico a volte, che non sappiamo come trattare; per il resto è identico a B D) se S vuol dire che B diventa se S allora B : S B E) o B o S non richiede parafrasi: B S 4. I connettivi che caratterizzano le forme standard sono tali che il valore di verità di una proposizione composta mediante ognuno di essi dipende esclusivamente dal valore di verità delle proposizioni componenti (e perciò in logica sono chiamati vero-funzionali ). Tali relazioni di dipendenza sono presentate in modo efficace mediante le cosiddette tavole della verità : A A V F F V (da leggere: se A è vero allora A è falso, e se A è falso allora A è vero) A B A B A B A B A B A B A B A B V V V V V F V V V V V V V F V V F V V F F V F F F V V F V V F V F F V F F F F F F F F F F F F V 5

6 tutti non solo ragionevoli ma anche semplici da comprendere (ma si noti la differenza tra disgiunzione e disgiunzione esclusiva). Per ultima, perché particolarmente importante e perché non così intuitivamente semplice, la tavola della verità dell implicazione: A B A B V V V V F F F V V F F V che si può leggere così: A implica B è sempre vero salvo quando da una premessa, A, vera si ottiene una conseguenza, B, falsa; oppure anche: mentre da una premessa vera si può dedurre solo una conseguenza vera, da una premessa falsa si può dedurre qualsiasi conclusione. Il problema che ci siamo posti è dunque: (B S)? Non bisogna però lasciarsi trarre in inganno dalla condizione di implicazione: dato che affermare una proposizione significa asserirne la verità, la situazione corrisponde in effetti alla sola prima riga della tavola di verità, e quindi il problema è in effetti (B S)? Si tratta, in pratica, di verificare se: A) (B S) ( S B)? B) (B S) ( S B)? e così via. Applicando passo passo le tavole della verità, controlliamo la prima (tra parentesi l ordine di calcolo): B (0) (1) S (0) (4) S (2) (3) B (2) V V V V F V F V F F V V F F F V V V F V V F V F V V V V che ne dimostra la correttezza: (B S) ( S B) è una tautologia, e quindi A) è la risposta esatta. Per completezza, controlliamo anche la seconda: B (0) (1) S (0) (4) S (2) (3) B (2) V V V F F F V V F F V V V V F V V F F F F F V F F V F F che invece nella colonna (4) contiene dei valori F, cosa che indica che l ipotesi B) è sbagliata. Un altro problema: PROBLEMA 5 Da Chi dorme non piglia pesci segue logicamente: A) chi piglia pesci non dorme B) chi non piglia pesci non dorme C) chi non piglia pesci dorme D) chi piglia pesci dorme E) Nessuna delle altre alternative proposte Riscriviamo l affermazione iniziale in forma standard: se uno dorme, allora non piglia pesci. La simbolizzazione di questa affermazione secondo le modalità introdotte finora, dunque D P, nasconde un problema, dato che non consente di distinguere se uno dorme, allora non piglia pesci da se uno dorme, allora un altro non piglia pesci, proposizioni la cui verità non è evidentemente la stessa. Vedremo nel seguito come affrontare questo genere di problemi; per ora manteniamo la forma proposizionale: D P. 6

7 Trasformiamo corrispondentemente anche le risposte: A) P D B) P D C) P D D) P D A questo punto si può operare con le tavole della verità per trovare a quale tra le proposizioni A)-E) l affermazione di partenza è equivalente. Ancora un problema: PROBLEMA 6 Nel diario del giovane Telesforo è scritto: Nonno Ubaldo dice che quando era giovane ha traversato l oceano Atlantico a nuoto e che riusciva a battere in velocità le balene. Secondo me questa è una bugia. Si dica cosa si può correttamente dedurre dalla convinzione di Telesforo. A) Se Nonno Ubaldo riusciva a battere in velocità le balene allora non ha traversato l oceano Atlantico a nuoto B) A Nonno Ubaldo non piacciono le balene C) Nonno Ubaldo ha traversato l oceano Atlantico a nuoto ma non riusciva a battere in velocità le balene D) Nonno Ubaldo non ha traversato l oceano Atlantico a nuoto ma riusciva comunque a battere in velocità le balene E) Nonno Ubaldo non ha traversato l oceano Atlantico a nuoto e non riusciva a battere in velocità le balene Indichiamo T= Nonno Ubaldo quando era giovane ha traversato l oceano Atlantico a nuoto e B= Nonno Ubaldo riusciva a battere in velocità le balene. Dunque la convinzione di Telesforo è che (T B). Per De Morgan, ciò è equivalente a T B. Riscriviamo ora anche le proposizioni A)-E): A) B T B)... C) T B D) T B E) T B Nuovamente, si può ora operare con le tavole della verità. Come si vede, le leggi di De Morgan: (A B) ( A B) (A B) ( A B) sono spesso utili per trasformare le proposizioni, mantenendone le condizioni di verità. Analogamente, è utile imparare le seguenti due equivalenze, relative all implicazione: (A B) ( A B) (A B) ( B A) Dimostriamo, a titolo di esempio, la seconda: A (0) (1) B (0) (4) Β (2) (3) A (2) V V V V F V F V F F V V F F F V V V F V V F V F V V V V E plausibile che con queste poche, e semplici, regole la gran parte dei test di logica delle proposizioni possano essere interpretati e risolti. Facciamo qualche esercizio di parafrasi, in particolare per trovare esempi di proposizioni equivalenti, compatibili e incompatibili a quella di partenza: 7

8 Sarai bocciato, a meno che tu non ti metta a studiare Tale affermazione è parafrasabile in se non S allora B, equivalente a S o B : studi o sarai bocciato (attenzione: non si tratta della disgiunzione esclusiva, o studi o sarai bocciato, che nega la possibilità che pur studiando si sia bocciati). Per analizzare le condizioni di verità dell affermazione, è particolarmente efficace sfruttare la corrispondenza tra logica e insiemistica, e quindi rappresentare A B in un diagramma di Venn come: così che S B si rappresenta: A B Grazie a tale rappresentazione possiamo posizionare nel diagramma i casi seguenti: S B. 1 S B I punti 1, 2 e 3 corrispondono rispettivamente a S B ( non studi e sei bocciato ), S B ( studi e sei bocciato ) e S B ( studi e sei non bocciato ), tutte compatibili con l affermazione iniziale, cioè tali da essere equivalenti a S B almeno in qualche caso. Viceversa, il caso rimanente, S B ( pur non studiando non sarai bocciato ), non può essere rappresentato nel diagramma, cosa che ne mostra l incompatibilità con l affermazione iniziale. In termini, ( S B) ( S B) è sempre falso, cioè è una contraddizione, e quindi (( S B) ( S B)) è una tautologia. Un secondo esercizio: Andrò al mare solo se c è bel tempo Tale affermazione è equivalente (un po controintuitivamente) a se M allora B, e quindi non M o B, e quindi l unica proposizione incompatibile è M e non B : andrò al mare e non c è bel tempo. 3. Cenni di (test di) logica predicativa [a differenza della logica delle proposizioni, la logica dei predicati porta a risultati espressi nella forma di teoremi profondi e complessi: quanto segue è dunque solo preliminare a un discorso di logica dei predicati vero e proprio] Un nuovo problema: PROBLEMA 7 Negare che ogni gatto miagola equivale a dire che: A) c è un gatto che non miagola B) se non miagola non è un gatto C) c è un gatto che miagola 8

9 D) ogni gatto non miagola E) nessun gatto miagola Siamo qui di fronte a una difficoltà, dovuta alla non riducibilità dell affermazione di partenza a una proposizione, a causa del fatto che il problema si gioca sulla presenza dei termini ogni, c è, nessuno,... E questo il primo esempio di un problema per la cui soluzione la logica delle proposizioni con cui abbiamo operato finora non è sufficiente: occorre passare a una logica più generale, e più complessa, chiamata dei predicati. Per lo scopo di affrontare efficacemente test come il PROBLEMA 7, è generalmente sufficiente imparare una versione delle leggi di De Morgan generalizzata alla logica dei predicati. Ripartiamo da: (A B) ( A B) (A e B è falso se e solo se sono falsi A o B; detto altrimenti: A e B è una bugia se e solo A è una bugia, oppure B è una bugia, oppure lo sono entrambi). Ciò è generalizzabile a tre o più proposizioni: (A B C) ( A B C) e quindi: (A 1... A n ) ( A 1... A n ) Supponiamo ora che le n proposizioni A i abbiano tutte la stessa forma: dato un insieme di n individui, l individuo i-esimo ha la proprietà A. Per esempio, A 1 = il gatto 1 miagola ; A 2 = il gatto 2 miagola ;... Allora in particolare (A 1... A n ) e (A 1... A n ) significano tutti i gatti (dell insieme considerato) miagolano, e almeno un gatto miagola, rispettivamente. Per denotare in modo sintetico situazioni di questo genere si introducono il quantificatore universale: x, A(x): per ogni elemento x dell insieme considerato, x ha la proprietà A e il quantificatore esistenziale: x, A(x): esiste almeno un elemento x nell insieme considerato tale che x ha la proprietà A Le leggi di De Morgan generalizzate sono allora: x, A(x) x, A(x) ( non tutti i gatti miagolano è equivalente a esiste un gatto che non miagola, cioè almeno un gatto non miagola ) x, A(x) x, A(x) ( non esiste un gatto che miagola, cioè nessun gatto miagola, è equivalente a tutti i gatti non miagolano ) Tornando allora al problema, l affermazione iniziale, negare che ogni gatto miagola, si scrive x, M(x), e altrettanto facilmente si possono scrivere le asserzioni A)-E): A) c è un gatto che non miagola: x, M(x) B) se non miagola non è un gatto: x, M(x) G(x) C) c è un gatto che miagola: x, M(x) D) ogni gatto non miagola: x, M(x) E) nessun gatto miagola: x, M(x) Applicando le leggi di De Morgan a x, M(x) si ottiene x, M(x). Un problema analogo: PROBLEMA 8 Un grande teorico dei numeri ha scoperto i numeri troppobelli, e, avendo osservato che tutti quelli che ha scoperto sono pari, congettura che esistano solo numeri troppobelli pari. Un suo allievo, studiando con cura questi numeri, afferma che la congettura del maestro è falsa. Dunque l allievo sostiene che: A) c è almeno un numero troppobello dispari B) nessun numero pari è troppobello C) c è almeno un numero pari che non è troppobello D) esiste solo un numero finito di troppobelli pari E) tutti i numeri troppobelli sono dispari 9

10 La congettura è x, T(x) P(x). Poiché si assume che sia falsa: ( x, T(x) P(x)), che per De Morgan è equivalente a x, (T(x) P(x)) e quindi x, ( T(x) P(x)) e ancora per De Morgan x, T(x) P(x). Infine, un problema ancora analogo ma un poco più complesso: PROBLEMA 9 C è una casa con almeno due porte; si consideri l affermazione: Esiste una chiave che apre tutte le porte di casa, ma non la porta della cantina. Indicare quale tra le seguenti frasi costituisce la negazione dell affermazione riportata sopra. A) Per ogni chiave, o esiste una porta che non è quella della cantina che non viene aperta da quella chiave, oppure quella chiave apre la porta della cantina B) Esiste una chiave che apre tutte le porte di casa, compresa quella della cantina C) Esiste una chiave che non apre nessuna porta, se non quella della cantina D) Nessuna chiave apre tutte le porte E) Per ogni chiave, esiste una porta che non è quella della cantina che viene aperta da quella chiave Riscriviamo l affermazione iniziale in forma standard e cercando di semplificarla, in particolare assumendo che oggetto di base del discorso siano implicitamente sempre chiavi: esiste un elemento tale da essere onniaprente e non cantina-aprente. Dunque: x, O(x) C(x). Poiché dobbiamo analizzare la negazione dell affermazione, applichiamo la versione generalizzata della legge di De Morgan: x, A(x) x, A(x). Dunque la negazione dell affermazione precedente è equivalente a x, (O(x) C(x)). Applicando la legge di De Morgan: x, O(x) C(x)). 4. Cenni di (test di) logica in senso lato [non è facile trovare testi di introduzione alla logica in senso lato ; un interessante riferimento al proposito è: G. Polya, Come risolvere i problemi di matematica, Feltrinelli, 1976] Infine, lavoriamo per esempi su alcuni problemi di tipo matematico, o comunque di logica in senso lato, per i quali la procedura introdotta e adottata finora non è generalmente applicabile, e quindi, oltre ad alcune competenze matematiche di base, occorre disporre di un metodo di approccio ai problemi. Cominciamo con un tipico problema continua la successione : PROBLEMA 10 Indicare quale numero prosegue la successione: 7, 20, 46, 98, 202, 410,... A) 826 B) 820 C) 612 D) 814 E) 938 Il problema è dunque: dati i termini x 1 =7, x 2 =20, x 3 =46, x 4 =98, x 5 =202, x 6 =410 di una successione, qual è il valore di x 7? Si vede che x 2 x 1 =13 e x 3 x 2 =26. Potremmo allora formulare l ipotesi che la differenza tra ogni coppia di termini della successione sia un multiplo crescente di 13, cioè che x i+1 x i =13i. In questo caso, sarebbe che x 4 x 3 =39, e quindi x 4 =39+46=85. L ipotesi è errata, dunque. Guardiamo le differenze successive: x 4 x 3 =52; x 5 x 4 =104; x 6 x 5 =208. Ogni differenza è il doppio della precedente. Partendo dai suoi primi due termini: x 1 =7 x 2 =20 la successione è dunque definita dalla regola: x i+1 -x i =2(x i x i 1 ) e quindi, con un po di algebra: x i+1 =3x i 2x i 1 10

11 Perciò x 7 =3x 6 2x 5. Spesso i test chiedono di analizzare la relazione tra due gruppi di individui, come in questo semplicissimo caso: PROBLEMA 11 A una conferenza, 8 persone prendono appunti, 5 hanno un registratore. Con questi dati si può concludere con certezza che il numero totale N degli ascoltatori a quella conferenza è: A) N >= 8 B) N = 13 C) N > 8 D) N < 8 E) N > 13 in cui è sufficiente riconoscere che si considerano due proprietà indipendenti. Più complesso è invece quest altro problema. PROBLEMA 12 Nell harem del sultano Alì Babà i 4/5 delle odalische hanno i capelli neri e i 3/4 hanno gli occhi neri. Si può concludere che: A) almeno 11/20 delle odalische hanno sia capelli sia occhi neri B) 3/5 delle odalische hanno sia capelli sia occhi neri C) al più 11/20 delle odalische hanno sia capelli sia occhi neri D) 4/5 delle odalische hanno sia capelli sia occhi neri E) 3/4 delle odalische hanno sia capelli sia occhi neri Tutte le risposte possibili si riferiscono al problema di determinare la frazione di individui (odalische, in questo caso) che hanno sia la proprietà A (capelli neri) sia la proprietà B (occhi neri), indichiamola f A B, a partire dalle frazioni f A e f B. Se il problema fosse: la frazione f A =4/5 di individui ha la proprietà A e la frazione f B =3/4 di questi ha la proprietà B, allora la frazione f A B sarebbe semplicemente 4/5 x 3/4 = 12/20 = 3/5. Ma le due frazioni sono invece espresse senza relazione l una con l altra. Proviamo ad analizzare il problema generale in questo caso. Date le frazioni f A e f B, la richiesta tipicamente potrebbe riguardare la frazione f A B (come appunto nel nostro problema) ma anche la frazione f A B degli individui che hanno la proprietà A o la proprietà B (chiamiamoli per brevità individui-a e individui-b ). Consideriamo prima di tutto la situazione particolare in cui una delle due frazioni, supponiamo f A, è uguale a 0 o 1. La soluzione è evidentemente: f A B f A B f A=0 0 f B f A=1 f B 1 Per esempio quanto è indicato nella prima riga della tabella, se non ci sono individui-a allora non ci possono essere individui-aeb, mentre la frazione di individui-aob coincide con la frazione di individui-b. Assumiamo ora invece che 0<f A <1 e 0<f B <1, e ipotizziamo per esempio che f A f B. Come si vede anche dalle risposte A)-E), in questo caso si può dover stabilire non solo il valore di f A B (o f A B ), ma anche il suo valore minimo ( almeno..., come nella risposta A)) o il suo valore massimo ( al più, come nella risposta C)). Cominciamo a prendere in considerazione il caso, più semplice, f A B. Il valore massimo di f A B si presenta nel caso in cui c è intersezione minima tra individui-a e individui-b, quindi per f A +f B. D altra parte, occorre garantire che f A B abbia al massimo il valore 1, corrispondente alla situazione in cui tutti gli individui sono individui-a o individui-b, cosa che richiede di calcolare il massimo di f A B come il minimo tra 1 e f A +f B : 11

Un test per la selezione?

Un test per la selezione? Un test per la selezione? Oggettivo Rapido Efficiente Efficace Ad un buon punteggio alla prova di ammissione consegue: Votazione più alta agli esami e alla tesi Numero di esami per anno maggiore Tempo

Dettagli

Risoluzione. Eric Miotto Corretto dal prof. Silvio Valentini 15 giugno 2005

Risoluzione. Eric Miotto Corretto dal prof. Silvio Valentini 15 giugno 2005 Risoluzione Eric Miotto Corretto dal prof. Silvio Valentini 15 giugno 2005 1 Risoluzione Introdurremo ora un metodo per capire se un insieme di formule è soddisfacibile o meno. Lo vedremo prima per insiemi

Dettagli

Dall italiano alla logica proposizionale

Dall italiano alla logica proposizionale Rappresentare l italiano in LP Dall italiano alla logica proposizionale Sandro Zucchi 2009-10 In questa lezione, vediamo come fare uso del linguaggio LP per rappresentare frasi dell italiano. Questo ci

Dettagli

Percorsi di matematica per il ripasso e il recupero

Percorsi di matematica per il ripasso e il recupero Giacomo Pagina Giovanna Patri Percorsi di matematica per il ripasso e il recupero 1 per la Scuola secondaria di secondo grado UNITÀ CAMPIONE Edizioni del Quadrifoglio à t i n U 2 Logica delle proposizioni

Dettagli

Implicazione logica. p q p q falsa falsa vera falsa vera vera vera falsa falsa vera vera vera

Implicazione logica. p q p q falsa falsa vera falsa vera vera vera falsa falsa vera vera vera Implicazione logica L implicazione logica è un connettivo logico attraverso il quale, a partire da due proposizioni p e q, si forma una nuova proposizione,chiamata p implica q e si scrive p q, la quale

Dettagli

La Logica Proposizionale. (Algebra di Boole)

La Logica Proposizionale. (Algebra di Boole) 1 ISTITUTO DI ISTRUZIONE SUPERIORE ANGIOY La Logica Proposizionale (Algebra di Boole) Prof. G. Ciaschetti 1. Cenni storici Sin dagli antichi greci, la logica è intesa come lo studio del logos, che in greco

Dettagli

Parte 2. Determinante e matrice inversa

Parte 2. Determinante e matrice inversa Parte. Determinante e matrice inversa A. Savo Appunti del Corso di Geometria 013-14 Indice delle sezioni 1 Determinante di una matrice, 1 Teorema di Cramer (caso particolare), 3 3 Determinante di una matrice

Dettagli

PILLOLE DI LOGICA. Piccolo manuale per affrontare gli esercizi di logica delle Olimpiadi di Matematica. Liceo Scientifico A.

PILLOLE DI LOGICA. Piccolo manuale per affrontare gli esercizi di logica delle Olimpiadi di Matematica. Liceo Scientifico A. PILLOLE DI LOGICA Piccolo manuale per affrontare gli esercizi di logica delle Olimpiadi di Matematica Liceo Scientifico A.Righi Cesena Le basi della logica formale La logica formale è un indagine sul ragionare

Dettagli

Dall italiano al linguaggio della logica proposizionale

Dall italiano al linguaggio della logica proposizionale Dall italiano al linguaggio della logica proposizionale Dall italiano al linguaggio della logica proposizionale Enunciati atomici e congiunzione In questa lezione e nelle successive, vedremo come fare

Dettagli

SOMMARIO. 13.1 I radicali pag. 3. 13.2 I radicali aritmetici pag. 5. 13.3 Moltiplicazione e divisione fra radicali aritmetici pag.

SOMMARIO. 13.1 I radicali pag. 3. 13.2 I radicali aritmetici pag. 5. 13.3 Moltiplicazione e divisione fra radicali aritmetici pag. SOMMARIO CAPITOLO : I RADICALI. I radicali pag.. I radicali aritmetici pag.. Moltiplicazione e divisione fra radicali aritmetici pag.. Potenza di un radicale aritmetico pag.. Trasporto di un fattore esterno

Dettagli

ALGEBRA DELLE PROPOSIZIONI

ALGEBRA DELLE PROPOSIZIONI Università di Salerno Fondamenti di Informatica Corso di Laurea Ingegneria Corso B Docente: Ing. Giovanni Secondulfo Anno Accademico 2010-2011 ALGEBRA DELLE PROPOSIZIONI Fondamenti di Informatica Algebra

Dettagli

Predicati e Quantificatori

Predicati e Quantificatori Predicati e Quantificatori Limitazioni della logica proposizionale! Logica proposizionale: il mondo è descritto attraverso proposizioni elementari e loro combinazioni logiche! I singoli oggetti cui si

Dettagli

Appunti di Logica Matematica

Appunti di Logica Matematica Appunti di Logica Matematica Francesco Bottacin 1 Logica Proposizionale Una proposizione è un affermazione che esprime un valore di verità, cioè una affermazione che è VERA oppure FALSA. Ad esempio: 5

Dettagli

PRIMO ISTITUTO COMPRENSIVO di PALAZZOLO S/O via Zanardelli n.34 Anno scolastico 2014/2015

PRIMO ISTITUTO COMPRENSIVO di PALAZZOLO S/O via Zanardelli n.34 Anno scolastico 2014/2015 PRIMO ISTITUTO COMPRENSIVO di PALAZZOLO S/O via Zanardelli n.34 Anno scolastico 2014/2015 CURRICOLI DISCIPLINARI SCUOLA DELL INFANZIA e PRIMO CICLO di ISTRUZIONE Percorso delle singole discipline sulla

Dettagli

LOGICA E LINGUAGGIO. Caserta, 21 febbraio 2011. Dott. Michele Bovenzi

LOGICA E LINGUAGGIO. Caserta, 21 febbraio 2011. Dott. Michele Bovenzi LOGICA E LINGUAGGIO Caserta, 2 febbraio 2 Dott. Michele Bovenzi Una breve introduzione La logica nasce nell antichità come disciplina che studia i principi e le regole del ragionamento, ne valuta la correttezza

Dettagli

MATEMATICA Competenza chiave europea: COMPETENZA MATEMATICA E COMPETENZE DI BASE IN SCIENZA E TECNOLOGIA Competenza specifica: MATEMATICA

MATEMATICA Competenza chiave europea: COMPETENZA MATEMATICA E COMPETENZE DI BASE IN SCIENZA E TECNOLOGIA Competenza specifica: MATEMATICA MATEMATICA Competenza chiave europea: COMPETENZA MATEMATICA E COMPETENZE DI BASE IN SCIENZA E TECNOLOGIA Competenza specifica: MATEMATICA Le conoscenze matematiche contribuiscono alla formazione culturale

Dettagli

Logica dei predicati

Logica dei predicati IV Logica dei predicati 14. FORMULE PREDICATIVE E QUANTIFICATORI 14.1. Dalla segnatura alle formule predicative Il simbolo (x).ϕ(x) [per ogni x, ϕ(x) è vera] denota una proposizione definita, e non c è

Dettagli

Parte 3. Rango e teorema di Rouché-Capelli

Parte 3. Rango e teorema di Rouché-Capelli Parte 3. Rango e teorema di Rouché-Capelli A. Savo Appunti del Corso di Geometria 203-4 Indice delle sezioni Rango di una matrice, 2 Teorema degli orlati, 3 3 Calcolo con l algoritmo di Gauss, 6 4 Matrici

Dettagli

2. Semantica proposizionale classica

2. Semantica proposizionale classica 20 1. LINGUAGGIO E SEMANTICA 2. Semantica proposizionale classica Ritorniamo un passo indietro all insieme dei connettivi proposizionali che abbiamo utilizzato nella definizione degli enunciati di L. L

Dettagli

APPUNTI DI MATEMATICA LE DISEQUAZIONI NON LINEARI

APPUNTI DI MATEMATICA LE DISEQUAZIONI NON LINEARI APPUNTI DI MATEMATICA LE DISEQUAZIONI NON LINEARI Le disequazioni fratte Le disequazioni di secondo grado I sistemi di disequazioni Alessandro Bocconi Indice 1 Le disequazioni non lineari 2 1.1 Introduzione.........................................

Dettagli

Errori più comuni. nelle prove scritte

Errori più comuni. nelle prove scritte Errori più comuni nelle prove scritte Gli errori più frequenti, e reiterati da chi sostiene diverse prove, sono innanzi tutto meta-errori, cioè errori che non riguardano tanto l applicazione delle tecniche,

Dettagli

Algebra booleana. Si dice enunciato una proposizione che può essere soltanto vera o falsa.

Algebra booleana. Si dice enunciato una proposizione che può essere soltanto vera o falsa. Algebra booleana Nel lavoro di programmazione capita spesso di dover ricorrere ai principi della logica degli enunciati e occorre conoscere i concetti di base dell algebra delle proposizioni. L algebra

Dettagli

LOGICA DEI PREDICATI. Introduzione. Predicati e termini individuali. Termini individuali semplici e composti

LOGICA DEI PREDICATI. Introduzione. Predicati e termini individuali. Termini individuali semplici e composti Introduzione LOGICA DEI PREDICATI Corso di Intelligenza Artificiale A.A. 2009/2010 Prof. Ing. Fabio Roli La logica dei predicati, o logica del primo ordine (LPO) considera schemi proposizionali composti

Dettagli

Dispense di Filosofia del Linguaggio

Dispense di Filosofia del Linguaggio Dispense di Filosofia del Linguaggio Vittorio Morato II settimana Gottlob Frege (1848 1925), un matematico e filosofo tedesco, è unanimemente considerato come il padre della filosofia del linguaggio contemporanea.

Dettagli

Algebra di Boole ed Elementi di Logica

Algebra di Boole ed Elementi di Logica Algebra di Boole ed Elementi di Logica 53 Cenni all algebra di Boole L algebra di Boole (inventata da G. Boole, britannico, seconda metà 8), o algebra della logica, si basa su operazioni logiche Le operazioni

Dettagli

Algoritmo euclideo, massimo comun divisore ed equazioni diofantee

Algoritmo euclideo, massimo comun divisore ed equazioni diofantee Algoritmo euclideo, massimo comun divisore ed equazioni diofantee Se a e b sono numeri interi, si dice che a divide b, in simboli: a b, se e solo se esiste c Z tale che b = ac. Si può subito notare che:

Dettagli

MATEMATICA TRAGUARDI PER LO SVILUPPO DELLE COMPETENZE ALLA FINE DELLA SCUOLA PRIMARIA

MATEMATICA TRAGUARDI PER LO SVILUPPO DELLE COMPETENZE ALLA FINE DELLA SCUOLA PRIMARIA MATEMATICA TRAGUARDI PER LO SVILUPPO DELLE COMPETENZE ALLA FINE DELLA SCUOLA PRIMARIA L alunno si muove con sicurezza nel calcolo scritto e mentale con i numeri naturali e sa valutare l opportunità di

Dettagli

60 indicazioni nazionali per la scuola dell infanzia e del primo ciclo. matematica

60 indicazioni nazionali per la scuola dell infanzia e del primo ciclo. matematica 60 indicazioni nazionali per la scuola dell infanzia e del primo ciclo matematica Le conoscenze matematiche contribuiscono alla formazione culturale delle persone e delle comunità, sviluppando le capacità

Dettagli

Servizio Nazionale di Valutazione a.s. 2014/15 Guida alla lettura Prova di Matematica Classe seconda Scuola primaria

Servizio Nazionale di Valutazione a.s. 2014/15 Guida alla lettura Prova di Matematica Classe seconda Scuola primaria Servizio Nazionale di Valutazione a.s. 2014/15 Guida alla lettura Prova di Matematica Classe seconda Scuola primaria I quesiti sono distribuiti negli ambiti secondo la tabella seguente Ambito Numero di

Dettagli

Anno 1. Definizione di Logica e operazioni logiche

Anno 1. Definizione di Logica e operazioni logiche Anno 1 Definizione di Logica e operazioni logiche 1 Introduzione In questa lezione ci occuperemo di descrivere la definizione di logica matematica e di operazioni logiche. Che cos è la logica matematica?

Dettagli

INFANZIA PRIMARIA SECONDARIA

INFANZIA PRIMARIA SECONDARIA INFANZIA PRIMARIA SECONDARIA MATEMATICA - TRAGUARDI DI SVILUPPO DELLE COMPETENZE Raggruppa e ordina secondo criteri diversi. Confronta e valuta quantità. Utilizza semplici simboli per registrare. Compie

Dettagli

Quanti cubetti ha utilizzato in tutto Sofia per costruire la sua doppia scala?

Quanti cubetti ha utilizzato in tutto Sofia per costruire la sua doppia scala? 10 RALLY MATEMATICO TRANSALPINO - PROVA I - gennaio-febbraio 2002 /ARMT/2002 p. 1 7. Doppia scala (Cat. 4, 5, 6) /ARMT/2002-10 - I prova Sofia ha costruito una doppia scala regolare di 1 metro di altezza

Dettagli

Presentazione delle lezioni (I parte del corso di Statistica sociale) Corso di Matematica e Statistica 1 Logica, simboli, successioni

Presentazione delle lezioni (I parte del corso di Statistica sociale) Corso di Matematica e Statistica 1 Logica, simboli, successioni Pordenone Corso di Matematica e Statistica Logica, simboli, successioni Presentazione delle lezioni (I parte del corso di Statistica sociale) Lezione : Logica, simboli, successioni Lezione 2: Funzioni,

Dettagli

CURRICOLO VERTICALE DI MATEMATICA

CURRICOLO VERTICALE DI MATEMATICA CURRICOLO VERTICALE DI MATEMATICA Traguardo per lo sviluppo delle competenze Sviluppa un atteggiamento positivo rispetto alla matematica, attraverso esperienze significative, che gli hanno fatto intuire

Dettagli

CURRICOLO MATEMATICA

CURRICOLO MATEMATICA 1 CURRICOLO MATEMATICA Competenza 1 al termine della scuola dell Infanzia 2 NUMERI Raggruppare, ordinare, contare, misurare oggetti, grandezze ed eventi direttamente esperibili. Utilizzare calendari settimanali

Dettagli

Competenza chiave europea: MATEMATICA. Scuola Primaria. DISCIPLINE DI RIFERIMENTO: MATEMATICA DISCIPLINE CONCORRENTI: tutte

Competenza chiave europea: MATEMATICA. Scuola Primaria. DISCIPLINE DI RIFERIMENTO: MATEMATICA DISCIPLINE CONCORRENTI: tutte Competenza chiave europea: MATEMATICA Scuola Primaria DISCIPLINE DI RIFERIMENTO: MATEMATICA DISCIPLINE CONCORRENTI: tutte TAB. A TRAGUARDI PER LO SVILUPPO DELLE COMPETENZE al termine della Scuola Primaria

Dettagli

Dispense del corso di Logica a.a. 2015/16: Problemi di primo livello. V. M. Abrusci

Dispense del corso di Logica a.a. 2015/16: Problemi di primo livello. V. M. Abrusci Dispense del corso di Logica a.a. 2015/16: Problemi di primo livello V. M. Abrusci 12 ottobre 2015 0.1 Problemi logici basilari sulle classi Le classi sono uno dei temi della logica. Esponiamo in questa

Dettagli

Quesiti a Scelta Multipla

Quesiti a Scelta Multipla Quesiti a Scelta Multipla I Quesiti a Scelta Multipla (QSM), conosciuti per la valutazione del merito e delle capacità in ambito civile e militare, a partire dal 1915 vennero utilizzati ufficialmente nelle

Dettagli

SCUOLA INFANZIA PRIMARIA SECONDARIA PRIMO GRADO

SCUOLA INFANZIA PRIMARIA SECONDARIA PRIMO GRADO CURRICOLI VERTICALI matematica COMPETENZE D.M. 254, 16 nov 2012 Alla fine del terzo anno Alla fine del quinto anno Alla fine del terzo anno, l alunno dovrà dimostrare: SCUOLA INFANZIA PRIMARIA SECONDARIA

Dettagli

APPENDICE NOZIONI BASE E VARIE

APPENDICE NOZIONI BASE E VARIE pag. 131 Appendice: Nozioni base e varie G. Gerla APPENDICE NOZIONI BASE E VARIE 1. Funzioni e relazioni di equivalenza Questi appunti sono rivolti a persone che abbiano già una conoscenza elementare della

Dettagli

1 Grafico di una funzione reale 1. 2 Funzioni elementari 2 2.1 Funzione potenza... 2 2.2 Funzione esponenziale... 3 2.3 Funzione logaritmica...

1 Grafico di una funzione reale 1. 2 Funzioni elementari 2 2.1 Funzione potenza... 2 2.2 Funzione esponenziale... 3 2.3 Funzione logaritmica... UNIVR Facoltà di Economia Sede di Vicenza Corso di Matematica Funzioni reali di variabile reale Indice Grafico di una funzione reale 2 Funzioni elementari 2 2. Funzione potenza................................................

Dettagli

Alcune nozioni di base di Logica Matematica

Alcune nozioni di base di Logica Matematica Alcune nozioni di base di Logica Matematica Ad uso del corsi di Programmazione I e II Nicola Galesi Dipartimento di Informatica Sapienza Universitá Roma November 1, 2007 Questa é una breve raccolta di

Dettagli

SCUOLA PRIMARIA: MATEMATICA

SCUOLA PRIMARIA: MATEMATICA SCUOLA PRIMARIA: MATEMATICA Traguardi per lo sviluppo delle competenze al termine della scuola primaria L'alunno si muove con sicurezza nel calcolo scritto e mentale con i numeri naturali e sa valutare

Dettagli

I SISTEMI DI NUMERAZIONE

I SISTEMI DI NUMERAZIONE ISTITUTO DI ISTRUZIONE SUPERIORE G. M. ANGIOY CARBONIA I SISTEMI DI NUMERAZIONE Prof. G. Ciaschetti Fin dall antichità, l uomo ha avuto il bisogno di rappresentare le quantità in modo simbolico. Sono nati

Dettagli

Cenni di Logica matematica

Cenni di Logica matematica Cenni di Logica matematica May 8, 2007 1 Calcolo proposizionale Una proposizione è una frase che è o vera oppure falsa ma non entrambe. Esempio 1.1 Le seguenti frasi sono proposizioni. 1. Milano è la capitale

Dettagli

AREA MATEMATICO-SCIENTIFICO-TECNOLOGICA MATEMATICA

AREA MATEMATICO-SCIENTIFICO-TECNOLOGICA MATEMATICA AREA MATEMATICO-SCIENTIFICO-TECNOLOGICA MATEMATICA TRAGUARDI PER LO SVILUPPO DELLE COMPETENZE AL TERMINE DELLA SCUOLA SECONDARIA DI PRIMO GRADO. L alunno ha rafforzato un atteggiamento positivo rispetto

Dettagli

Statistica 1. Esercitazioni. Dott. Luigi Augugliaro 1. Università di Palermo

Statistica 1. Esercitazioni. Dott. Luigi Augugliaro 1. Università di Palermo Statistica 1 Esercitazioni Dott. 1 1 Dipartimento di Scienze Statistiche e Matematiche S. Vianelli, Università di Palermo ricevimento: lunedì ore 15-17 mercoledì ore 15-17 e-mail: luigi.augugliaro@unipa.it

Dettagli

PROGRAMMAZIONE INDIVIDUALE DOCENTE ANNO SCOLASTICO 2013-14 PROF. ROBERTA BIAGI. MATERIA: Matematica CLASSE I E

PROGRAMMAZIONE INDIVIDUALE DOCENTE ANNO SCOLASTICO 2013-14 PROF. ROBERTA BIAGI. MATERIA: Matematica CLASSE I E PROGRAMMAZIONE INDIVIDUALE DOCENTE ANNO SCOLASTICO 2013-14 PROF. ROBERTA BIAGI MATERIA: Matematica CLASSE I E DATA DI PRESENTAZIONE: 28 novembre 2013 Finalità della disciplina La finalità della disciplina

Dettagli

Dispense del corso di ALGEBRA 1 a.a. 2007 2008. Parte 1: NOZIONI DI BASE

Dispense del corso di ALGEBRA 1 a.a. 2007 2008. Parte 1: NOZIONI DI BASE Dispense del corso di ALGEBRA 1 a.a. 2007 2008 Parte 1: NOZIONI DI BASE 1 Indice 1 Nozioni introduttive 3 1.1 Insiemi..................................... 3 1.2 Operazioni tra insiemi.............................

Dettagli

La logica dei se e dei ma: linguaggio matematico e linguaggio naturale a confronto

La logica dei se e dei ma: linguaggio matematico e linguaggio naturale a confronto La logica dei se e dei ma: linguaggio matematico e linguaggio naturale a confronto Daniele Mundici Dipartimento di Matematica Università di Firenze Viale Morgagni 67/a 50134 Firenze mundici@math.unifi.it

Dettagli

Il mondo in cui viviamo

Il mondo in cui viviamo Il mondo in cui viviamo Il modo in cui lo vediamo/ conosciamo Dalle esperienze alle idee Dalle idee alla comunicazione delle idee Quando sono curioso di una cosa, matematica o no, io le faccio delle domande.

Dettagli

COMPETENZE SPECIFICHE

COMPETENZE SPECIFICHE COMPETENZE IN MATEMATICA DISCIPLINA DI RIFERIMENTO: MATEMATICA TRAGUARDI PER LO SVILUPPO DELLE COMPETENZE FISSATI DALLE INDICAZIONI NAZIONALI PER IL CURRICOLO 2012. MATEMATICA TRAGUARDI ALLA FINE DELLA

Dettagli

INDICATORI OBIETTIVI DI APPRENDIMENTO classe prima

INDICATORI OBIETTIVI DI APPRENDIMENTO classe prima INDICATORI OBIETTIVI DI APPRENDIMENTO classe prima NUMERI Descrivere e simbolizzare la realtà utilizzando il linguaggio e gli strumenti matematici Imparare ad usare il numero naturale per contare, confrontare,

Dettagli

CURRICOLO MATEMATICA SCUOLA PRIMARIA

CURRICOLO MATEMATICA SCUOLA PRIMARIA CURRICOLO MATEMATICA SCUOLA PRIMARIA CLASSE PRIMA Competenze Conoscenze Abilità L alunno riconosce il significato dei numeri ed i modi per rappresentarli i numeri naturali entro il 20 nei loro aspetti

Dettagli

ESERCITAZIONI DI ANALISI 1 FOGLIO 1 FOGLIO 2 FOGLIO 3 FOGLIO 4 FOGLIO 5 FOGLIO 6 FOGLIO 7 SVOLTI. Marco Pezzulla

ESERCITAZIONI DI ANALISI 1 FOGLIO 1 FOGLIO 2 FOGLIO 3 FOGLIO 4 FOGLIO 5 FOGLIO 6 FOGLIO 7 SVOLTI. Marco Pezzulla ESERCITAZIONI DI ANALISI FOGLIO FOGLIO FOGLIO 3 FOGLIO 4 FOGLIO 5 FOGLIO 6 FOGLIO 7 SVOLTI Marco Pezzulla gennaio 05 FOGLIO. Determinare il dominio e il segno della funzione ( ) f(x) arccos x x + π/3.

Dettagli

Matematica classe 1^

Matematica classe 1^ NUCLEO TEMATICO 1 Numeri 1 L alunno si muove con sicurezza nel calcolo scritto e mentale con i numeri naturali. 7 legge e comprende testi che coinvolgono aspetti logici e matematici. NUCLEO TEMATICO 2

Dettagli

15. FRAZIONI SOVRAPPOSTE

15. FRAZIONI SOVRAPPOSTE 16 o RMT Finale maggio 2008 ARMT.2008 15 15. FRAZIONI SOVRAPPOSTE (Cat. 7, 8, 9, 10) Gianni e Lina hanno disposto ciascuno nove numeri su tre righe e tre colonne e hanno inserito sei linee tra due numeri

Dettagli

TRAGUARDI FORMATIVI NELLA PRE-DISCIPLINA MATEMATICA

TRAGUARDI FORMATIVI NELLA PRE-DISCIPLINA MATEMATICA Fo.Svi.Co International s.a.s. Formazione Sviluppo Competenze (per la competitività in campo internazionale) SEDE LEGALE Corso Magenta, 83 20 123 Milano SEDE OPERATIVA 00100 ROMA, via Arduino, 46 SEDE

Dettagli

CURRICOLO DI MATEMATICA CLASSE PRIMA

CURRICOLO DI MATEMATICA CLASSE PRIMA CURRICOLO DI MATEMATICA CLASSE PRIMA TRAGUARDI DI COMPETENZA NUCLEI FONDANTI OBIETTIVI DI APPRENDIMENTO CONOSCITIVA IL NUMERO CARATTERISTICHE Quantità entro il numero 20 Cardinalità Posizionalità RELAZIONI

Dettagli

Matematica Discreta. Gianfranco Niesi. Appunti per il corso di. C.S. in Informatica. Dipartimento di Matematica A.A. 2005-2006

Matematica Discreta. Gianfranco Niesi. Appunti per il corso di. C.S. in Informatica. Dipartimento di Matematica A.A. 2005-2006 Appunti per il corso di Matematica Discreta C.S. in Informatica UNIVERSITÀ DI GENOVA A.A. 2005-2006 Gianfranco Niesi Dipartimento di Matematica URL: http://www.dima.unige.it/ niesi 4 ottobre 2005 2 Indice

Dettagli

Programmazione didattica per Matematica. Primo Biennio. a.s. 2014-2015

Programmazione didattica per Matematica. Primo Biennio. a.s. 2014-2015 Programmazione didattica per Matematica Primo Biennio a.s. 2014-2015 Obiettivi educativi e didattici. Lo studio della matematica, secondo le indicazioni nazionali, concorre con le altre discipline, alla

Dettagli

Un gioco con tre dadi

Un gioco con tre dadi Un gioco con tre dadi Livello scolare: biennio Abilità interessate Costruire lo spazio degli eventi in casi semplici e determinarne la cardinalità. Valutare la probabilità in diversi contesti problematici.

Dettagli

(anno accademico 2008-09)

(anno accademico 2008-09) Calcolo relazionale Prof Alberto Belussi Prof. Alberto Belussi (anno accademico 2008-09) Calcolo relazionale E un linguaggio di interrogazione o e dichiarativo: at specifica le proprietà del risultato

Dettagli

IDEE PER LO STUDIO DELLA MATEMATICA

IDEE PER LO STUDIO DELLA MATEMATICA IDEE PER LO STUDIO DELLA MATEMATICA A cura del 1 LA MATEMATICA: perché studiarla??? La matematica non è una disciplina fine a se stessa poichè fornisce strumenti importanti e utili in molti settori della

Dettagli

Numeri naturali numeri naturali minore maggiore Operazioni con numeri naturali

Numeri naturali numeri naturali minore maggiore Operazioni con numeri naturali 1 Numeri naturali La successione di tutti i numeri del tipo: 0,1, 2, 3, 4,..., n,... forma l'insieme dei numeri naturali, che si indica con il simbolo N. Tale insieme si può disporre in maniera ordinata

Dettagli

VALLAURI L ASSE MATEMATICO

VALLAURI L ASSE MATEMATICO Istituto Professionale di Stato per l Industria e l Artigianato Giancarlo Vallauri Via B. Peruzzi, 13 41012 CARPI (MO) VALLAURI www.vallauricarpi.it Tel. 059 691573 Fax 059 642074 vallauri@vallauricarpi.it

Dettagli

MATEMATICA - CLASSE TERZA

MATEMATICA - CLASSE TERZA MATEMATICA - CLASSE TERZA I NUMERI NATURALI E LE 4 OPERAZIONI U. A. 1 - IL NUMERO 1. Comprendere la necessità di contare e usare i numeri. 2. Conoscere la struttura dei numeri naturali. 3. Conoscere e

Dettagli

Piano di lavoro annuale a.s. 2013/2014

Piano di lavoro annuale a.s. 2013/2014 Piano di lavoro annuale a.s. 2013/2014 Docente: Frank Ilde Materia: Matematica Classe: 1^ASA 1. Nel primo consiglio di classe sono stati definiti gli obiettivi educativo-cognitivi generali che sono stati

Dettagli

5. La teoria astratta della misura.

5. La teoria astratta della misura. 5. La teoria astratta della misura. 5.1. σ-algebre. 5.1.1. σ-algebre e loro proprietà. Sia Ω un insieme non vuoto. Indichiamo con P(Ω la famiglia di tutti i sottoinsiemi di Ω. Inoltre, per ogni insieme

Dettagli

ATTIVITÀ LOGICO MATEMATICHE

ATTIVITÀ LOGICO MATEMATICHE Finalità ATTIVITÀ LOGICO MATEMATICHE La matematica si propone come strumento per modellizzare il mondo e le attività dell uomo e, nello stesso tempo, come costruzione logica, indipendente dalle sue applicazioni

Dettagli

DIREZIONE DIDATTICA ALBERT SABIN C.so Vercelli 157 10155 Torino PROGRAMMAZIONE DI ISTITUTO PRIMA DISCIPLINA: MATEMATICA

DIREZIONE DIDATTICA ALBERT SABIN C.so Vercelli 157 10155 Torino PROGRAMMAZIONE DI ISTITUTO PRIMA DISCIPLINA: MATEMATICA DIREZIONE DIDATTICA ALBERT SABIN C.so Vercelli 157 10155 Torino PROGRAMMAZIONE DI ISTITUTO PRIMA DISCIPLINA: MATEMATICA COMPETENZE CONTENUTI METODOLOGIE LOGICA INTRODUZIONE AL PENSIERO RAZIONALE: * INSIEMI

Dettagli

Lezioni di Algebra Lineare III. Applicazioni lineari e matrici Struttura algebrica delle soluzioni dei sistemi lineari

Lezioni di Algebra Lineare III. Applicazioni lineari e matrici Struttura algebrica delle soluzioni dei sistemi lineari Versione ottobre novembre 2008 Lezioni di Algebra Lineare III. Applicazioni lineari e matrici Struttura algebrica delle soluzioni dei sistemi lineari Contenuto 1. Applicazioni lineari 2. L insieme delle

Dettagli

PARTE TERZA Le conoscenze preliminari e la loro verifica

PARTE TERZA Le conoscenze preliminari e la loro verifica INDICE 7 Introduzione PARTE PRIMA Che cos è la Fisica oggi 13 1. Ambito, scopo e obiettivi generali 15 2. Il metodo scientifico: teoria ed esperimento 21 3. Relazioni e differenze con la matematica e l

Dettagli

Aritmetica: operazioni ed espressioni

Aritmetica: operazioni ed espressioni / A SCUOLA DI MATEMATICA Lezioni di matematica a cura di Eugenio Amitrano Argomento n. : operazioni ed espressioni Ricostruzione di un abaco dell epoca romana - Museo RGZ di Magonza (Germania) Libero da

Dettagli

Educare al pensiero probabilistico a scuola Ines Marazzani N.R.D. Bologna

Educare al pensiero probabilistico a scuola Ines Marazzani N.R.D. Bologna Educare al pensiero probabilistico a scuola Ines Marazzani N..D. Bologna Questo articolo è stato oggetto di pubblicazione in: Marazzani I. (2002). Educare al pensiero probabilistico a scuola. In. D Amore

Dettagli

SCUOLA PRIMARIA MATEMATICA

SCUOLA PRIMARIA MATEMATICA SCUOLA PRIMARIA MATEMATICA IL NUMERO CLASSE PRIMA Operare con il numero e impiegare specifiche abilità disciplinari come strumenti per affrontare esperienze di vita quotidiana. Comprende il significato

Dettagli

Scuola Primaria Statale Falcone e Borsellino

Scuola Primaria Statale Falcone e Borsellino ISTITUTO COMPRENSIVO STATALE DI LOVERE VIA DIONIGI CASTELLI, 2 - LOVERE Scuola Primaria Statale Falcone e Borsellino PROGRAMMAZIONE DIDATTICA ANNUALE Le programmazioni didattiche sono state stese in base

Dettagli

Dispense del corso di ALGEBRA 1 a.a. 2008 2009

Dispense del corso di ALGEBRA 1 a.a. 2008 2009 Dispense del corso di ALGEBRA 1 a.a. 2008 2009 2 Indice I INSIEMI E NUMERI 5 1 Insiemi e applicazioni 7 1.1 Insiemi..................................... 7 1.2 Operazioni tra insiemi.............................

Dettagli

DA GIOCHI D AUTUNNO 2006 SOLUZIONI E COMMENTI

DA GIOCHI D AUTUNNO 2006 SOLUZIONI E COMMENTI DA GIOCHI D AUTUNNO 2006 SOLUZIONI E COMMENTI 1. GIOCO DI CUBI L altezza della piramide di Luca è 95 cm. = (14 + 13 + 12 + + 7 + 6 + 5) 2. LA PARTENZA Anna saluterà le amiche nel seguente ordine: S-I-G-C

Dettagli

MATEMATICA COMPETENZE CHIAVE:

MATEMATICA COMPETENZE CHIAVE: MATEMATICA COMPETENZE CHIAVE: Competenza matematica, Comunicazione nella madrelingua, Imparare ad imparare, Competenze sociali e civiche, Spirito d iniziativa e imprenditorialità. Traguardi per lo sviluppo

Dettagli

CAPITOLO 3 TRASFORMARE FORMULE E DEDURRE DA TEORIE.

CAPITOLO 3 TRASFORMARE FORMULE E DEDURRE DA TEORIE. pag. 1 Capitolo 3 CAPITOLO 3 TRASFORMARE FORMULE E DEDURRE DA TEORIE. 1. Sistemi di trasformazione. La nozione di relazione binaria che abbiamo già esaminato nel capitolo precedente è anche alla base della

Dettagli

Algebra e Logica Matematica. Calcolo delle proposizioni Logica del primo ordine

Algebra e Logica Matematica. Calcolo delle proposizioni Logica del primo ordine Università di Bergamo Anno accademico 2006 2007 Ingegneria Informatica Foglio Algebra e Logica Matematica Calcolo delle proposizioni Logica del primo ordine Esercizio.. Costruire le tavole di verità per

Dettagli

Gli obiettivi specifici di apprendimento della scuola primaria e della scuola secondaria di I grado. M.Marchi Università Cattolica - Brescia

Gli obiettivi specifici di apprendimento della scuola primaria e della scuola secondaria di I grado. M.Marchi Università Cattolica - Brescia Gli obiettivi specifici di apprendimento della scuola primaria e della scuola secondaria di I grado M.Marchi Università Cattolica - Brescia L insegnamento della matematica nella scuola della riforma 16

Dettagli

CURRICOLO MATEMATICA ABILITA COMPETENZE

CURRICOLO MATEMATICA ABILITA COMPETENZE CURRICOLO MATEMATICA 1) Operare con i numeri nel calcolo aritmetico e algebrico, scritto e mentale, anche con riferimento a contesti reali. Per riconoscere e risolvere problemi di vario genere, individuando

Dettagli

CORSO BIELLA CONCETTI FONDAMENTALI DI ARITMETICA, ALGEBRA E GEOMETRIA PER LA SCUOLA DELL OBBLIGO MARTEDI 19/02/2013 TEMA

CORSO BIELLA CONCETTI FONDAMENTALI DI ARITMETICA, ALGEBRA E GEOMETRIA PER LA SCUOLA DELL OBBLIGO MARTEDI 19/02/2013 TEMA CORSO BIELLA CONCETTI FONDAMENTALI DI ARITMETICA, ALGEBRA E GEOMETRIA PER LA SCUOLA DELL OBBLIGO MARTEDI 19/02/201 TEMA OPERAZIONI CON I NUMERI E LORO PROPRIETA. NASCONO LE STRUTTURE ALGEBRICHE. 1 TESTO

Dettagli

LOGICA PER LA PROGRAMMAZIONE. Franco Turini turini@di.unipi.it

LOGICA PER LA PROGRAMMAZIONE. Franco Turini turini@di.unipi.it LOGICA PER LA PROGRAMMAZIONE Franco Turini turini@di.unipi.it IPSE DIXIT Si consideri la frase: in un dato campione di pazienti, chi ha fatto uso di droghe pesanti ha utilizzato anche droghe leggere. Quali

Dettagli

Obiettivi Specifici di apprendimento MATEMATICA. CURRICOLO VERTICALE DI ISTITUTO (dalla Cl. I Sc.Primaria alla Cl. III Sc.Second. 1 gr.

Obiettivi Specifici di apprendimento MATEMATICA. CURRICOLO VERTICALE DI ISTITUTO (dalla Cl. I Sc.Primaria alla Cl. III Sc.Second. 1 gr. Classe I Sc.Primaria Obiettivi Specifici di apprendimento MATEMATICA CURRICOLO VERTICALE DI ISTITUTO (Cl. I Sc.Primaria Cl. III Sc.Second. 1 gr.) NUMERO - Confrontare e ordinare raggruppamenti di oggetti

Dettagli

Insiemi e funzioni. Lorenzo Pisani Facoltà di Scienze Mm.Ff.Nn. Università degli Studi di Bari

Insiemi e funzioni. Lorenzo Pisani Facoltà di Scienze Mm.Ff.Nn. Università degli Studi di Bari Insiemi e funzioni Lorenzo Pisani Facoltà di Scienze Mm.Ff.Nn. Università degli Studi di Bari ottobre 2007 Indice 1 Insiemi 3 1.1 Inclusione............................... 5 1.2 Famiglie di insiemi..........................

Dettagli

MATEMATICA PROGRAMMAZIONE ANNUALE CLASSE TERZA PRIMARIA

MATEMATICA PROGRAMMAZIONE ANNUALE CLASSE TERZA PRIMARIA MATEMATICA PROGRAMMAZIONE ANNUALE CLASSE TERZA PRIMARIA INDICAZIONI METODOLOGICHE L'approccio approccio metodologico adottato si fonda sulla convinzione che la caratteristica fondamentale del pensiero

Dettagli

I processi di pensiero algebrico si sviluppano attraverso l equilibrio tra opposte polarità:

I processi di pensiero algebrico si sviluppano attraverso l equilibrio tra opposte polarità: I processi di pensiero algebrico si sviluppano attraverso l equilibrio tra opposte polarità: linguaggio naturale scrittura simbolica: la traduzione tra i due linguaggi non è 1-1; sintassi semantica: il

Dettagli

UNA LEZIONE SUI NUMERI PRIMI: NASCE LA RITABELLA

UNA LEZIONE SUI NUMERI PRIMI: NASCE LA RITABELLA UNA LEZIONE SUI NUMERI PRIMI: NASCE LA RITABELLA Tutti gli anni, affrontando l argomento della divisibilità, trovavo utile far lavorare gli alunni sul Crivello di Eratostene. Presentavo ai ragazzi una

Dettagli

Precorsi: Introduzione naïve alla logica ed alla teoria degli insiemi. Carlo Collari, Lapo Dini, Daniele Angella

Precorsi: Introduzione naïve alla logica ed alla teoria degli insiemi. Carlo Collari, Lapo Dini, Daniele Angella Precorsi: Introduzione naïve alla logica ed alla teoria degli insiemi. Carlo Collari, Lapo Dini, Daniele Angella CAPITOLO 1 Introduzione Per poter seguire un corso universitario di matematica, uno studente,

Dettagli

MATEMATICA Classe III

MATEMATICA Classe III MATEMATICA Classe III PROBLEMI - Riconoscere, rappresentare e risolvere problemi 1) Individuare situazioni problematiche nei vari contesti (di gioco, di scuola, di vita familiare...) 2) Individuare i dati

Dettagli

Il problema della ver-calità. Maffini Achille Liceo Scientifico Ulivi (PR)

Il problema della ver-calità. Maffini Achille Liceo Scientifico Ulivi (PR) Il problema della ver-calità Maffini Achille Liceo Scientifico Ulivi (PR) 1 I problemi della ver-calità: una consegna Quali problemi individui nella costruzione di un curricolo veramente verticale? Su

Dettagli

La negazione di una condizione necessaria e sufficiente, invece, si può esprimere con una delle due forme viste in precedenza, ovvero: A e non B

La negazione di una condizione necessaria e sufficiente, invece, si può esprimere con una delle due forme viste in precedenza, ovvero: A e non B Negazioni La negazione di: se A allora B negazione A e non B. In caso ti chiedano la negazione di una condizione necessaria, essa è: solo se A allora B negazione non A e B. La negazione di una condizione

Dettagli

ISTITUTO COMPRENSIVO DELLA VALLE DEI LAGHI

ISTITUTO COMPRENSIVO DELLA VALLE DEI LAGHI ISTITUTO COMPRENSIVO DELLA VALLE DEI LAGHI PROGRAMMA DI MATEMATICA PER LE CLASSI SECONDA E TERZA DELLA SCUOLA PRIMARIA SETTEMBRE 2003 COMPETENZE IN NUMERO Obiettivi: - Contare, eseguire semplici operazioni

Dettagli

Come studiare matematica

Come studiare matematica Come studiare matematica Consigli pratici sul metodo di studio Se l uomo non sapesse di matematica non si eleverebbe di un sol palmo da terra. Galileo Galilei Docente di Matematica e Informatica Istituto

Dettagli

PRIMAVERA IN BICOCCA

PRIMAVERA IN BICOCCA PRIMAVERA IN BICOCCA 1. Numeri primi e fattorizzazione Una delle applicazioni più rilevanti della Teoria dei Numeri si ha nel campo della crittografia. In queste note vogliamo delineare, in particolare,

Dettagli

Istituto Comprensivo Caposele (Av) Curricolo verticale d istituto a.sc. 2013-2014

Istituto Comprensivo Caposele (Av) Curricolo verticale d istituto a.sc. 2013-2014 CURRICOLO DI MATEMATICA SCUOLA PRIMARIA CLASSE PRIMA 1. Contare oggetti o eventi, a voce e mentalmente, in senso progressivo e regressivo e per salti di due, tre, 2. Leggere e scrivere i numeri naturali

Dettagli

CURRICOLO MATEMATICA OBIETTIVI E COMPETENZE

CURRICOLO MATEMATICA OBIETTIVI E COMPETENZE CURRICOLO MATEMATICA OBIETTIVI E COMPETENZE CLASSE OBIETTIVI COMPETENZE PRIMA Conoscere ed operare con i numeri Contare oggetti o eventi, con la voce e mentalmente, in senso progressivo e regressivo. Leggere

Dettagli