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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Von Neumann fa anche l ipotesi che i funzionali siano lineari sull algebra:

Von Neumann fa anche l ipotesi che i funzionali siano lineari sull algebra: CAPITOLO 6 Il paradosso di Einstein Podolski Rosen Nel 1935 usciva un articolo degli autori sopra indicati, dal titolo Si può ritenere completa la descrizione quantistica della realtà fisica? L articolo

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

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

Prof. G. Gozzi classe 1 linguistico sez. F - matematica ordinamento 1. Liceo Classico, Scientifico e Linguistico A.Aprosio

Prof. G. Gozzi classe 1 linguistico sez. F - matematica ordinamento 1. Liceo Classico, Scientifico e Linguistico A.Aprosio Prof. G. Gozzi classe 1 linguistico sez. F - matematica ordinamento 1 Liceo Classico, Scientifico e Linguistico A.Aprosio PROGRAMMAZIONE INIZIALE DI MATEMATICA Classe 1 sez. F - anno scolastico 2013-2014

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

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

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

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

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

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

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

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

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

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

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

La competenza semantica La semantica frasale

La competenza semantica La semantica frasale La competenza semantica La semantica frasale (1) Gianni è arrivato ieri mattina! (2) Gianni è arrivato ieri (implicazione) Linguistica generale, Parte a.a. 2007-2008 (1 ') Nessuno studente è arrivato ieri

Dettagli

Programmazione di Matematica. Anno Scolastico 2015/2016. Classe 1 B AFM IIS Cigna-Baruffi-Garelli TESTI. OBIETTIVI EDUCATIVI e DIDATTICI TRASVERSALI

Programmazione di Matematica. Anno Scolastico 2015/2016. Classe 1 B AFM IIS Cigna-Baruffi-Garelli TESTI. OBIETTIVI EDUCATIVI e DIDATTICI TRASVERSALI Programmazione di Matematica Anno Scolastico 2015/2016 Classe 1 B AFM IIS Cigna-Baruffi-Garelli La classe dimostra un sufficiente interesse per la disciplina e la partecipazione è attiva solo per alcuni;

Dettagli

Esercizi di Matematica Discreta e Geometria. Parte II

Esercizi di Matematica Discreta e Geometria. Parte II Esercizi di Matematica Discreta e Geometria Parte II 14 gennaio 2010 AVVISO: Sia i testi che gli svolgimenti proposti possono contenere errori e/o ripetizioni Essi sono infatti opera di vari collage e,

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

E possibile costruire una mentalità matematica?

E possibile costruire una mentalità matematica? E possibile costruire una mentalità matematica? Prof. F. A. Costabile 1. Introduzione La matematica è più di una tecnica. Apprendere la matematica significa conquistare l attitudine ad un comportamento

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

(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

METODOLOGIA DELL INSEGNAMENTO ALLENAMENTO DELLA TECNICA

METODOLOGIA DELL INSEGNAMENTO ALLENAMENTO DELLA TECNICA METODOLOGIA DELL INSEGNAMENTO ALLENAMENTO DELLA TECNICA Non possiamo parlare di un unica metodologia per allenare la pallavolo, in quanto essa cambia in rapporto al livello di gioco: non può essere la

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

Tecniche di DM: Link analysis e Association discovery

Tecniche di DM: Link analysis e Association discovery Tecniche di DM: Link analysis e Association discovery Vincenzo Antonio Manganaro vincenzomang@virgilio.it, www.statistica.too.it Indice 1 Architettura di un generico algoritmo di DM. 2 2 Regole di associazione:

Dettagli

Algebra Booleana ed Espressioni Booleane

Algebra Booleana ed Espressioni Booleane Algebra Booleana ed Espressioni Booleane Che cosa è un Algebra? Dato un insieme E di elementi (qualsiasi, non necessariamente numerico) ed una o più operazioni definite sugli elementi appartenenti a tale

Dettagli

AILA (Associazione Italiana di Logica e Applicazioni)

AILA (Associazione Italiana di Logica e Applicazioni) 1 Ricerca-formazione 2007-2008 Laboratorio di Logica per la Scuola Superiore Inferenza, Simbolo, Linguaggio: la forma logica del linguaggio secondo Frege (Inferenza-simbolo A2) Paolo Gentilini Genova,

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

Scheda n.5: variabili aleatorie e valori medi

Scheda n.5: variabili aleatorie e valori medi Scheda n.5: variabili aleatorie e valori medi October 26, 2008 1 Variabili aleatorie Per la definizione rigorosa di variabile aleatoria rimandiamo ai testi di probabilità; essa è non del tutto immediata

Dettagli

EQUAZIONI E DISEQUAZIONI POLINOMIALI E COLLEGAMENTI CON LA GEOMETRIA ELEMENTARE

EQUAZIONI E DISEQUAZIONI POLINOMIALI E COLLEGAMENTI CON LA GEOMETRIA ELEMENTARE EQUAZIONI E DISEQUAZIONI POLINOMIALI E COLLEGAMENTI CON LA GEOMETRIA ELEMENTARE 1. EQUAZIONI Definizione: un equazione è un uguaglianza tra due espressioni letterali (cioè in cui compaiono numeri, lettere

Dettagli

ALGEBRA I: CARDINALITÀ DI INSIEMI

ALGEBRA I: CARDINALITÀ DI INSIEMI ALGEBRA I: CARDINALITÀ DI INSIEMI 1. CONFRONTO DI CARDINALITÀ E chiaro a tutti che esistono insiemi finiti cioè con un numero finito di elementi) ed insiemi infiniti. E anche chiaro che ogni insieme infinito

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

Kangourou Italia Gara del 15 marzo 2001 Categoria Student Per studenti di quarta e quinta superiore

Kangourou Italia Gara del 15 marzo 2001 Categoria Student Per studenti di quarta e quinta superiore Kangourou Italia Gara del 1 marzo 001 Categoria Student Per studenti di quarta e quinta superiore Regole:! La prova è individuale. E vietato l uso di calcolatrici di qualunque tipo.! Vi è una sola risposta

Dettagli

Apprendere al volo con il metodo analogico!

Apprendere al volo con il metodo analogico! Chiavari, 16 novembre 2013 Apprendere al volo con il metodo analogico! dott.ssa Zara Mehrnoosh pedagogista e vicepresidente O.S.Dislessia ONLUS Il 20% circa degli studenti incontrano difficoltà nella matematica

Dettagli

Calcolo dei Sequenti Predicativo: Note ed Esercizi

Calcolo dei Sequenti Predicativo: Note ed Esercizi Calcolo dei Sequenti Predicativo: Note ed Esercizi mace@dsi.unive.it 15 novembre 2007 1 Logica predicativa: sintassi La logica proposizionale è piuttosto limitata. La logica predicativa estende quella

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

Algebra e Geometria. Ingegneria Meccanica e dei Materiali Sez (2) Ingegneria dell Automazione Industriale Sez (2)

Algebra e Geometria. Ingegneria Meccanica e dei Materiali Sez (2) Ingegneria dell Automazione Industriale Sez (2) Algebra e Geometria Ingegneria Meccanica e dei Materiali Sez (2) Ingegneria dell Automazione Industriale Sez (2) Traccia delle lezioni che saranno svolte nell anno accademico 2012/13 I seguenti appunti

Dettagli

Un po di giochi. Prof. Giorgio Bolondi Università degli Studi di Bologna ForMATH project. Giorgio Bolondi

Un po di giochi. Prof. Giorgio Bolondi Università degli Studi di Bologna ForMATH project. Giorgio Bolondi Un po di giochi Prof. Università degli Studi di Bologna ForMATH project Palline, pallette e pallone (per le classi III, IV e V). Gabriele è molto orgoglioso della sua collezione di palle rimbalzine; ne

Dettagli

Esercitazioni per il corso di Logica Matematica

Esercitazioni per il corso di Logica Matematica Esercitazioni per il corso di Logica Matematica Luca Motto Ros 14 marzo 2005 Nota importante. Queste pagine contengono appunti personali dell esercitatore e sono messe a disposizione nel caso possano risultare

Dettagli

1. Intorni di un punto. Punti di accumulazione.

1. Intorni di un punto. Punti di accumulazione. 1. Intorni di un punto. Punti di accumulazione. 1.1. Intorni circolari. Assumiamo come distanza di due numeri reali x e y il numero non negativo x y (che, come sappiamo, esprime la distanza tra i punti

Dettagli

1. I limiti delle funzioni.

1. I limiti delle funzioni. 1. I iti delle funzioni. 1.1. Considerazioni introduttive. La nozione di ite di una funzione reale di variabile reale costituisce una naturale generalizzazione della nozione di ite di una successione.

Dettagli

Logica deduttiva, applicazioni avanzate

Logica deduttiva, applicazioni avanzate Logica deduttiva, applicazioni avanzate 1. Se si assume la verità delle proposizioni se l ornitorinco fa le uova, allora non è un mammifero e l ornitorinco è un mammifero deve di conseguenza essere vera

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

13. GLI ZII DI PIERINO

13. GLI ZII DI PIERINO 13 o RALLY MATEMATICO TRANSALPINO PROVA II - marzo - aprile 2005 ARMT.2005 p. 1 12. DADI (Cat. 6, 7, 8, 9) ARMT.2005-13 - II prova Un dado (di tipo «occidentale») è costruito correttamente se sono rispettate

Dettagli

Appunti sulle disequazioni

Appunti sulle disequazioni Premessa Istituto d Istruzione Superiore A. Tilgher Ercolano (Na) Appunti sulle disequazioni Questa breve trattazione non vuole costituire una guida completa ed esauriente sull argomento, ma vuole fornire

Dettagli

FUNZIONI. N indica l insieme dei numeri naturali; Z indica l insieme dei numeri relativi interi; Q indica l insieme dei numeri razionali;

FUNZIONI. N indica l insieme dei numeri naturali; Z indica l insieme dei numeri relativi interi; Q indica l insieme dei numeri razionali; 1 FUNZIONI Introduzione Una lingua è fatta di parole; essa si impara soprattutto con la pratica. La matematica, per esprimere i concetti logici, usa un proprio alfabeto fatto di simboli; anche questo si

Dettagli

Come si valuta per competenze? Competenza situata. Definizione dei profili di competenza. Situazioni problema per la valutazione di competenze.

Come si valuta per competenze? Competenza situata. Definizione dei profili di competenza. Situazioni problema per la valutazione di competenze. Come si valuta per competenze? Competenza situata. Definizione dei profili di competenza. Situazioni problema per la valutazione di competenze. Criterio 1. Competenza situata Descrizione Per valutare per

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

ANALISI DELLA SITUAZIONE DI PARTENZA

ANALISI DELLA SITUAZIONE DI PARTENZA ISTITUTO TECNICO STATALE AD INDIRIZZO COMMERCIALE IGEA - MARKETING GEOMETRI - PROGRAMMATORI TURISTICO G FILANGIERI PROGRAMMAZIONE DISCIPLINARE PER COMPETENZE ANNO SCOLASTICO 2010/2011 INDIRIZZO DI STUDI

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

Il primo teorema di incompletezza di Gödel

Il primo teorema di incompletezza di Gödel Il primo teorema di incompletezza di Gödel Stefano Nasini Dept. of Statistics and Operations Research Universitat Politécnica de Catalunya 1. Introduzione Questo documento vuole essere una spiegazione

Dettagli

I Insiemi e funzioni

I Insiemi e funzioni I Insiemi e funzioni 1. INSIEMI ED OPERAZIONI SU DI ESSI 1.1. Insiemi Dal punto di vista intuitivo, il concetto di insieme può essere fatto corrispondere all atto mentale mediante il quale associamo alcuni

Dettagli

E solo questione di metodo:

E solo questione di metodo: E solo questione di metodo: problemi e algoritmi di matematica elementare Progetto Lauree Scientifiche Scuola Estiva di Matematica (4092015) Stefano Finzi Vita Dipartimento di Matematica - Sapienza Università

Dettagli

Algebra Booleana 1 ALGEBRA BOOLEANA: VARIABILI E FUNZIONI LOGICHE

Algebra Booleana 1 ALGEBRA BOOLEANA: VARIABILI E FUNZIONI LOGICHE Algebra Booleana 1 ALGEBRA BOOLEANA: VARIABILI E FUNZIONI LOGICHE Andrea Bobbio Anno Accademico 2000-2001 Algebra Booleana 2 Calcolatore come rete logica Il calcolatore può essere visto come una rete logica

Dettagli

Matematica SECONDO BIENNIO NUOVO ORDINAMENTO I.T.Ag Noverasco PIANO DI LAVORO ANNUALE 2014/2015

Matematica SECONDO BIENNIO NUOVO ORDINAMENTO I.T.Ag Noverasco PIANO DI LAVORO ANNUALE 2014/2015 Istituto di Istruzione Superiore ITALO CALVINO telefono: 0257500115 via Guido Rossa 20089 ROZZANO MI fax: 0257500163 Sezione Associata: telefono: 025300901 via Karl Marx 4 - Noverasco - 20090 OPERA MI

Dettagli

PIANO DI LAVORO ANNUALE DI MATEMATICA. Prof. Angelo Bozza

PIANO DI LAVORO ANNUALE DI MATEMATICA. Prof. Angelo Bozza LICEO SCIENTIFICO STATALE A. GRAMSCI - IVREA ANNO SCOLASTICO 2013-2014 CLASSE 1^F - S.A. PIANO DI LAVORO ANNUALE DI MATEMATICA Prof. Angelo Bozza FINALITA SPECIFICHE DELLA DISCIPLINA E DIDATTICI Le finalità

Dettagli

PROVE DI VERIFICA DELLA COMPRENSIONE

PROVE DI VERIFICA DELLA COMPRENSIONE PROVE DI VERIFICA DELLA COMPRENSIONE Le prove vanno DIFFERENZIATE a seconda del TIPO DI CONOSCENZA o di PROCESSO che si vuole VERIFICARE. ATTENZIONE: la prova deve mirare l obiettivo! Nelle prove di comprensione

Dettagli

Logica del primo ordine

Logica del primo ordine Università di Bergamo Facoltà di Ingegneria Intelligenza Artificiale Paolo Salvaneschi A7_4 V1.3 Logica del primo ordine Il contenuto del documento è liberamente utilizzabile dagli studenti, per studio

Dettagli

PROGRAMMAZIONE DIDATTICA RIFERITA ALLA DISCIPLINA :MATEMATICA

PROGRAMMAZIONE DIDATTICA RIFERITA ALLA DISCIPLINA :MATEMATICA Istituto Istruzione Superiore A. Venturi Modena Liceo artistico - Istituto Professionale Grafica Via Rainusso, 66-41124 MODENA Sede di riferimento (Via de Servi, 21-41121 MODENA) tel. 059-222156 / 245330

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

14. Sia p il più grande numero primo che divide 251001. Allora: A 150 p 199 B 100 p 149 C p 99 D 200 p 249 E 250 p 299 F p 300

14. Sia p il più grande numero primo che divide 251001. Allora: A 150 p 199 B 100 p 149 C p 99 D 200 p 249 E 250 p 299 F p 300 Unione Matematica Italiana Scuola Normale Superiore Ministero della Pubblica Istruzione Gara Nazionale lassi Prime 013 Problemi Nella lista che segue la risposta corretta è sempre la vviamente, nelle 36

Dettagli

Algoritmo. Funzioni calcolabili. Unità 28

Algoritmo. Funzioni calcolabili. Unità 28 Prerequisiti: - Conoscenza dei numeri naturali e interi e delle loro proprietà. - Acquisizione del concetto di funzione. Questa unità è riservata al primo biennio dei Licei, eccezion fatta per il Liceo

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

Linguaggi Elementari

Linguaggi Elementari Linguaggi Elementari Marzo 2007 In questi appunti verranno introdotte le conoscenze essenziali relative ai linguaggi del primo ordine e alla loro semantica. Verrà anche spiegato come preprocessare un problema

Dettagli

LEGENDA: [A]: aritmetica - [G]: geometria [L]: logica [PSI]: Probabilità, Statistica e Informatica

LEGENDA: [A]: aritmetica - [G]: geometria [L]: logica [PSI]: Probabilità, Statistica e Informatica LEZIONE del 07.12.11 Argomento: CONTO, VEDO E PREVEDO Riferimenti ai materiali IL GIORNO DELLA NASCITA, CERTO, INCERTO: RIFLESSIONE SUL MONDO DELLA PROBABILITA, elaborato da "Matematica2001", Materiali

Dettagli

Svolgimento di alcuni esercizi del libro Matematica di Angelo Guerraggio

Svolgimento di alcuni esercizi del libro Matematica di Angelo Guerraggio Svolgimento di alcuni esercizi del libro Matematica di Angelo Guerraggio. Funzioni e insiemi numerici.4 Verificare che (A B) (A B) = (A A ) B. ) Sia (a, b) (A B) (A B). Allora a (A A ) e b B, da cui (a,

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

Scuola primaria: obiettivi al termine della classe 5

Scuola primaria: obiettivi al termine della classe 5 Competenza: partecipare e interagire con gli altri in diverse situazioni comunicative Scuola Infanzia : 3 anni Obiettivi di *Esprime e comunica agli altri emozioni, sentimenti, pensieri attraverso il linguaggio

Dettagli

AREA LINGUISTICO - ARTISTICO ESPRESSIVA ITALIANO

AREA LINGUISTICO - ARTISTICO ESPRESSIVA ITALIANO AREA LINGUISTICO - ARTISTICO ESPRESSIVA ITALIANO TRAGUARDI PER LO SVILUPPO DELLE COMPETENZE AL TERMINE DELLA SCUOLA SECONDARIA DI PRIMO GRADO L alunno è capace di interagire in modo efficace in diverse

Dettagli

CAPITOLO PRIMO - LOGICA PROPOSIZIONALE

CAPITOLO PRIMO - LOGICA PROPOSIZIONALE CAPITOLO PRIMO - LOGICA PROPOSIZIONALE 1. Premessa. Il compito principale della logica è quello di studiare il nesso di conseguenza logica tra proposizioni, predisponendo delle tecniche per determinare

Dettagli

Corso di Laurea in Matematica. Dispense del corso di ALGEBRA I

Corso di Laurea in Matematica. Dispense del corso di ALGEBRA I Corso di Laurea in Matematica Dispense del corso di ALGEBRA I a.a. 2012 2013 2 Cos è l anima?. Al negativo è facile da definire: per l appunto ciò che si affretta a rintanarsi quando sente parlare di serie

Dettagli

Indice generale. Modulo 1 Algebra 2

Indice generale. Modulo 1 Algebra 2 Indice generale Modulo 1 Algebra 2 Capitolo 1 Scomposizione in fattori. Equazioni di grado superiore al primo 1.1 La scomposizione in fattori 2 1.2 Raccoglimento a fattor comune 3 1.3 Raccoglimenti successivi

Dettagli

CONCETTO DI LIMITE DI UNA FUNZIONE REALE

CONCETTO DI LIMITE DI UNA FUNZIONE REALE CONCETTO DI LIMITE DI UNA FUNZIONE REALE Il limite di una funzione è uno dei concetti fondamentali dell'analisi matematica. Tramite questo concetto viene formalizzata la nozione di funzione continua e

Dettagli

Esempi di didattica laboratoriale

Esempi di didattica laboratoriale Esempi di didattica laboratoriale Il curricolo di matematica nella scuola primaria e secondaria di primo grado Abbiamo visto che I nostri allievi non sanno applicare le abilità apprese a scuola ad un contesto

Dettagli