3. Logica. Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune...
|
|
- Alessia Gasparini
- 7 anni fa
- Visualizzazioni
Transcript
1 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 analisi logica della seguente frase la logica del gioco è quella di realizzare più goal della squadra avversaria.
2 Capitolo 3. Logica Il termine LOGICA in ambito scientifico non è univoca la definizione (nemmeno fra i matematici) ambito di studio non solo relativo alla matematica storicamente il suo significato è variato
3 Capitolo 3. Logica Il termine LOGICA in ambito scientifico non è univoca la definizione (nemmeno fra i matematici) ambito di studio non solo relativo alla matematica storicamente il suo significato è variato
4 Capitolo 3. Logica Il termine LOGICA in ambito scientifico non è univoca la definizione (nemmeno fra i matematici) ambito di studio non solo relativo alla matematica storicamente il suo significato è variato
5 Capitolo 3. Logica Il termine LOGICA in ambito scientifico non è univoca la definizione (nemmeno fra i matematici) ambito di studio non solo relativo alla matematica storicamente il suo significato è variato
6 Capitolo 3. Logica La LOGICA matematica La logica si occupa dei ragionamenti dopo che questi sono stati espressi in qualche forma di linguaggio (quindi non dell attività del pensare, dei meccanismi interni della nostra mente, ma piuttosto del pensato dopo che questo è stato comunicato) e uno dei suoi scopi è quello di caratterizzare i ragionamenti corretti. D.Palladino
7 Capitolo 3. Logica Nel linguaggio naturale è facile cadere in situazioni di fraintendimento: la borsa è caduta quei due si sono sposati vado al mare o in montagna non ho fratelli In matematica queste ambiguità non possono esserci!
8 3.1 Logica delle proposizioni I termini primitivi: - proposizione logica che indicheremo con p,q,r... - vero che indicheremo anche con v - falso che indicheremo anche con f. Vero e falso verranno anche chiamati valori di veritá delle proposizioni.
9 3.1 Logica delle proposizioni I termini primitivi: - proposizione logica che indicheremo con p,q,r... - vero che indicheremo anche con v - falso che indicheremo anche con f. Vero e falso verranno anche chiamati valori di veritá delle proposizioni.
10 3.1 Logica delle proposizioni I termini primitivi: - proposizione logica che indicheremo con p,q,r... - vero che indicheremo anche con v - falso che indicheremo anche con f. Vero e falso verranno anche chiamati valori di veritá delle proposizioni.
11 3.1 Logica delle proposizioni I termini primitivi: - proposizione logica che indicheremo con p,q,r... - vero che indicheremo anche con v - falso che indicheremo anche con f. Vero e falso verranno anche chiamati valori di veritá delle proposizioni.
12 Assiomi: 1. PRINCIPIO DEL TERZO ESCLUSO. Ogni proposizione logica è vera o è falsa. 2. PRINCIPIO DI NON CONTRADDIZIONE. Ogni proposizione logica non è sia vera che falsa. Di ogni proposizione logica sapremo quindi dire esattamente il suo valore di veritá.
13 Assiomi: 1. PRINCIPIO DEL TERZO ESCLUSO. Ogni proposizione logica è vera o è falsa. 2. PRINCIPIO DI NON CONTRADDIZIONE. Ogni proposizione logica non è sia vera che falsa. Di ogni proposizione logica sapremo quindi dire esattamente il suo valore di veritá.
14 Assiomi: 1. PRINCIPIO DEL TERZO ESCLUSO. Ogni proposizione logica è vera o è falsa. 2. PRINCIPIO DI NON CONTRADDIZIONE. Ogni proposizione logica non è sia vera che falsa. Di ogni proposizione logica sapremo quindi dire esattamente il suo valore di veritá.
15 Esercizio Quali fra le seguenti sono proposizioni logiche? Sono piccolo 0 è il risultato dell operazione 6 4 Parigi è la capitale della Francia Vieni a giocare a nascondino? Oggi sono presenti al corso di Matematica Elementare 100 studenti Il mio paese è freddo
16 Scheda scuola primaria...
17 Definizione Un connettivo è una trasformazione che permette di ottenere nuove proposizioni logiche a partire da una o piú proposizioni logiche. I connettivi possono essere: monoargomentali se vengono applicati ad una sola proposizione biargomentali se vengono applicati a due proposizioni
18 Definizione Un connettivo è una trasformazione che permette di ottenere nuove proposizioni logiche a partire da una o piú proposizioni logiche. I connettivi possono essere: monoargomentali se vengono applicati ad una sola proposizione biargomentali se vengono applicati a due proposizioni
19 Definizione Due proposizioni logiche p e q sono equiveridiche se hanno lo stesso contenuto di veritá. Scriveremo p q.
20 3.1.1 Connettivi monoargomentali Connettivi monoargomentali Definizione LA NEGAZIONE La negazione è il connettivo che associa ad ogni proposizione logica p una nuova proposizione falsa quando p è vera vera quando p è falsa La negazione della proposizione logica p si indica con p oppure con p. Tavola di veritá p v f p f v
21 3.1.1 Connettivi monoargomentali Connettivi monoargomentali Definizione LA NEGAZIONE La negazione è il connettivo che associa ad ogni proposizione logica p una nuova proposizione falsa quando p è vera vera quando p è falsa La negazione della proposizione logica p si indica con p oppure con p. Tavola di veritá p v f p f v
22 3.1.1 Connettivi monoargomentali Scheda scuola primaria...
23 3.1.1 Connettivi monoargomentali Esercizio Proviamo a negare le seguenti proposizioni logiche: p: 3 è un numero pari q: 6 < 7 r: oggi è il 2 ottobre s: non ho 25 anni Attenzione! Come sará la negazione di t: 2, 5 è un numero pari? Si ricordi che negando una proposizione il valore di veritá deve cambiare!
24 3.1.1 Connettivi monoargomentali Esercizio Proviamo a negare le seguenti proposizioni logiche: p: 3 è un numero pari q: 6 < 7 r: oggi è il 2 ottobre s: non ho 25 anni Attenzione! Come sará la negazione di t: 2, 5 è un numero pari? Si ricordi che negando una proposizione il valore di veritá deve cambiare!
25 3.1.1 Connettivi monoargomentali Esistono altri connettivi monoargomentali? 3 è la negazione p 2 è la doppia negazione p. p v v v f f f v f v f 1 si chiama TAUTOLOGIA e trasforma ogni proposizione in una proposizione sempre VERA. 4 si chiama CONTRADDIZIONE e trasforma ogni proposizione in una proposizione sempre FALSA.
26 Definizione LA CONGIUNZIONE La congiunzione é il connettivo che associa ad ogni coppia di proposizioni logiche p e q una nuova proposizione vera quando p e q sono entrambe vere falsa in tutti gli altri casi La proposizione logica ottenuta dalla congiunzione di p con q si indica con p q. Tavola di veritá p q p q v v v v f f f v f f f f
27 Definizione LA CONGIUNZIONE La congiunzione é il connettivo che associa ad ogni coppia di proposizioni logiche p e q una nuova proposizione vera quando p e q sono entrambe vere falsa in tutti gli altri casi La proposizione logica ottenuta dalla congiunzione di p con q si indica con p q. Tavola di veritá p q p q v v v v f f f v f f f f
28 La congiunzione Tavola di veritá p q p q v v v v f f f v f f f f Tabella a doppia entrata p q v f v v f f f f
29 Scheda scuola primaria... Non c è alcuna connessione semantica fra le due proposizioni elementari che danno luogo alla proposizione composta. Il valore di veritá della proposizione composta è unicamente deciso a partire dal valore di veritá delle proposizioni elementari. Buona strategia didattica: uso dei colori!
30 Scheda scuola primaria... Non c è alcuna connessione semantica fra le due proposizioni elementari che danno luogo alla proposizione composta. Il valore di veritá della proposizione composta è unicamente deciso a partire dal valore di veritá delle proposizioni elementari. Buona strategia didattica: uso dei colori!
31 Proprietá della congiunzione 1. p p p (proprietá dell idempotenza) 2. (p q) r p (q r) (proprietá associativa) 3. p q q p (proprietá commutativa)
32 Proprietá della congiunzione 1. p p p (proprietá dell idempotenza) 2. (p q) r p (q r) (proprietá associativa) 3. p q q p (proprietá commutativa)
33 Proprietá della congiunzione 1. p p p (proprietá dell idempotenza) 2. (p q) r p (q r) (proprietá associativa) 3. p q q p (proprietá commutativa)
34 Proprietá della congiunzione 1. p p p (proprietá dell idempotenza) 2. (p q) r p (q r) (proprietá associativa) 3. p q q p (proprietá commutativa)
35 Scheda scuola primaria...
36 Osservazioni? 3.1 Logica delle proposizioni Scheda scuola primaria...
37 Scheda scuola primaria... Osservazioni?
38 Una O per dire tante cose diverse Per entrare in questo Pub é necessario avere 16 anni o essere accompagnati da un genitore Dormi subito o domani starai a casa dalla gita Faccio il bagno o la doccia
39 Una O per dire tante cose diverse Per entrare in questo Pub é necessario avere 16 anni o essere accompagnati da un genitore Dormi subito o domani starai a casa dalla gita Faccio il bagno o la doccia
40 Una O per dire tante cose diverse Per entrare in questo Pub é necessario avere 16 anni o essere accompagnati da un genitore Dormi subito o domani starai a casa dalla gita Faccio il bagno o la doccia
41 Una O per dire tante cose diverse Per entrare in questo Pub é necessario avere 16 anni o essere accompagnati da un genitore Dormi subito o domani starai a casa dalla gita Faccio il bagno o la doccia
42 LA DISGIUNZIONE INCLUSIVA Definizione La disgiunzione inclusiva é il connettivo che associa ad ogni coppia di proposizioni logiche p e q una nuova proposizione falsa quando p e q sono entrambe false vera in tutti gli altri casi La proposizione logica ottenuta dalla congiunzione di p con q si indica con p q. p q p q v v v v f v f v v f f f
43 LA DISGIUNZIONE INCLUSIVA Definizione La disgiunzione inclusiva é il connettivo che associa ad ogni coppia di proposizioni logiche p e q una nuova proposizione falsa quando p e q sono entrambe false vera in tutti gli altri casi La proposizione logica ottenuta dalla congiunzione di p con q si indica con p q. p q p q v v v v f v f v v f f f
44 La disgiunzione inclusiva p q p q v v v v f v f v v f f f p q v f v v v f v f
45 Proprietá della disgiunzione inclusiva 1. p p p (proprietá dell idempotenza) 2. (p q) r p (q r) (proprietá associativa) 3. p q q p (proprietá commutativa)
46 Proprietá della disgiunzione inclusiva 1. p p p (proprietá dell idempotenza) 2. (p q) r p (q r) (proprietá associativa) 3. p q q p (proprietá commutativa)
47 Proprietá della disgiunzione inclusiva 1. p p p (proprietá dell idempotenza) 2. (p q) r p (q r) (proprietá associativa) 3. p q q p (proprietá commutativa)
48 Proprietá della disgiunzione inclusiva 1. p p p (proprietá dell idempotenza) 2. (p q) r p (q r) (proprietá associativa) 3. p q q p (proprietá commutativa)
49 Esercizio Si consideri la proposizione logica composta: Mangio pane e mangio salame che possiamo tradurre con p q con i somboli della logica essendo p e q le due proposizioni elementari. Qual è la sua negazione?
50 Esercizio Si consideri la proposizione logica composta: Mangio pane e mangio salame che possiamo tradurre con p q con i somboli della logica essendo p e q le due proposizioni elementari. Qual è la sua negazione?
51 Leggi di De Morgan : Riguardano piú connettivi! p q p q p q p q Con le tavole di veritá si dimostrano queste due leggi.
52 Leggi di De Morgan : Riguardano piú connettivi! p q p q p q p q Con le tavole di veritá si dimostrano queste due leggi.
53 Leggi di De Morgan : Riguardano piú connettivi! p q p q p q p q Con le tavole di veritá si dimostrano queste due leggi.
54 LA DISGIUNZIONE ESCLUSIVA Definizione La disgiunzione esclusiva é il connettivo che associa ad ogni coppia di proposizioni logiche p e q una nuova proposizione falsa quando p e q hanno lo stesso valore di veritá vera in tutti gli altri casi La proposizione logica ottenuta dalla congiunzione di p con q si indica con p q. p q p q v v f v f v f v v f f f
55 LA DISGIUNZIONE ESCLUSIVA Definizione La disgiunzione esclusiva é il connettivo che associa ad ogni coppia di proposizioni logiche p e q una nuova proposizione falsa quando p e q hanno lo stesso valore di veritá vera in tutti gli altri casi La proposizione logica ottenuta dalla congiunzione di p con q si indica con p q. p q p q v v f v f v f v v f f f
56 La disgiunzione inclusiva p q p q v v f v f v f v v f f f p q v f v f v f v f
57 Scheda scuola primaria... Cosa coloriamo?
58 Scheda scuola primaria... Cosa coloriamo?
59 Attivitá Una sposa aveva 3 scrigni: uno d oro, uno d argento e uno di piombo e in uno di questi c era il suo anello. Su ogni scrigno c era una frase che poteva essere vera o falsa. Le tre frasi erano legate fra loro da una condizione. Volendo scegliere il suo sposo per la sua intelligenza egli doveva indovinare quale scrigno conteneva l anello. Prima situazione il tesoro è nello scrigno A il tesoro è nello scrigno A o nello scrigno C il tesoro è nello scrigno B o nello scrigno C sapendo che esattamente una è vera.
60 Seconda situazione Scrigno d oro: l anello è in questo scrigno. Scrigno d argento:l anello non è in questo scrigno. Scrigno di piombo: l anello non è nello scrigno d oro sapendo che di queste affermazioni 1 al massimo è vera.
61 Scheda scuola primaria... Quale connettivo è dato per sottinteso nelle seguenti affermazioni?
62 Scheda scuola primaria... Quale connettivo è dato per sottinteso nelle seguenti affermazioni?
63 L IMPLICAZIONE MATERIALE Definizione L implicazione materiale é il connettivo che associa ad ogni coppia di proposizioni logiche p e q una nuova proposizione falsa solo nel caso in cui p sia vera e q sia falsa vera in tutti gli altri casi. La proposizione logica ottenuta dalla congiunzione di p con q si indica con p q. La proposizione logica ottenuta dall implicazione materiale di p con q si indica con p q e si legge p implica q oppure se p allora q. La proposizione p è detta antecedente, mentre q é detta conseguente.
64 L IMPLICAZIONE MATERIALE Definizione L implicazione materiale é il connettivo che associa ad ogni coppia di proposizioni logiche p e q una nuova proposizione falsa solo nel caso in cui p sia vera e q sia falsa vera in tutti gli altri casi. La proposizione logica ottenuta dalla congiunzione di p con q si indica con p q. La proposizione logica ottenuta dall implicazione materiale di p con q si indica con p q e si legge p implica q oppure se p allora q. La proposizione p è detta antecedente, mentre q é detta conseguente.
65 L implicazione materiale p q p q v v v v f f f v v f f v p q v f v v f f v v
66 Osservazioni sull implicazione materiale: Non c è necessariamente un rapporto di causa-effetto tra l antecedente e il conseguente. Non c è legame semantico fra p e q. Se p q è vera, allora dalla veritá di p si puó senz altro derivare che anche q è vera. Quando l antecedente é falsa, la proposizione composta sará vera indipendentemente dal valore di veritá della conseguente.
67 Osservazioni sull implicazione materiale: Non c è necessariamente un rapporto di causa-effetto tra l antecedente e il conseguente. Non c è legame semantico fra p e q. Se p q è vera, allora dalla veritá di p si puó senz altro derivare che anche q è vera. Quando l antecedente é falsa, la proposizione composta sará vera indipendentemente dal valore di veritá della conseguente.
68 Osservazioni sull implicazione materiale: Non c è necessariamente un rapporto di causa-effetto tra l antecedente e il conseguente. Non c è legame semantico fra p e q. Se p q è vera, allora dalla veritá di p si puó senz altro derivare che anche q è vera. Quando l antecedente é falsa, la proposizione composta sará vera indipendentemente dal valore di veritá della conseguente.
69 Proprietá dell implicazione materiale: 1. La proposizione p p é una tautologia. 2. Non vale la proprietá commutativa. 3. Non vale la proprietá associativa. (p q) r p (q r) Infatti se si prendono p e r false mentre q vera, si ottengono: p q vera, e poi (p q) r falsa. q r falsa, e poi p (q r) vera.
70 Proprietá dell implicazione materiale: 1. La proposizione p p é una tautologia. 2. Non vale la proprietá commutativa. 3. Non vale la proprietá associativa. (p q) r p (q r) Infatti se si prendono p e r false mentre q vera, si ottengono: p q vera, e poi (p q) r falsa. q r falsa, e poi p (q r) vera.
71 Proprietá dell implicazione materiale: 1. La proposizione p p é una tautologia. 2. Non vale la proprietá commutativa. 3. Non vale la proprietá associativa. (p q) r p (q r) Infatti se si prendono p e r false mentre q vera, si ottengono: p q vera, e poi (p q) r falsa. q r falsa, e poi p (q r) vera.
72 Tutte le possibili combinazioni date due proposizioni logiche iniziali p e q sono le seguenti: p q v v v v v v f v v f v f f f v f f v f v v v f v v f v f v f v f f f f v v v f v v f v v f f v f f v f f f v f v v v f f f v v v f f f v In alcune colonne riconosciamo i connettivi introdotti. I valori di veritá delle colonne che non rientrano nei connettivi descritti si ottengono cominando piú volte le proposizioni p e q con i connettivi,,,
73 Compito Compito 1. Prova a dimostrare le proprietà dei connettivi logici che oggi sono state solo citate ma non dimostrate. La tecnica dimostrativa è quella di costruire le tavole di verità 2. Analizza in modo critico il materiale (schede) proposto nella cartella critica1 in Blackboard
Cenni di logica e calcolo proposizionale
Cenni di logica e calcolo proposizionale Corso di Laurea in Informatica Università degli Studi di Bari (sede Brindisi) Analisi Matematica S.Milella (sabina.milella@uniba.it) Cenni di logica 1 / 10 Proposizioni
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 è
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
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
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
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,
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
DettagliFondamenti di Informatica 2
Fondamenti di Informatica 2 Linguaggi e Complessità : Lezione 1 Corso Fondamenti di Informatica 2 Marco Schaerf, 2009-2010 Linguaggi e Complessità : Lezione 1 1 Logica proposizionale Linguaggio matematico
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
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
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
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
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
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
DettagliUn po di logica. Christian Ferrari. Laboratorio di matematica
Un po di logica Christian Ferrari Laboratorio di matematica 1 Introduzione La logica è la disciplina che studia le condizioni di correttezza del ragionamento. Il suo scopo è quindi quello di elaborare
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
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
DettagliPrerequisiti Matematici
Prerequisiti Matematici Richiami di teoria degli insiemi Relazioni d ordine, d equivalenza Richiami di logica Logica proposizionale, tabelle di verità, calcolo dei predicati Importante: Principio di Induzione
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
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
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
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)
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
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
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
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
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
DettagliIntroduzione alla logica matematica
Introduzione alla logica matematica, Paolo Bison, A.A. 2004-05, 2004-10-26 p.1/29 Introduzione alla logica matematica Silvana Badaloni Paolo Bison Fondamenti di Informatica 1 A.A. 2004/05 Università di
DettagliCalcolo proposizionale
1 Il calcolo delle proposizioni Una proposizione logica si dice semplice o atomica se contiene soltanto un predicato. Due o più proposizioni semplici collegate mediante l'uso di connettivi formano proposizioni
DettagliLogica booleana. Bogdan Maris ( )
Logica booleana 1 Algebra di Boole Opera con i soli valori di verità 0 o 1 (variabili booleane o logiche) La struttura algebrica studiata dall'algebra booleana è finalizzata all'elaborazione di espressioni
DettagliElementi di Logica matematica. Elementi di logica matematica
1 Elementi di logica matematica Molte grammatiche definiscono la proposizione come un giudizio della mente espresso con parole, cioè da un punto di vista grammaticale la parola proposizione sta ad indicare
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
DettagliLogica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea@di.unipi.it, francesca.levi@unipi.it A. Corradini e
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
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
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
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
DettagliCalcolo proposizionale
Calcolo proposizionale Vero e falso: logica binaria Una proposizione è una affermazione (formula ben formata di un linguaggio), che può essere vera oppure falsa Es. Mia madre mi vuole bene Non esiste una
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
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 per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/16
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/16 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea@di.unipi.it, francesca.levi@unipi.it A. Corradini e
DettagliR. De Leo 9 Febbraio Liceo Scientifico L.B. Alberti. Invito alla Logica Matematica. attraverso gli Indovinelli
Liceo Scientifico L.B. Alberti 9 Febbraio 2010 1 / 40 Outline 2 / 40 La come gioco da tavolo Quali sono gli elementi fondamentali di un gioco da tavolo? I Pezzi 3 / 40 La come gioco da tavolo Quali sono
DettagliAPPUNTI DI ANALISI MATEMATICA Parte Prima
APPUNTI DI ANALISI MATEMATICA Parte Prima Versione preliminare del 24 settembre 2008 Pierpaolo Omari Dipartimento di Matematica e Informatica Università degli Studi di Trieste Maurizio Trombetta Dipartimento
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 è
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
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
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.
Dettaglisempre vere sempre false
Logica: elementi I principi della logica sono innanzitutto i seguenti: Identità: a=a (ogni cosa è cioè identica a se stessa) Non contraddizione: non (a e non a). E impossibile che la stessa cosa sia e
DettagliUNIVERSITÀ DEGLI STUDI LA SAPIENZA CORSO DI STUDI IN INFORMATICA ESERCITAZIONI AL CORSO DI LOGICA MATEMATICA LOGICA PROPOSIZIONALE
UNIVERSITÀ DEGLI STUDI LA SAPIENZA CORSO DI STUDI IN INFORMATICA ESERCITAZIONI AL CORSO DI LOGICA MATEMATICA LOGICA PROPOSIZIONALE TAVOLE DI VERITÀ, COLETEZZA VERO-FUNZIONALE Esercizio 1. Calcola le tavole
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
DettagliProposizioni Algebra di Boole Condizioni Operatori di relazione
Proposizioni Algebra di Boole Condizioni Operatori di relazione Proposizione ( o Asserzione) Una frase con valore di verità Mario è andato al cinema I pinguini volano Oggi è domenica Una proposizione può
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
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
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
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
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
DettagliCALCOLO PROPOSIZIONALE: CENNI
CALCOLO PROPOSIZIONALE: CENNI Francesca Levi Dipartimento di Informatica February 26, 2016 F.Levi Dip.to Informatica Informatica per le Scienze Umane a.a. 15/16 pag. 1 La Logica La logica è la disciplina
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
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
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
DettagliMateriale didattico aggiuntivo - Analisi Matematica I CENNI DI LOGICA MATEMATICA. 1. Proposizioni. Valori logici. Connettivi logici. Tavole di verita.
Materiale didattico aggiuntivo - Analisi Matematica I CENNI DI LOGICA MATEMATICA 1. Proposizioni. Valori logici. Connettivi logici. Tavole di verita. Intenderemo per PROPOSIZIONE (o ENUNCIATO) una qualunque
DettagliVerità, tautologia e implicazione logica
Condizioni di verità delle frasi di LP erità, tautologia e implicazione logica Sandro Zucchi Passiamo ora alla terza parte del compito di descrivere il linguaggio LP: Come vengono calcolate le condizioni
DettagliLogica per la Programmazione
Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 1 Calcolo Proposizionale: sintassi e semantica Tautologie Esempi di Formalizzazione di Enunciati pag.
DettagliP : gli iscritti all università di Bari sono più di 1000
BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia il ragionamento deduttivo, ovvero le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento
DettagliProgramma del corso. Elementi di Programmazione. Introduzione agli algoritmi. Rappresentazione delle Informazioni. Architettura del calcolatore
Programma del corso Introduzione agli algoritmi Rappresentazione delle Informazioni Elementi di Programmazione Architettura del calcolatore Reti di Calcolatori Calcolo proposizionale Teorema o tautologia
DettagliProgramma del corso. Elementi di Programmazione. Introduzione agli algoritmi. Rappresentazione delle Informazioni. Architettura del calcolatore
Programma del corso Introduzione agli algoritmi Rappresentazione delle Informazioni Elementi di Programmazione Architettura del calcolatore Reti di Calcolatori Calcolo proposizionale Algebra Booleana Contempla
DettagliSemantica proposizionale. Unit 2, Lez 3 e 4 Corso di Logica
Semantica proposizionale Unit 2, Lez 3 e 4 Corso di Logica Sommario Semantica dei connettivi Costruzione delle tavole di verità Tautologie, contraddizioni e contingenze Semantica delle forme argomentative
DettagliLogica Proposizionale
Intelligenza rtificiale I Logica Proposizionale Introduzione Marco Piastra Intelligenza rtificiale I -.. 28-29 29 Introduzione al corso ] lgebre di Boole Definizione Una collezione di oggetti X su cui
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. Liceo Giorgione, Castelfranco Veneto 5 aprile 2016
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova Liceo Giorgione, Castelfranco Veneto 5 aprile 2016 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità
DettagliI circuiti elementari
I circuiti elementari Nel lavoro diprogrammazione con il computer si fa largo uso della logica delle proposizioni e delle regole dell algebra delle proposizioni o algebra di Boole. L algebra di Boole ha
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,
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,
DettagliDispensa su. Funzioni Booleane. Jianyi Lin Università degli Studi di Milano
Dispensa su Funzioni Booleane Jianyi Lin Università degli Studi di Milano jianyi.lin@unimi.it 18 novembre 2011 1 Operazioni booleane In questa sezione introduciamo il concetto di funzione booleana e accenniamo
DettagliIntelligenza Artificiale I
Intelligenza rtificiale I Logica formale Primi elementi Marco Piastra Logica formale - Primi elementi - Sottoinsiemi e operatori Sottoinsiemi U Insieme di riferimento (insieme sostegno) {,, C, } Collezione
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,
DettagliNozioni di logica matematica
MINISTERO DELL ISTRUZIONE, DELL UNIVERSITA E DELLA RICERCA LICEO STATALE P. E. IMBRIANI Linguistico - Scientifico - Scientifico delle Scienze Applicate Via S. Pescatori, 155 83100 Avellino Tel. (2 linee)
DettagliLe variabili logiche possono essere combinate per mezzo di operatori detti connettivi logici. I principali sono:
Variabili logiche Una variabile logica (o booleana) è una variable che può assumere solo uno di due valori: Connettivi logici True (vero identificato con 1) False (falso identificato con 0) Le variabili
DettagliIntroduzione alla logica matematica
Introduzione alla logica matematica 1 PROPOSIZIONE LOGICA Ogni discorso è fatto mediante espressioni di vario tipo che sono dette: proposizioni. Nel linguaggio ordinario, si chiama proposizione qualunque
DettagliIntelligenza Artificiale. Logica Prime definizioni
Intelligenza rtificiale Logica Prime definizioni Marco Piastra Logica formale (Parte ) - Parte Sottoinsiemi lgebra di oole Linguaggio proposizionale Soddisfacibilità Conseguenza logica Logica formale (Parte
DettagliA CHI E' RIVOLTA? CHI PUO' ESSERE DEFINITO PROPOSIZIONE LOGICA?
ALGEBRA BOOLEANA O LOGICA GEORGE BOOLE (1815 1864) A CHI E' RIVOLTA? Alla classe degli elementi binari : 1; 0 Alla classe delle proposizioni logiche CHI PUO' ESSERE DEFINITO PROPOSIZIONE LOGICA? PROPOSIZIONE
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
DettagliAlgebra di Boole. Andrea Passerini Informatica. Algebra di Boole
Andrea Passerini passerini@disi.unitn.it Informatica Variabili logiche Una variabile logica (o booleana) è una variable che può assumere solo uno di due valori: True (vero identificato con 1) False (falso
DettagliLOGICA. Definizione: una proposizione semplice è una frase della quale si possa dire se è
LOGICA La logica nasce nell antica Grecia ed in particolare possiamo far risalire il suo inizio al grande filosofo Aristotele (384 a.c. 322 a.c.) che la tratta principalmente negli Analitici I e Analitici
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
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
DettagliAgenti Basati su Logica
Agenti Basati su Logica Corso di Intelligenza Artificiale, a.a. 2017-2018 Prof. Francesco Trovò 09/04/2018 Agenti basati sulla logica Generico agente logico Il mondo del Wumpus Logica proposizionale Inferenza
DettagliMaiuscole e minuscole
Maiuscole e minuscole Abilità interessate Distinguere tra processi induttivi e processi deduttivi. Comprendere il ruolo e le caratteristiche di un sistema assiomatico. Riconoscere aspetti sintattici e
DettagliPrecedenza degli operatori
Operatori Booleani Operatori che lavorano bit a bit Anche detti bitwise operator o operatori booleani : AND: prodotto logico dati due bit restituisce il valore 1 se e solo se i bit erano entrambi posti
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
DettagliInformatica. Logica e Algebra di Boole
Informatica Logica e Algebra di Boole 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
DettagliOperazioni logiche e trasformazioni aritmetiche
Operazioni logiche e trasformazioni aritmetiche Ogni operazione logica, ovvero ognuno dei connettivi che conosciamo (,,, aut, ) può esser pensato come una funzione matematica che agisce sul sistema numerico
DettagliUna Breve Introduzione alla Logica
Una Breve Introduzione alla Logica LOGICA La LOGICA è la disciplina che studia le condizioni di correttezza del ragionamento Occorre dire, anzitutto, quale oggetto riguardi ed a quale disciplina spetti
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
DettagliLogica e fondamenti di matematica
Logica e fondamenti di matematica Docente: Prof. Roberto Giuntini (giuntini@unica.it) Logica proposizionale Logica e teoria dell argomantazione. Cap. 1: Enunciati. Enunciato: Non ogni discorso è dichiarativo
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
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...
DettagliDIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI. Corso di Logica per la Programmazione
DIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI Corso di Logica per la Programmazione SULLE LEGGI DEL CALCOLO PROPOSIZIONALE Abbiamo visto le leggi per l'equivalenza ( ),
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
Dettagli