I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. Liceo Giorgione, Castelfranco Veneto 5 aprile 2016
|
|
- Fabrizio Gasparini
- 7 anni fa
- Visualizzazioni
Transcript
1 I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova Liceo Giorgione, Castelfranco Veneto 5 aprile
2 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità di ragionamento (elaborazione di nozioni) A volte uno stesso test valuta i due aspetti Tra i test specificamente del secondo tipo troviamo quelli di logica (e spesso quelli di aritmetica ) 2
3 LOGICA E RAGIONAMENTO La Logica è la scienza del ragionamento corretto? A volte sì, a volte no Nei test pretende di esserlo Ci viene chiesto di fare un ragionamento logico per rispondere ad una domanda 3
4 PERCHE PROPRIO LA LOGICA? Dovrebbe essere alla base dei ragionamenti che facciamo tutti i giorni. Non ha prerequisiti. 4
5 ATTEGGIAMENTO SCIENTIFICO Molti personaggi pubblici: io di matematica non ho mai capito niente Ma non direbbero mai: io non sono in grado di scrivere una lettera 5
6 LOGICA E RAGIONAMENTO Dobbiamo fare un ragionamento logico per rispondere risolvere un problema Se si verifica A, allora deve verificarsi B, ma B non può verificarsi, e quindi non è possibile che si verifichi A 6
7 LOGICA E RAGIONAMENTO Se tutti i tifosi dell Inter sono bugiardi e Mario dice di essere tifoso dell Inter, cosa possiamo concludere?... Se Mario è tifoso dell Inter, allora è bugiardo (se una proprietà vale per tutti, allora vale in particolare per Mario) Se Mario fosse tifoso dell Inter, allora avrebbe detto la verità, e quindi non sarebbe bugiardo. Mario non è tifoso dell Inter ed è bugiardo 7
8 OPERATORI/CONNETTIVI SE... ALLORA, TUTTI, ESISTE, E, O,... Queste espressioni hanno lo stesso significato in un ragionamento logico e nel senso comune? Non sempre. Ed è questo che spesso ci porta a sbagliare. 8
9 CONFLITTI TRA LOGICA E SENSO COMUNE Se. allora Se il poligono P è un quadrato, allora ha tutti i lati uguali Se c è il sole, allora vado al mare E se P non è un quadrato? E se piove? 9
10 RAGIONANDO LOGICAMENTE Se c è il sole, allora vado al mare Da un punto di vista strettamente logico questa frase non dà informazioni su cosa faccio se non c è il sole. E quanto intendiamo nei discorsi di tutti i giorni? NO! 10
11 RAGIONANDO LOGICAMENTE Infatti diciamo: Se c è il sole, allora vado al mare, ma potrei andarci anche se non c è il sole. Da un punto di vista strettamente logico la precisazione sottolineata è superflua, mentre nel linguaggio naturale non lo è. Nel linguaggio naturale se allora viene spesso inteso come se e solo se 11
12 RAGIONANDO LOGICAMENTE Se il poligono P è un quadrato, allora ha tutti i lati uguali, ma potrebbe avere tutti i lati uguali anche se non fosse un quadrato. In questo caso non si tratta di una precisazione 12
13 Negare una implicaizone Quando piove Mario prende l ombrello Se piove, allora Mario prende l ombrello Vogliamo mostrare che questa implicazione non è sempre vera Aspetto che piova... Ma se non piove mai? 13
14 SE... ALLORA... Se piove, allora Mario prende l ombrello Se non piove mai non riesco a rendere falsa quella proposizione Per poter falsificare un implicazione devo rendere vero l antecedente (e poi rendere falso il conseguente) 14
15 SE... ALLORA... Se 0 = 1 allora domani piove Non potrò mai rendere falsa questa implicazione. Quindi concludo che è vera. C è una forte assunzione sottostante! Quale? OGNI AFFERMAZIONE E VERA OPPURE FALSA 15
16 SE... ALLORA... Se 0 = 1 allora domani piove Osservazione sensata: cosa c entra Studio delle implicazioni rilevanti 16
17 ESEMPIO L insieme vuoto è contenuto in ogni insieme: X per ogni insieme X Cosa significa Y X? Per ogni x ( se x Y, allora x X) Per ogni x ( se x, allora x X) è una affermazione vera perché x è sempre falsa 17
18 ESEMPIO L insieme vuoto è contenuto in ogni insieme: X per ogni insieme X L insieme A non è contenuto in B se esiste un elemento di A che non è elemento di B. non contenuto in X significa che esiste un elemento di che non appartiene a X Ma non ha elementi, dunque è contenuto in X 18
19 ESSERE CONTENUTO E APPARTENERE L insieme {a, c, d} è contenuto nell insieme {a, b, c, d, e} La lettera a appartiene all insieme {a, b, c, d, e} TUTTAVIA L insieme {a, b, c, d, e} contiene la lettera a e contiene l insieme {a, c, d}. 19
20 ESEMPIO Se vinco alla lotteria, allora offro una cena a tutti Se non vinco la lotteria, l implicazione è verificata IMPORTANTE: posso offrire una cena anche se non vinco alla lotteria. Il fatto che io vinca alla lotteria è condizione affinché io offra una cena, non è una condizione 20
21 IMPLICAZIONE Se A allora B A implica B Dice solo cosa succede quando A si verifica Non dà informazioni su cosa succede quando A non si verifica Se c è il sole vado al mare 21
22 TEST DI WASON Le carte che su una faccia hanno una vocale, sull altra faccia hanno un numero pari (implicazione nascosta: vocale implica num. pari) E P 4 7 Quali carte controlliamo per vedere se la regola è verificata? (vogliamo il numero minimo di controlli) 22
23 TEST DI WASON Le carte che su una faccia hanno una vocale, sull altra faccia hanno un numero pari E P 4 7 SI NO NO SI 23
24 TEST DI WASON Chi ha meno di 16 anni, non può comperare alcolici. La polizia ferma 4 ragazzi. Alberto ha più di 16 anni Bruno ha meno di 16 anni Carlo ha comperato alcolici Dario non ha comperato alcolici Per chi è necessario un ulteriore controllo? 24
25 CONFLITTI TRA LOGICA E e (and,, &) SENSO COMUNE In un triangolo isoscele gli angoli alla base sono uguali e sono minori di 90 In un triangolo isoscele gli angoli alla base sono minori di 90 e sono uguali Mi spoglio e faccio la doccia Metto i guanti da forno e prendo la pentola bollente Nel senso comune c è spesso una dimensione temporale 25
26 CONFLITTI TRA LOGICA E o (or, ) SENSO COMUNE Considero il triangolo ABC. L angolo in A è acuto oppure l angolo in B è acuto. Vado al mare oppure metto in ordine il garage Compero una macchina nuova oppure faccio una lunga vacanza VEL / AUT 26
27 Cosa succede in matematica? In un triangolo isoscele gli angoli alla base sono uguali e sono minori di 90 Considero il triangolo ABC. L angolo in A è acuto oppure l angolo in B è acuto. 27
28 CONFLITTI TRA LOGICA E SENSO COMUNE alcuni, tutti (, ) Alcune biciclette hanno il cambio Alcune biciclette hanno le ruote Solo alcune biciclette hanno il cambio Ma non diciamo: solo alcune biciclette hanno le ruote 28
29 CONFLITTI TRA LOGICA E SENSO COMUNE Un test per medicina: Se è vero che «alcune biciclette hanno gli ammortizzatori», allora è necessariamente vera anche una delle affermazioni seguenti. Quale? Se comperi una bicicletta, questa può non avere gli ammortizzatori Le biciclette con gli ammortizzatori sono le migliori Anche se oggi non è così, un giorno tutte le biciclette avranno gli ammortizzatori Le biciclette con gli ammortizzatori costano di più Non può esistere una bicicletta senza ammortizzatori 29
30 CONFLITTI TRA LOGICA E SENSO COMUNE Un test per medicina: Se è vero che «alcune biciclette hanno gli ammortizzatori», allora è necessariamente vera anche una delle affermazioni seguenti. Quale? Sarebbe stato meglio scrivere: Se è vero che «solo alcune biciclette hanno gli ammortizzatori», allora è necessariamente vera anche una delle affermazioni seguenti. Quale? 30
31 ANALISI DEL TEST Cosa significa alcuni? Nel linguaggio naturale alcuni viene spesso inteso come alcuni, ma non tutti, cioè come solo alcuni. 31
32 ANALISI DEL TEST Cosa significa alcuni? Può essere anche inteso come la negazione di nessuno E vero che nessun mammifero vive nell acqua? NO Quindi alcuni mammiferi vivono nell acqua. E vero che nessuna bici ha le ruote? NO Quindi alcune bici hanno le ruote 32
33 ANALISI DEL TEST Cosa significa alcuni? E vero che nessuna bici ha le ruote? NO Quindi alcune bici hanno le ruote. Se vogliamo che alcuni significhi alcuni, ma non tutti, dobbiamo rinunciare a vedere alcuni come negazione di nessuno 33
34 Cosa succede in matematica? alcuni non è in contrasto con tutti alcuni è la negazione di nessuno x tale che A equivale a non x non A x A equivale a non x tale che non A 34
35 solo Chi è giovane veste xxx Equivale a: Tutti i giovani vestono xxx (che in generale è falso) Ma di fatto si vuole trasmettere l idea che chi veste xxx è giovane, cioè: Solo chi è giovane veste xxx 35
36 ALTRI ESEMPI Professore, bisogna studiare il capitolo sei o il capitolo sette? Sì Se hai fame, c è del prosciutto in frigorifero. E un implicazione? No! Tuttavia... Se hai fame, allora guarda nel frigorifero. C è del prosciutto. 36
37 ALTRI ESEMPI Se qualcuno fa cadere il bicchiere, allora il bicchiere si rompe. Il bicchiere è rotto,... Anche nel linguaggio naturale sappiamo di non poter concludere che qualcuno l ha fatto cadere. Tuttavia... Confronto con se c è il sole vado al mare 37
38 CONCLUSIONI Non sempre logica e senso comune vanno d accordo (questo vuol dire che il senso comune è sbagliato?) Serve molta cautela nel preparare i test Certi test meglio non darli 38
39 UN PO DI LOGICA A e B A oppure B E vera quando A e B sono entrambe vere E vera quando almeno una tra A e B è vera Come neghiamo A e B? Negando A oppure negando B Come neghiamo A oppure B? Negando A e negando B non (A e B) = non(a) oppure non(b) non (A oppure B) = non(a) e non(b) 39
40 Relazioni tra e e o Non è vero che (ho una barca e ho una moto) Non ho una barca oppure non ho una moto non (A e B) equivale a (non A) o (non B) 40
41 Relazioni tra e e o Non è vero che (ho una barca o ho una moto) Non ho una barca e non ho una moto non (A o B) equivale a (non A) e (non B) 41
42 VERSIONE INSIEMISTICA X Y X Y Intersezione di X e Y Unione di X e Y X Complementare di X (X Y) = X Y (X Y) = X Y Leggi di de Morgan 42
43 VERSIONE INSIEMISTICA (X Y) = X Y (X Y) = X Y X Y 43
44 UN PO DI LOGICA Se A allora B Quando è falsa? Quando A è vera e B è falsa In tutti gli altri tre casi l implicazione è vera Confrontiamo se A allora B con non(a) oppure B se A allora B equivale a non(a) oppure B 44
45 TAVOLE DI VERITA Se A allora B Quattro possibilità: A vero, B vero A vero, B falso A falso, B vero A falso, B falso Implicazione VERA Implicazione FALSA Implicazione VERA Implicazione VERA 45
46 CONFRONTO CON oppure non-a oppure B Quattro possibilità: A vero, B vero A vero, B falso A falso, B vero A falso, B falso VERA FALSA VERA VERA 46
47 implica e oppure A implica B equivale a non-a oppure B E infatti Se A allora B è sempre vera quando A è falso, oppure quando B è vero 47
48 UN PO DI LOGICA Cosa possiamo dedurre da se A allora B Abbiamo visto che non possiamo dedurre se B allora A Ma se sappiamo che non(b) è vera? Allora possiamo dedurre non(a) se A allora B è equivalente a se non(b) allora non(a) 48
49 UN PO DI LOGICA se A allora B è equivalente a se non(b) allora non(a) se piove allora prendo l ombrello è equivalente a se non prendo l ombrello allora non piove causa/effetto??? 49
50 Equivalenze 50
51 bastano due operatori 51
I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova. Licei Lioy e Pigafetta, Vicenza, 13 Gennaio 2011
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova Licei Lioy e Pigafetta, Vicenza, 13 Gennaio 2011 1 DOVE TROVIAMO I TEST Facoltà di Scienze MM FF NN Corsi di laurea
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. I.T.I, Marzotto, Valdagno 24 febbraio 2014
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova I.T.I, Marzotto, Valdagno 24 febbraio 2014 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità di ragionamento
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova. Licei Lioy e Pigafetta, Vicenza, 20 Gennaio 2011
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova Licei Lioy e Pigafetta, Vicenza, 20 Gennaio 2011 1 Un test problematico Sapendo che in questo test una sola risposta
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova. Licei Lioy e Pigafetta, Vicenza, 27 Gennaio 2011
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova Licei Lioy e Pigafetta, Vicenza, 27 Gennaio 2011 1 ALTRI ESEMPI Ad un tavolo circolare si siedono dei cavalieri e
DettagliCenni di logica matematica e di teoria degli insiemi Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2017/2018 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve
DettagliCenni di logica matematica e di teoria degli insiemi Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2018/2019 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve
DettagliCenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni 1 1 Logica matematica Corsi Introduttivi - a.a. 2016/2017 2 Serve
DettagliRagionamenti e metodi di dimostrazione. Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica
Ragionamenti e metodi di dimostrazione Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica Proposizioni Si definisce proposizione una frase alla quale è possibile attribuire uno e un solo valore
DettagliRichiami teorici ed esercizi di Logica
Facoltà di ingegneria Università della Calabria Corsi di Potenziamento Matematica e Logica A. A. 2008-2009 Richiami teorici ed esercizi di Logica Proposizioni logiche: Ogni espressione matematica alla
DettagliL'algebra Booleana. Generalità. Definizioni
L'algebra Booleana Generalità L algebra booleana è stata sviluppata da George Boole nel 1854, ed è diventata famosa intorno al 1938 poiché permette l analisi delle reti di commutazione, i cui soli stati
DettagliEsercizio 2. Spiegare perché è falsa la seguente affermazione: Se n è un numero negativo, allora anche n + 3 è negativo.
Sapienza Università di Roma - Facoltà I3S Corso di Laurea in Statistica Economia Finanza e Assicurazioni Corso di Laurea in Statistica Economia e Società Corso di Laurea in Statistica gestionale Matematica
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova. Licei Lioy e Pigafetta, Vicenza, 3 febbraio 2011
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova Licei Lioy e Pigafetta, Vicenza, 3 febbraio 2011 1 2 Aldo, Giovanni e Giacomo, indagati per un reato, vengono interrogati.
DettagliL implicazione logica
L implicazione logica Le espressioni Se allora o Condizione per. è che, perché. è necessario sono alcune delle locuzioni che segnalano la presenza di un implicazione, un connettivo logico che mette in
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. Liceo Giorgione, Castelfranco 12 aprile 2016
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova Liceo Giorgione, Castelfranco 12 aprile 2016 1 Sull implicazione «se A allora B» equivale a «se non-b allora non-a» «se
DettagliABILITÀ LOGICO MATEMATICHE DIPARTIMENTO DI SCIENZE POLITICHE E SOCIALI A.A LOGICA
1 Che cos è una proposizione logica? LOGICA Una proposizione logica è un espressione linguistica, cioè una frase, che può essere vera (V) o falsa (F). Consideriamo le frasi: 1. 5 è un numero primo 2. Roma
DettagliDI CHE COSA SI OCCUPA LA LOGICA
Di Emily Rinaldi DI CHE COSA SI OCCUPA LA LOGICA La logica si occupa dell esattezza dei ragionamenti Nei tempi antichi solo verbale. Nell epoca moderna la logica viene applicata per l ordinamento sistemazione
DettagliCenni di logica. Hynek Kovarik. Università di Brescia. Analisi Matematica A
Cenni di logica Hynek Kovarik Università di Brescia Analisi Matematica A Hynek Kovarik (Università di Brescia) Cenni di logica Analisi Matematica A 1 / 21 Scopo: introdurre nozioni di logica & terminologia
DettagliSesto modulo: Logica Obiettivi 1. individuare dei "calcoli logici" che consentano di meccanizzare l attività deduttiva
Sesto modulo: Logica Obiettivi 1. individuare dei "calcoli logici" che consentano di meccanizzare l attività deduttiva 2. stabilire quali ragionamenti sono corretti e quali no 3. distinguere tra condizione
DettagliLogica: materiale didattico
Logica: materiale didattico M. Cialdea Mayer. Logica (dispense): http://cialdea.dia.uniroma3.it/teaching/logica/materiale/dispense-logica.pdf Logica dei Predicati (Logica per l Informatica) 01: Logica
DettagliElementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni.
Elementi di logica SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni. Quantificatori: elementi fondamentali del linguaggio matematico. quantificatore
Dettagli02 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 0 - Logica delle dimostrazioni Anno Accademico 015/016
Dettagli3. Logica. Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune...
Capitolo 3. Logica 3. Logica Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune... sei una persona priva di logica è logico comportarsi cosí fai l
Dettagli04 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,
DettagliPrecorso 2000 Test finale
42 Esercizi di Analisi Matematica Versione 2006 Precorso 2000 Test finale Tempo concesso: 120 minuti Valutazione: risposta esatta +1, errata 1, mancante 0 punti (per 32 domande) Trovare i valori di a che
DettagliMETODI MATEMATICI PER L INFORMATICA
METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 2 17/03/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Applicazioni della logica proposizionale La logica ha una
Dettagli8 Due strategie per verificare una tautologia
8 Due strategie per verificare una tautologia Per quanto spiegato finora per vedere se vale abbiamo almeno due possibilità: = pr 1. strategia tabella: fai la tabella di verità di pr vantaggio: strategia
DettagliINSIEMI. DEF. Un INSIEME è una qualsiasi collezione di oggetti.
INSIEMI DEF. Un INSIEME è una qualsiasi collezione di oggetti. Esso è ben definito quando è chiaro se un oggetto appartiene o non appartiene all insieme stesso. Esempio. E possibile definire l insieme
Dettagli1 Cenni di logica matematica
1 Cenni di logica matematica 1 1 Cenni di logica matematica Una delle discipline chiave della matematica (e non solo, visto che è fondamentale anche per comprendere la lingua parlata) è la logica matematica,
DettagliProposizioni. 1) Tra le seguenti frasi riconoscere le proposizioni, e stabilirne poi il valore di verità:
Si ricorda: - L'oggetto della logica sono le proposizioni, o enunciati (i due termini sono sinonimi); - Una proposizione è una espressione dotata di senso compiuto alla quale si può attribuire in modo
DettagliNOZIONI DI LOGICA. Premessa
NOZIONI DI LOGICA Premessa Il compito principale della logica è quello di studiare il nesso di conseguenza logica tra proposizioni, predisponendo delle tecniche per determinare quando la verità di una
DettagliLa logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di
La logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di studio da parte anche dei matematici. LE PROPOSIZIONI
Dettagli2. Quesiti dell area scientifica e scientifico-tecnologica
2. Quesiti dell area scientifica e scientifico-tecnologica Logica 01 Scegliere fra le alternative proposte quella che completa la serie: a b c d e 02 Un auto percorre 20.000 km nel corso di un lungo viaggio.
DettagliLogica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati;
Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria,
DettagliInsiemi, Numeri, Terminologia. Prof. Simone Sbaraglia
Insiemi, Numeri, Terminologia Prof. Simone Sbaraglia Corso Rapido di Logica Matematica La logica formale definisce le regole cui deve obbedire qualsiasi teoria deduttiva. Una proposizione e` una affermazione
DettagliFondamenti della Matematica aa Prof. Tovena Proposizioni e tavole di verità
Proposizioni e tavole di verità Una proposizione è un enunciato (dichiarazione, frase) che può essere vero o può essere falso, ma non può essere contemporaneamente sia vero che falso. Essere vera o falsa
DettagliLogica di Base. Docente: Francesca Benanti. 27 Gennaio 2007
Logica di Base Docente: Francesca Benanti 27 Gennaio 2007 1 Logica Formale La logica è la disciplina filosofica che studia le forme del ragionamento corretto. Da Aristotele al secolo scorso la logica è
DettagliIntroduzione alla logica proposizionale
Introduzione alla logica proposizionale Mauro Bianco Questa frase è falsa Contents 1 Proposizioni 1 2 Altri operatori 4 Nota : Le parti delimitate da *** sono da considerarsi facoltative. 1 Proposizioni
DettagliESERCITAZIONE 4 : INSIEMI E LOGICA
ESERCITAZIONE 4 : INSIEMI E LOGICA e-mail: tommei@dm.unipi.it web: www.dm.unipi.it/ tommei Ricevimento: Martedi 16-18 Dipartimento di Matematica, piano terra, studio 126 30 Ottobre 2012 Esercizio 1 I due
DettagliELEMENTI DI LOGICA. Predicati: frasi sensate che contengono una (o più) variabili libere. Li indichiamo con P(x,y,...),...
ELEMENTI DI LOGICA Predicati: frasi sensate che contengono una (o più) variabili libere. Li indichiamo con P(x,y,...),... Le variabili libere x, y,... sono argomenti che possono assumere valori diversi
DettagliELEMENTI DI LOGICA. Siano p e q le due proposizioni: p: 3 è un numero primo q: 20 è divisibile per 5 Enunciare le proposizioni p q, p q.
ELEMENTI DI LOGICA Proposizioni e operazioni 2 3 4 Stabilire quali di queste frasi sono proposizioni logiche e stabilirne il valore di verità: a) 5 è un numero dispari b) Napoli è il capoluogo della Campania
DettagliLa logica matematica. Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S
La logica matematica Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S. 2010-2011 La logica studia le proposizioni logiche e le relazioni tra esse. Una proposizione logica è
DettagliCenni di Logica. Hynek Kovarik. Università di Brescia. Analisi Matematica 1
Cenni di Logica Hynek Kovarik Università di Brescia Analisi Matematica 1 Hynek Kovarik (Università di Brescia) Cenni di Logica Analisi Matematica 1 1 / 15 Scopo: introdurre nozioni di logica & terminologia
DettagliIntroduzione al metodo assiomatico nella Geometria
Introduzione al metodo assiomatico nella Geometria 1 Introduzione Consideriamo la seguenti proposizione: Sopra una determinato segmento si può costruire un triangolo equilatero Si fa un affermazione e
Dettaglidetta tavola di verità, in cui nella prima colonna compaiono i valori di verità della
LOGICA DELLE PROPOSIZIONI Proposizioni Nel linguaggio naturale, ovvero nel linguaggio che parliamo quotidianamente per comunicare, indichiamo con il termine proposizione una frase che esprime un pensiero
DettagliLOGICA e INSIEMISTICA
LOGICA e INSIEMISTICA Prof. Enrico Terrone A. S: 2008/09 Definizioni La logica è una parte speciale della matematica che si occupa, anziché dei numeri, delle proposizioni. Una proposizione è una frase
DettagliPROBLEMI. 1) La media aritmetica di 35 numeri naturali è 102 e la media di 20 di questi. 7) Quanto vale la somma delle cifre del numero 111 1
PROBLEMI 1) La media aritmetica di 35 numeri naturali è 10 e la media di 0 di questi numeri è 93. Quanto vale la media dei 15 numeri rimanenti? ) La casa del professor Fibonacci è costruita su un terreno
DettagliNOZIONI DI LOGICA. Premessa
NOZIONI DI LOGICA Premessa Il compito principale della logica è quello di studiare il nesso di conseguenza logica tra proposizioni, predisponendo delle tecniche per determinare quando la verità di una
DettagliEsercizi di logica discussi in due esercitazioni di novembre Molti sono esercizi tratti dai compiti di esame degli scorsi anni.
Esercizi di logica discussi in due esercitazioni di novembre 2015. Molti sono esercizi tratti dai compiti di esame degli scorsi anni. Disegnare il circuito (con blocchi E, OPPURE e NON che corrisponde
DettagliLogica proposizionale
Fondamenti di Informatica per la Sicurezza a.a. 2008/09 Logica proposizionale Stefano Ferrari UNIVERSITÀ DEGLI STUDI DI MILANO DIPARTIMENTO DI TECNOLOGIE DELL INFORMAZIONE Stefano Ferrari Università degli
DettagliLA LOGICA ESERCIZI. Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità.
LA LOGICA 1. Le proposizioni logiche ESERCIZI Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità. 1 A «1 1 è uguale a 5»; «Non si
DettagliAppunti di Matematica 1 - Insiemi - Insiemi
Insiemi Il concetto di insieme è molto importante in matematica. Cominciamo con lo stabilire cos è un insieme in senso matematico: un raggruppamento di oggetti è un insieme se si può stabilire in modo
DettagliIn una palazzina abitata da 20 famiglie, 10 di esse hanno il cane, 2 non hanno n è cane n è gatto mentre 12 famiglie hanno il gatto.
Attività In una palazzina abitata da 20 famiglie, 10 di esse hanno il cane, 2 non hanno n è cane n è gatto mentre 12 famiglie hanno il gatto. È possibile che si realizzi la situazione descritta? Motiviamo...
DettagliLogica di Base. Docente: Francesca Benanti. 13 Dicembre 2007
Logica di Base Docente: Francesca Benanti 13 Dicembre 2007 1 Logica Formale La logica è la disciplina filosofica che studia le forme del ragionamento corretto. Da Aristotele al secolo scorso la logica
Dettagli1. equivalenze e implicazioni logiche. Esercizio 1.2. Trovare le implicazioni che legano i seguenti enunciati (x, y R):
. equivalenze e implicazioni logiche Esercizio.. Trovare le implicazioni che legano i seguenti enunciati (x, y R): () x < y, () x = y, () x y, () x y, () (x y) > 0. Osserviamo subito che (x y) > 0 equivale
DettagliLA CLASSIFICAZIONE DEI VIVENTI
LA CLASSIFICAZIONE DEI VIVENTI Cinque regni (Robert Whittaker-1959): Regno animale (eucarioti pluricellulari a nutrizione eterotrofa, per ingestione) Regno vegetale (autotrofi pluricellulari a nutrizione
Dettagli10. IL TEST D INGRESSO: SOLUZIONI
0. IL TEST D INGRESSO: SOLUZIONI 0. LE RISPOSTE ESATTE ED I PROCEDIMENTI RISOLUTIVI CORRETTI ATTENZIONE Non limitarti a leggere il risultato. A volte si può arrivare ad una risposta corretta seguendo un
DettagliGeometria e Matematica di Base. Foglio di esercizi 1, con soluzioni
Geometria e Matematica di Base. Foglio di esercizi 1, con soluzioni Maria Rita D Orio, Giada Moretti, Daniele Vitacolonna Nota! Useremo per tutti gli esercizi a = 5, b = 9. 1 Esercizi di logica Esercizio
DettagliESEMPIO Un esempio di insieme vuoto è l insieme dei numeri reali di quadrato 4. B A
TEORI DEGLI INSIEMI GENERLIT Un insieme è un ente costituito da oggetti. Il concetto di insieme e di oggetto si assumono come primitivi. Se un oggetto a fa parte di un insieme si dice che esso è un suo
DettagliRagionamento formalei. Ragionamento formale
Ragionamento formale La necessità e l importanza di comprendere le basi del ragionamento formale, utilizzato in matematica per dimostrare teoremi all interno di teorie, è in generale un argomento piuttosto
DettagliLo studioso di logica si chiede se la conclusione segue correttamente dalla premesse fornite e se premesse sono buone per accettare la conclusione.
Logica binaria La logica è la scienza del corretto ragionamento e consiste nello studio dei principi e dei metodi che consentono di individuare il corretto ragionamento. Lo studioso di logica si chiede
Dettagli1 Il linguaggio matematico
1 Il linguaggio matematico 1.1 La logica delle proposizioni La matematica è un linguaggio; a differenza del linguaggio letterario che utilizza una logica soggettiva, la matematica si serve di una logica
DettagliLogica proposizionale
Logica proposizionale Linguaggio comune Nel linguaggio comune si utilizzano spesso frasi imprecise o ambigue Esempio Un americano muore di melanoma ogni ora! Assurdo: significa che c è un americano (sfortunato)
DettagliIntroduzione alla Matematica per le Scienze Sociali - parte II
Introduzione alla Matematica per le Scienze Sociali - parte II Lucrezia Fanti Istituto Nazionale per l Analisi delle Politiche Pubbliche (INAPP) lucrezia.fanti@uniroma1.it Lucrezia Fanti Intro Matematica
DettagliLinguaggio della logica Calcolo della verità/falsità di «affermazioni»
Linguaggio della logica Calcolo della verità/falsità di «affermazioni» Linguaggio della logica Proposizioni semplici e composte Le frasi che formano i discorsi del nostro linguaggio naturale possono essere
DettagliNOZIONI DI LOGICA PROPOSIZIONI.
NOZIONI DI LOGICA PROPOSIZIONI. Una proposizione è un affermazione che è vera o falsa, ma non può essere contemporaneamente vera e falsa. ESEMPI Sono proposizioni : 7 è maggiore di 2 Londra è la capitale
DettagliRicordando che: = si ha:
Logica matematica Esempi 1. Stailisci il grado di verità delle seguenti proposizioni logiche: :" è h 2 è " :"5 è 2 3 è 6" :" è h : è è " :" h h " :" h è " :" è, è " F 2. Data la proposizione p:" " la sua
DettagliSe con e indichiamo l elemento neutro di in G, e deve appartenere ad H.
Abbiamo visto a lezione che una sottoalgebra B di un algebra A è identificabile con l immagine di un omomorfismo iniettivo a valori in A. Una sottoalgebra B di A è in particolare un sottoinsieme non vuoto
DettagliLiceo Scientifico G. Galilei Trebisacce Anno Scolastico A= x x=2n n 5 n N B= x N 2 x<8 C= x x=4n n<5
Liceo Scientifico G. Galilei Trebisacce Anno Scolastico 2012-2013 Prova di Matematica : Insiemi e logica Alunno: Classe: 1C 22.11.2012 prof. Mimmo Corrado 1. Dato l insieme universo U= x N x
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. Liceo Giorgione, Castelfranco 19 aprile 2016
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova Liceo Giorgione, Castelfranco 19 aprile 2016 1 Lettura interessante V. Villani, C. Bernardi, S. Zoccante, R. Porcaro, Non
Dettaglimarina/did/mdis03/ marina/did/mdis03/ marina/did/mdis03/
Matematica Discreta (elementi) E-O CdL Informatica Elementi di logica formale 8 ottobre 2003 Marina Cazzola (marina@matapp.unimib.it) Dipartimento di Matematica e Applicazioni Università di Milano Bicocca
DettagliElementi di Algebra e Logica Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali:
Elementi di Algebra e Logica 2008. 8. Logica. 1. Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali: (a) p ( q r); (b) p (q r); (c) (p q) ( p r); (d) (p q) ( p r); (e) (p
DettagliSoluzioni degli esercizi di Analisi Matematica I
Soluzioni degli esercizi di Analisi Matematica I (Prof. Pierpaolo Natalini) Roberta Bianchini 30 ottobre 07 FOGLIO. Determinare il dominio e il segno della funzione ( ) f(x) = arccos x x + π/3.. Verificare
DettagliLogica e teoria degli insiemi
Introduzione Le ricerche booleane L insieme delle parti La logica è la disciplina che studia le regole del ragionamento, per poter costruire oggetti e relazioni di senso compiuto... Date delle frasi di
DettagliCALCOLO PROPOSIZIONALE. Corso di Logica per la Programmazione Andrea Corradini
CALCOLO PROPOSIZIONALE Corso di Logica per la Programmazione Andrea Corradini andrea@di.unipi.it UN PROBLEMA DI DEDUZIONE LOGICA (da un test d ingresso) Tre amici, Antonio, Bruno e Corrado, sono incerti
DettagliBREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta
BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento è corretto se segue uno
DettagliPercorso 2010: Introduzione alla Logica Proposizionale
Percorso 2010: Introduzione alla Logica Proposizionale Francesca Poggiolesi Facoltà di Medicina e Chirurgia 26 Agosto 2010, Firenze Dal test alla logica Alcuni esempi di test 1 Dal test alla logica Alcuni
DettagliElementi di Informatica A. A. 2016/2017
Elementi di Informatica A. A. 2016/2017 Ing. Nicola Amatucci Università degli studi di Napoli Federico II Scuola Politecnica e Delle Scienze di Base nicola.amatucci@unina.it Algebra di Boole Elementi di
DettagliAffermazioni aperte e quantificatori Definizione affermazione aperta Esempi Esempio Definizione Esempio Definizione quantificatore universale
Affermazioni aperte e quantificatori Definizione Una affermazione aperta è una affermazione che coinvolge una o più variabili. Esempi (a) 5 ³ 3x 2 (b) Il bambino ha un quaderno rosso. Una affermazione
DettagliLINGUAGGIO, INSIEMI E LOGICA. Nome e cognome:
LINGUAGGIO, INSIEMI E LOGICA Nome e cognome: Data: 1. Cos è un insieme? Dopo il confronto nel gruppo Finale 2. E'vero o falso? a] {1,2,3,4} = {1,4,3,2} vero falso b] {3,3,5,7} = {3,5,7} vero falso c] {7,2,3,5,4}
Dettagli184 Capitolo 6. Logica di base
184 Capitolo 6. Logica di base 6.5 Esercizi 6.5.1 Esercizi dei singoli paragrafi 6.1 - Le proposizioni 6.1. Quali delle seguenti frasi sono proposizioni logiche? a ) I matematici sono intelligenti; b )
DettagliLinguaggio della Matematica
Linguaggio della Matematica concetti primitivi: elementi fondamentali di natura intuitiva (punto, retta, insieme, elemento di un insieme,...). assiomi: enunciati, proposizioni vere a priori (gli assiomi
DettagliISTITUTO TECNICO STATALE COMMERCIALE E PER GEOMETRI A. MARTINI Castelfranco Veneto (TV) Elementi di Logica
settembre 008 Elementi di Logica 1. Nozioni preliminari La logica studia come funziona il pensiero e il ragionamento espresso attraverso degli enunciati Il ragionamento è un sistema di enunciati che permette
DettagliProf. Roberto Capone. Negazioni e deduzioni
Prof. Roberto Capone Negazioni e deduzioni Negazioni Tutti fanno qualcosa; Tutti sono qualcosa Qualcuno non fa qualcosa; Almeno uno non è qualcosa Tutti gli italiani sono intelligenti Almeno un Italiano
DettagliProf. Emanuele Papotto 14/10/2010
Prof. Emanuele Papotto Proposizioni e valori di verità In informatica spesso si ricorre ai principi della logica degli enunciati, una branca della matematica che studia l algebra delle proposizioni che
DettagliLuca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1
Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Esercizio 1.12 Per dimostrare che per ogni funzione esiste una formula in cui compaiono le variabili tale che la corrispondente
DettagliAppunti OFA Paola Rubbioni
Appunti OFA Paola Rubbioni Corso di Laurea Triennale in Chimica a.a. 2018/2019 1 OFA CdL in Chimica - a.a. 2018/2019 2 1 Logica matematica Serve ad inquadrare in schemi rigorosi gli strumenti ed i metodi
DettagliFondamenti della Matematica aa Prof. Tovena Proposizioni e tavole di verità
Proposizioni e tavole di verità Una proposizione è un enunciato (dichiarazione, frase) che può essere vero o può essere falso, ma non può essere contemporaneamente sia vero che falso. Essere vera o falsa
Dettagli1. Esercizi sui numeri reali
1. Esercizi sui numeri reali 1.1. Ricavare la formula risolutiva per le equazioni di secondo grado. 1.. Scrivere in altro modo a, a R. 1.3. Dato a R, scrivere le soluzioni dell equazione x = a. 1.4. Se
DettagliLiceo Scientifico G. Galilei Trebisacce
Liceo Scientifico G. Galilei Trebisacce Anno Scolastico 2011-2012 Prova di Matematica : Logica + Geometria (parte 1) Alunno: Classe: 1 C 04.05.2012 prof. Mimmo Corrado 1. Dimostra la 1 a legge di De Morgan.
DettagliCALCOLO PROPOSIZIONALE
CALCOLO PROPOSIZIONALE UN PROBLEMA DI DEDUZIONE LOGICA (da un test d ingresso) Tre amici, Antonio, Bruno e Corrado, sono incerti se andare al cinema. Si sa che: Se Corrado va al cinema, allora ci va anche
DettagliFondamenti teorici e programmazione
Fondamenti teorici e programmazione FTP(A) - modb Lezione 8 F.Bonchi Dip.to Informatica Fondamenti teorici e programmazione (A) - modb a.a. 2018/19 pag. 1 Ragionamento formale Comprendere le basi del ragionamento
DettagliFondamenti di Informatica 2, Linguaggi e Complessità : Logica I Parte Lucidi di M.Schaerf e A.Marchetti Spaccamela
Fondamenti di Informatica 2 Linguaggi e Complessità : Logica I Parte Lucidi di M.Schaerf e A.Marchetti Spaccamela Fondamenti di Informatica 2: Logica Indice degli argomenti Introduzione: Motivazioni, Prove,
DettagliLinguaggio della Matematica
Linguaggio della Matematica concetti primitivi: elementi fondamentali di natura intuitiva (punto, retta, insieme, elemento di un insieme,...). assiomi: enunciati, proposizioni vere a priori (gli assiomi
DettagliFondamenti di Informatica 2, Linguaggi e Complessità : Logica I Parte Lucidi di M.Schaerf e A.Marchetti Spaccamela
Fondamenti di Informatica 2 Linguaggi e Complessità :LogicaIParte Lucidi di M.Schaerf e A.Marchetti Spaccamela Fondamenti di Informatica 2: Logica } Indice degli argomenti Introduzione: Motivazioni, Prove,
DettagliLa logica modale e la dimostrazione dell esistenza di Dio di Gödel. LOGICA MODALE
La logica modale e la dimostrazione dell esistenza di Dio di Gödel. In alcuni giornali ho letto che di recente ci sono stati diversi studi che hanno riportato alla ribalta la dimostrazione dell esistenza
Dettagli