I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. Liceo Giorgione, Castelfranco Veneto 5 aprile 2016

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. Liceo Giorgione, Castelfranco Veneto 5 aprile 2016"

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

Dettagli

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

Dettagli

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

Dettagli

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

Dettagli

Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni

Cenni 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

Dettagli

Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni

Cenni 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

Dettagli

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

Dettagli

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

Dettagli

Richiami teorici ed esercizi di Logica

Richiami 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

Dettagli

L'algebra Booleana. Generalità. Definizioni

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

Dettagli

Esercizio 2. Spiegare perché è falsa la seguente affermazione: Se n è un numero negativo, allora anche n + 3 è negativo.

Esercizio 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

Dettagli

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

Dettagli

L implicazione logica

L 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

Dettagli

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

Dettagli

ABILITÀ LOGICO MATEMATICHE DIPARTIMENTO DI SCIENZE POLITICHE E SOCIALI A.A LOGICA

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

Dettagli

DI CHE COSA SI OCCUPA LA LOGICA

DI 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

Dettagli

Cenni di logica. Hynek Kovarik. Università di Brescia. Analisi Matematica A

Cenni 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

Dettagli

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

Dettagli

Logica: materiale didattico

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

Dettagli

Elementi 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. Elementi di logica SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni. Quantificatori: elementi fondamentali del linguaggio matematico. quantificatore

Dettagli

02 - Logica delle dimostrazioni

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

Dettagli

3. Logica. Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune...

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

Dettagli

04 - Logica delle dimostrazioni

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

Dettagli

Precorso 2000 Test finale

Precorso 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

Dettagli

METODI MATEMATICI PER L INFORMATICA

METODI 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

Dettagli

8 Due strategie per verificare una tautologia

8 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

Dettagli

INSIEMI. DEF. Un INSIEME è una qualsiasi collezione di oggetti.

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

Dettagli

1 Cenni di logica matematica

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

Dettagli

Proposizioni. 1) Tra le seguenti frasi riconoscere le proposizioni, e stabilirne poi il valore di verità:

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

Dettagli

NOZIONI DI LOGICA. Premessa

NOZIONI 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

Dettagli

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

Dettagli

2. Quesiti dell area scientifica e scientifico-tecnologica

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

Dettagli

Logica 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; Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria,

Dettagli

Insiemi, Numeri, Terminologia. Prof. Simone Sbaraglia

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

Dettagli

Fondamenti della Matematica aa Prof. Tovena Proposizioni e tavole di verità

Fondamenti 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

Dettagli

Logica di Base. Docente: Francesca Benanti. 27 Gennaio 2007

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

Dettagli

Introduzione alla logica proposizionale

Introduzione 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

Dettagli

ESERCITAZIONE 4 : INSIEMI E LOGICA

ESERCITAZIONE 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

Dettagli

ELEMENTI 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,...),... 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

Dettagli

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

Dettagli

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

Dettagli

Cenni di Logica. Hynek Kovarik. Università di Brescia. Analisi Matematica 1

Cenni 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

Dettagli

Introduzione al metodo assiomatico nella Geometria

Introduzione 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

Dettagli

detta tavola di verità, in cui nella prima colonna compaiono i valori di verità della

detta 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

Dettagli

LOGICA e INSIEMISTICA

LOGICA 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

Dettagli

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

Dettagli

NOZIONI DI LOGICA. Premessa

NOZIONI 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

Dettagli

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

Dettagli

Logica proposizionale

Logica 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

Dettagli

LA LOGICA ESERCIZI. Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità.

LA 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

Dettagli

Appunti di Matematica 1 - Insiemi - Insiemi

Appunti 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

Dettagli

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.

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

Dettagli

Logica di Base. Docente: Francesca Benanti. 13 Dicembre 2007

Logica 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

Dettagli

1. equivalenze e implicazioni logiche. Esercizio 1.2. Trovare le implicazioni che legano i seguenti enunciati (x, y R):

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

Dettagli

LA CLASSIFICAZIONE DEI VIVENTI

LA 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

Dettagli

10. IL TEST D INGRESSO: SOLUZIONI

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

Dettagli

Geometria e Matematica di Base. Foglio di esercizi 1, con soluzioni

Geometria 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

Dettagli

ESEMPIO Un esempio di insieme vuoto è l insieme dei numeri reali di quadrato 4. B A

ESEMPIO 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

Dettagli

Ragionamento formalei. Ragionamento formale

Ragionamento 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

Dettagli

Lo studioso di logica si chiede se la conclusione segue correttamente dalla premesse fornite e se premesse sono buone per accettare la conclusione.

Lo 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

Dettagli

1 Il linguaggio matematico

1 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

Dettagli

Logica proposizionale

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

Dettagli

Introduzione alla Matematica per le Scienze Sociali - parte II

Introduzione 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

Dettagli

Linguaggio della logica Calcolo della verità/falsità di «affermazioni»

Linguaggio 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

Dettagli

NOZIONI DI LOGICA PROPOSIZIONI.

NOZIONI 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

Dettagli

Ricordando che: = si ha:

Ricordando 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

Dettagli

Se con e indichiamo l elemento neutro di in G, e deve appartenere ad H.

Se 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

Dettagli

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

Dettagli

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

Dettagli

marina/did/mdis03/ marina/did/mdis03/ marina/did/mdis03/

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

Dettagli

Elementi di Algebra e Logica Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali:

Elementi 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

Dettagli

Soluzioni degli esercizi di Analisi Matematica I

Soluzioni 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

Dettagli

Logica e teoria degli insiemi

Logica 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

Dettagli

CALCOLO PROPOSIZIONALE. Corso di Logica per la Programmazione Andrea Corradini

CALCOLO 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

Dettagli

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

Dettagli

Percorso 2010: Introduzione alla Logica Proposizionale

Percorso 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

Dettagli

Elementi di Informatica A. A. 2016/2017

Elementi 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

Dettagli

Affermazioni aperte e quantificatori Definizione affermazione aperta Esempi Esempio Definizione Esempio Definizione quantificatore universale

Affermazioni 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

Dettagli

LINGUAGGIO, INSIEMI E LOGICA. Nome e cognome:

LINGUAGGIO, 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}

Dettagli

184 Capitolo 6. Logica di base

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

Dettagli

Linguaggio della Matematica

Linguaggio 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

Dettagli

ISTITUTO TECNICO STATALE COMMERCIALE E PER GEOMETRI A. MARTINI Castelfranco Veneto (TV) Elementi di Logica

ISTITUTO 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

Dettagli

Prof. Roberto Capone. Negazioni e deduzioni

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

Dettagli

Prof. Emanuele Papotto 14/10/2010

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

Dettagli

Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1

Luca 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

Dettagli

Appunti OFA Paola Rubbioni

Appunti 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

Dettagli

Fondamenti della Matematica aa Prof. Tovena Proposizioni e tavole di verità

Fondamenti 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

Dettagli

1. Esercizi sui numeri reali

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

Dettagli

Liceo Scientifico G. Galilei Trebisacce

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

Dettagli

CALCOLO PROPOSIZIONALE

CALCOLO 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

Dettagli

Fondamenti teorici e programmazione

Fondamenti 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

Dettagli

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

Dettagli

Linguaggio della Matematica

Linguaggio 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

Dettagli

Fondamenti 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 Linguaggi e Complessità :LogicaIParte Lucidi di M.Schaerf e A.Marchetti Spaccamela Fondamenti di Informatica 2: Logica } Indice degli argomenti Introduzione: Motivazioni, Prove,

Dettagli

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