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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Premesse alla statistica

Premesse alla statistica Premesse alla statistica Versione 22.10.08 Premesse alla statistica 1 Insiemi e successioni I dati di origine sperimentale si presentano spesso non come singoli valori, ma come insiemi di valori. Richiamiamo

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

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

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

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

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

attraverso l'ascolto attento della spiegazione in classe che ci chiarira' le caratteristiche generali dell'argomento in questione (ascolto globale)

attraverso l'ascolto attento della spiegazione in classe che ci chiarira' le caratteristiche generali dell'argomento in questione (ascolto globale) NOTE SUL METODO DI STUDIO a cura di Valeria Calcagno prima fase Quando ci si accinge a studiare un nuovo argomento è necessario avere prima di tutto un'idea generale di esso. come? attraverso l'ascolto

Dettagli

Componenti di un sistema KNOWLEDGE-BASED

Componenti di un sistema KNOWLEDGE-BASED Componenti di un sistema KNOWLEDGE-BASED DYNAMIC DATABASE PROBLEM FORMALIZATION CONTROL STRATEGY IL DATABASE DESCRIVE LA SITUAZIONE CORRENTE NELLA DETERMINAZIONE DELLA SOLUZIONE AL PROBLEMA. LA FORMALIZZAZIONE

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

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

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

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

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

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

Obiettivo Principale: Spiegare come la stessa cosa possa essere realizzata in molti modi diversi e come, a volte, ci siano modi migliori di altri.

Obiettivo Principale: Spiegare come la stessa cosa possa essere realizzata in molti modi diversi e come, a volte, ci siano modi migliori di altri. 6 LEZIONE: Algoritmi Tempo della lezione: 45-60 Minuti. Tempo di preparazione: 10-25 Minuti (a seconda che tu abbia dei Tangram disponibili o debba tagliarli a mano) Obiettivo Principale: Spiegare come

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

Corso di Laurea in Scienze della Formazione Primaria Università di Genova MATEMATICA Il

Corso di Laurea in Scienze della Formazione Primaria Università di Genova MATEMATICA Il Lezione 5:10 Marzo 2003 SPAZIO E GEOMETRIA VERBALE (a cura di Elisabetta Contardo e Elisabetta Pronsati) Esercitazione su F5.1 P: sarebbe ottimale a livello di scuola dell obbligo, fornire dei concetti

Dettagli

ESERCIZI DI ALGEBRA LINEARE E GEOMETRIA

ESERCIZI DI ALGEBRA LINEARE E GEOMETRIA ESERCIZI DI ALGEBRA LINEARE E GEOMETRIA Francesco Bottacin Padova, 24 febbraio 2012 Capitolo 1 Algebra Lineare 1.1 Spazi e sottospazi vettoriali Esercizio 1.1. Sia U il sottospazio di R 4 generato dai

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

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

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

Guardiamo ora però la cosa da un altro punto di vista analizzando il seguente grafico a forma di torta. La torta in 5 parti

Guardiamo ora però la cosa da un altro punto di vista analizzando il seguente grafico a forma di torta. La torta in 5 parti L EQUIVALENZA FRA I NUMERI RAZIONALI (cioè le frazioni), I NUMERI DECIMALI (quelli spesso con la virgola) ED I NUMERI PERCENTUALI (quelli col simbolo %). Ora vedremo che ogni frazione (sia propria, che

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

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

risulta (x) = 1 se x < 0.

risulta (x) = 1 se x < 0. Questo file si pone come obiettivo quello di mostrarvi come lo studio di una funzione reale di una variabile reale, nella cui espressione compare un qualche valore assoluto, possa essere svolto senza necessariamente

Dettagli

IMSV 0.8. (In Media Stat Virtus) Manuale Utente

IMSV 0.8. (In Media Stat Virtus) Manuale Utente Introduzione IMSV 0.8 (In Media Stat Virtus) Manuale Utente IMSV è una applicazione che calcola che voti può'prendere uno studente negli esami che gli mancano per ottenere la media che desidera. Importante:

Dettagli

2 Progetto e realizzazione di funzioni ricorsive

2 Progetto e realizzazione di funzioni ricorsive 2 Progetto e realizzazione di funzioni ricorsive Il procedimento costruttivo dato dal teorema di ricorsione suggerisce due fatti importanti. Una buona definizione ricorsiva deve essere tale da garantire

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

Serie numeriche e serie di potenze

Serie numeriche e serie di potenze Serie numeriche e serie di potenze Sommare un numero finito di numeri reali è senza dubbio un operazione che non può riservare molte sorprese Cosa succede però se ne sommiamo un numero infinito? Prima

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

11) convenzioni sulla rappresentazione grafica delle soluzioni

11) convenzioni sulla rappresentazione grafica delle soluzioni 2 PARAGRAFI TRATTATI 1)La funzione esponenziale 2) grafici della funzione esponenziale 3) proprietá delle potenze 4) i logaritmi 5) grafici della funzione logaritmica 6) principali proprietá dei logaritmi

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

PREMESSA. L idea è che a studiare si impara. E nessuno lo insegna. Non si insegna a scuola e non si può imparare da soli, nemmeno con grande fatica.

PREMESSA. L idea è che a studiare si impara. E nessuno lo insegna. Non si insegna a scuola e non si può imparare da soli, nemmeno con grande fatica. PREMESSA I libri e i corsi di 123imparoastudiare nascono da un esperienza e un idea. L esperienza è quella di decenni di insegnamento, al liceo e all università, miei e dei miei collaboratori. Esperienza

Dettagli

6.1 La metafisica della Credenza e del Pensiero: il Resoconto Positivo

6.1 La metafisica della Credenza e del Pensiero: il Resoconto Positivo EpiLog 16 XII 2013 Marco Volpe Sainsbury &Tye, Seven Puzzles of Thought Cap. VI The Methaphysics of Thought La concezione ortodossa riguardo il pensiero è che pensare che p significa essere in un appropriato

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

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

Capitolo 4 Probabilità

Capitolo 4 Probabilità Levine, Krehbiel, Berenson Statistica II ed. 2006 Apogeo Capitolo 4 Probabilità Insegnamento: Statistica Corso di Laurea Triennale in Economia Facoltà di Economia, Università di Ferrara Docenti: Dott.

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À CMPIONE Edizioni del Quadrifoglio à t i n U 1 Insiemi La teoria degli

Dettagli

Elementi di calcolo delle probabilità

Elementi di calcolo delle probabilità Elementi di calcolo delle probabilità Definizione di probabilità A) Qui davanti a me ho un urna contenente 2 palline bianche e 998 nere. Mi metto una benda sugli occhi, scuoto ripetutamente l urna ed estraggo

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

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

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

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

Le derivate versione 4

Le derivate versione 4 Le derivate versione 4 Roberto Boggiani 2 luglio 2003 Riciami di geometria analitica Dalla geometria analitica sulla retta sappiamo ce dati due punti del piano A(x, y ) e B(x 2, y 2 ) con x x 2 la retta

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

GUIDA A LOGICA. Indicazioni preliminari per lo svolgimento della prima batteria di test

GUIDA A LOGICA. Indicazioni preliminari per lo svolgimento della prima batteria di test GUIDA A LOGICA Indicazioni preliminari per lo svolgimento della prima batteria di test L esame di Stato è certamente uno dei traguardi più significativi nella vita di uno studente e il suo superamento

Dettagli

Matematica generale CTF

Matematica generale CTF Successioni numeriche 19 agosto 2015 Definizione di successione Monotonìa e limitatezza Forme indeterminate Successioni infinitesime Comportamento asintotico Criterio del rapporto per le successioni Definizione

Dettagli

Dispensa del corso di Informatica

Dispensa del corso di Informatica Dispensa 6-Boolean 1 Algebra Booleana Dispensa del corso di Informatica La logica George Boole (1815 1864) è stato un matematico e logico britannico, ed è considerato il padre fondatore della logica matematica.

Dettagli

MATEMATICA PRIMO BIENNIO CLASSE PRIMA DELLA SCUOLA PRIMARIA

MATEMATICA PRIMO BIENNIO CLASSE PRIMA DELLA SCUOLA PRIMARIA MATEMATICA PRIMO BIENNIO CLASSE PRIMA DELLA SCUOLA PRIMARIA COMPETENZA 1 UTILIZZARE CON SICUREZZA LE TECNICHE E LE PROCEDURE DI CALCOLO ARITMETICO SCRITTO E MENTALE CON RIFERIMENTO A CONTESTI REALI Stabilire

Dettagli

Ancora sugli insiemi. Simbologia

Ancora sugli insiemi. Simbologia ncora sugli insiemi Un insieme può essere specificato in vari modi; il più semplice è fare un elenco dei suoi elementi. d esempio l insieme delle nostre lauree triennali è { EOOM, EON, EOMM, EOMK EOTU}

Dettagli

Iniziamo con un esercizio sul massimo comun divisore: Esercizio 1. Sia d = G.C.D.(a, b), allora:

Iniziamo con un esercizio sul massimo comun divisore: Esercizio 1. Sia d = G.C.D.(a, b), allora: Iniziamo con un esercizio sul massimo comun divisore: Esercizio 1. Sia d = G.C.D.(a, b), allora: G.C.D.( a d, b d ) = 1 Sono state introdotte a lezione due definizioni importanti che ricordiamo: Definizione

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

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

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

Corso di Analisi Matematica. Successioni e serie numeriche

Corso di Analisi Matematica. Successioni e serie numeriche a.a. 2011/12 Laurea triennale in Informatica Corso di Analisi Matematica Successioni e serie numeriche Avvertenza Questi sono appunti informali delle lezioni, che vengono resi disponibili per comodità

Dettagli

x u v(p(x, fx) q(u, v)), e poi

x u v(p(x, fx) q(u, v)), e poi 0.1. Skolemizzazione. Ogni enunciato F (o insieme di enunciati Γ) è equisoddisfacibile ad un enunciato universale (o insieme di enunciati universali) in un linguaggio estensione del linguaggio di F (di

Dettagli

Processo di risoluzione di un problema ingegneristico. Processo di risoluzione di un problema ingegneristico

Processo di risoluzione di un problema ingegneristico. Processo di risoluzione di un problema ingegneristico Processo di risoluzione di un problema ingegneristico 1. Capire l essenza del problema. 2. Raccogliere le informazioni disponibili. Alcune potrebbero essere disponibili in un secondo momento. 3. Determinare

Dettagli

DIPARTIMENTO SCIENTIFICO

DIPARTIMENTO SCIENTIFICO DIPARTIMENTO SCIENTIFICO PROGRAMMAZIONE PER COMPETENZE DI MATEMATICA CLASSI QUINTE Anno scolastico 2015/2016 Ore di lezione previste nell anno: 165 (n. 5 ore sett. x 33 settimane) 1. FINALITÀ DELL INSEGNAMENTO

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

Descrizione dell unità. Titolo Frazioni con la LIM. Autore Barbara Bianconi

Descrizione dell unità. Titolo Frazioni con la LIM. Autore Barbara Bianconi Descrizione dell unità Titolo Frazioni con la LIM Autore Barbara Bianconi Tematica Come si traducono nel linguaggio della matematica un quarto in musica, una fetta di pizza, un terzo di un percorso prestabilito?

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

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

Politecnico di Milano. Facoltà di Ingegneria Industriale. Corso di Analisi e Geometria 2. Sezione D-G. (Docente: Federico Lastaria).

Politecnico di Milano. Facoltà di Ingegneria Industriale. Corso di Analisi e Geometria 2. Sezione D-G. (Docente: Federico Lastaria). Politecnico di Milano. Facoltà di Ingegneria Industriale. Corso di Analisi e Geometria 2. Sezione D-G. (Docente: Federico Lastaria). Aprile 20 Indice Serie numeriche. Serie convergenti, divergenti, indeterminate.....................

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 - 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

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

1. Calcolare la probabilità che estratte a caso ed assieme tre carte da un mazzo di 40, fra di esse vi sia un solo asso, di qualunque seme.

1. Calcolare la probabilità che estratte a caso ed assieme tre carte da un mazzo di 40, fra di esse vi sia un solo asso, di qualunque seme. Esercizi difficili sul calcolo delle probabilità. Calcolare la probabilità che estratte a caso ed assieme tre carte da un mazzo di, fra di esse vi sia un solo asso, di qualunque seme. Le parole a caso

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

Titolo dell Unità di Competenza: GIOCHIAMO IN DIVERSI

Titolo dell Unità di Competenza: GIOCHIAMO IN DIVERSI Titolo dell Unità di Competenza: GIOCHIAMO IN DIVERSI Griglia di progettazione dell UdC Il gruppo Infanzia-I ciclo della primaria, che si muove dentro l area linguistica e matematica sulla comprensione

Dettagli

Il volume e la capacità: un percorso, tanti sentieri. Antonella Vieri I Circolo Sesto Fiorentino

Il volume e la capacità: un percorso, tanti sentieri. Antonella Vieri I Circolo Sesto Fiorentino Il volume e la capacità: un percorso, tanti sentieri Antonella Vieri I Circolo Sesto Fiorentino VOLUME è la MISURA DELLA QUANTITA DI SPAZIO OCCUPATO DA UN CORPO Conservazione della quantità attraverso

Dettagli

Corso di Informatica Generale (C. L. Economia e Commercio) Ing. Valerio Lacagnina Fondamenti di calcolo booleano

Corso di Informatica Generale (C. L. Economia e Commercio) Ing. Valerio Lacagnina Fondamenti di calcolo booleano Breve introduzione storica Nel 1854, il prof. Boole pubblica un trattato ormai famosissimo: Le leggi del pensiero. Obiettivo finale del trattato è di far nascere la matematica dell intelletto umano, un

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

APPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI

APPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI APPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI Indice 1 Le frazioni algebriche 1.1 Il minimo comune multiplo e il Massimo Comun Divisore fra polinomi........ 1. Le frazioni algebriche....................................

Dettagli

Statistica 1 A.A. 2015/2016

Statistica 1 A.A. 2015/2016 Corso di Laurea in Economia e Finanza Statistica 1 A.A. 2015/2016 (8 CFU, corrispondenti a 48 ore di lezione frontale e 24 ore di esercitazione) Prof. Luigi Augugliaro 1 / 39 Introduzione Come si è detto,

Dettagli

IGiochidiArchimede-SoluzioniBiennio 22 novembre 2006

IGiochidiArchimede-SoluzioniBiennio 22 novembre 2006 PROGETTO OLIMPII I MTEMTI U.M.I. UNIONE MTEMTI ITLIN SUOL NORMLE SUPERIORE IGiochidirchimede-Soluzioniiennio novembre 006 Griglia delle risposte corrette Problema Risposta corretta E 4 5 6 7 8 9 E 0 Problema

Dettagli

1. PRIME PROPRIETÀ 2

1. PRIME PROPRIETÀ 2 RELAZIONI 1. Prime proprietà Il significato comune del concetto di relazione è facilmente intuibile: due elementi sono in relazione se c è un legame tra loro descritto da una certa proprietà; ad esempio,

Dettagli

Introduzione. Perché un altro libro sui quiz di logica?

Introduzione. Perché un altro libro sui quiz di logica? Introduzione Per gran parte dei concorsi pubblici, dall'accesso al'università alla selezione per posti lavorativi i quiz di logica solo parte importante dei quesiti selettivi. Non richiedono una preparazione

Dettagli

Capitolo 2. Operazione di limite

Capitolo 2. Operazione di limite Capitolo 2 Operazione di ite In questo capitolo vogliamo occuparci dell operazione di ite, strumento indispensabile per scoprire molte proprietà delle funzioni. D ora in avanti riguarderemo i domini A

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

Serie numeriche. 1 Definizioni e proprietà elementari

Serie numeriche. 1 Definizioni e proprietà elementari Serie numeriche Definizioni e proprietà elementari Sia { } una successione, definita per ogni numero naturale n n. Per ogni n n, consideriamo la somma s n degli elementi della successione di posto d s

Dettagli

MATEMATICA SCUOLE DELL INFANZIA

MATEMATICA SCUOLE DELL INFANZIA MATEMATICA SCUOLE DELL INFANZIA CAMPO DI ESPERIENZA: LA CONOSCENZA DEL MONDO (ordine, misura, spazio, tempo, natura) È l'ambito relativo all'esplorazione, scoperta e prima sistematizzazione delle conoscenze

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

(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

IL METODO DI STUDIO PAOLA BRUNELLO

IL METODO DI STUDIO PAOLA BRUNELLO IL METODO DI STUDIO PAOLA BRUNELLO APPRENDIMENTO L apprendimento è un processo attivo di costruzione di conoscenze, abilità e competenze in un contesto di interazione dei ragazzi con gli insegnanti, i

Dettagli

Studio di funzioni ( )

Studio di funzioni ( ) Studio di funzioni Effettuare uno studio qualitativo e tracciare un grafico approssimativo delle seguenti funzioni. Si studi in particolare anche la concavità delle funzioni e si indichino esplicitamente

Dettagli