Esercizi di rappresentazione
|
|
- Annabella Guglielmi
- 7 anni fa
- Visualizzazioni
Transcript
1 Esercizi di rappresentazione Sandro Zucchi Primo esercizio (connettivi vero-funzionali - Bonevac) Quale dei connettivi seguenti è vero-funzionale? (Se classifichi un connettivo come vero-funzionale, dà la sua tavola di verità; altrimenti spiega perchè il connettivo non è vero-funzionale). a. e b. o c. prima che d. perché e. allo scopo di f. sebbene g. indipendentemente dal fatto che h. implica i. dovrebbe j. forse k. è ovvio che l. è sorprendente che m. quando n. necessariamente o. presumibilmente 1
2 Metodi formali per filosofi 2 Secondo esercizio (rappresentazione di frasi) Rappresenta in LP queste frasi (indica quali enunciati dell italiano corrispondono alle lettere proposizionali che usi): (a) Vengo a meno che venga Gianni (b) Non vengo a meno che venga Gianni (c) Vengo purché venga Gianni (d) Vengo solo se viene Gianni (e) Vengo se viene Gianni (f) Se fai gli esercizi, ti dò il cioccolato (g) Se fai gli esercizi, ti dò il cioccolato, altrimenti no (h) Se metti il latte nel tè, è buono, ma se ci metti anche il limone, no (i) Gianni fuma o beve (j) Gianni fuma o beve, ma non fa entrambe le cose Terzo esercizio (disgiunzione) Abbiamo detto che il connettivo dell italiano o è correttamente tradotto dal connettivo di LP. Secondo questa tesi, o ha un significato inclusivo, in quanto un enunciato della forma A o B è vero se almeno uno degli enunciati che connette è vero e falso nel caso cui entrambi gli enunciati che connette sono falsi. Tuttavia, questa tesi è stata spesso oggetto di discussione. Diogene Laerzio (attivo verso la metà del III secolo d.c.) afferma riguardo al connettivo o (ή, ήτoι):
3 Metodi formali per filosofi 3 Questo connettivo [ o ] mostra che una delle proposizioni che collega è falsa. Diogene Laerzio, Le vite, opinioni e apoftegmi dei filosofi celebri, VII, 72. In altre parole, la tesi di Diogene Laerzio, applicata al connettivo o dell italiano, è questa: se un enunciato della forma A o B è vero, uno dei disgiunti è vero e l altro è falso. Diremo che, secondo questa tesi, il connettivo o ha un significato esclusivo, in quanto esclude la possibilità che tutti e due i disgiunti siano veri. La tesi secondo cui il connettivo o ha sempre un significato esclusivo è difficile da sostenere. Il caso seguente ci mostra perché. Supponiamo che il padrone di casa di Pino abbia inserito questa clausola nel contratto d affitto: Se l enunciato (1) è vero, il contratto è nullo e il signor Pino dovrà lasciare l appartamento. (1) Pino fuma o beve. Supponiamo ora che Pino, che fuma e beve ma non vuole rinunciare all appartamento, cerchi di salvare la situazione argomentando così: Come ha affermato anche, ahem, Diogene Laerzio, se (1) è vero, (1) Pino fuma o beve, allora uno di questi due enunciati deve essere falso: (2) a. Pino fuma, b. Pino beve. Dal momento che io fumo e bevo, sia (2-a) che (2-b) sono veri. Dunque, (1) è falso e il contratto non è nullo. Evidentemente, nessun tribunale accetterebbe il ragionamento di Pino. È chiaro che, se Pino fa tutte e due le cose, beve e fuma, l enunciato (1) è vero, e il contratto è nullo. Dobbiamo dunque ammettere che o in (1) ha un significato inclusivo: se sia A che B sono veri, allora A o B è vero. Potremmo tuttavia rinunciare alla tesi estrema di Diogene Laerzio che o ha sempre significato esclusivo e sostenere invece che o è ambiguo, vale a dire che ci sono due connettivi o in italiano, che sono fonologicamente identici, ma hanno significati distinti: uno inclusivo e l altro esclusivo. E infatti la tesi che o sia ambiguo in questo modo è una tesi abbastanza comune, che occorre anche
4 Metodi formali per filosofi 4 nei manuali di logica (Copi 1971 e Bencivenga 1984, per esempio). A supporto della tesi dell ambiguità viene talvolta citato il fatto mitico che non a caso in latino abbiamo due parole distinte per esprimere i due significati di o, cioè, vel e aut. Inoltre, l enunciato seguente pare avvalorare la tesi che, se esiste un o inclusivo, ne esiste anche uno esclusivo: (3) togli quella mano o ti meno. È chiaro che se il mio interlocutore toglie la mano e poi lo meno lo stesso, avrebbe il diritto di protestare, e questo sembra indicare che (3) è falso se entrambi i disgiunti sono veri. Dobbiamo dunque concludere che o è ambiguo? Forse no. Il fatto che in latino aut sia esclusivo e vel inclusivo è un fatto mitico appunto nel senso che è un mito (vedi Jennings e Hartline 2008). Quanto a (3), anche se o avesse un significato inclusivo, il mio interlocutore avrebbe comunque ragione di protestare se toglie la mano e poi lo meno: infatti, anche se asserendo (3) non avessi detto il falso, potrebbe obiettare che, se intendevo sia fargli togliere la mano che menarlo, avrei dovuto essere più esplicito e asserire invece qualcosa del tipo togli quella mano e poi ti meno. Inoltre, Gazdar (1977) ha prodotto un argomento per mostrare che o non è ambiguo tra un significato esclusivo e uno inclusivo. È chiaro che, se Gazdar ha ragione e o non è ambiguo, allora, dal momento che, come abbiamo visto, o ha chiaramente un significato inclusivo in (1) e casi come (3) sono spiegabili senza ricorrere a un o esclusivo, sembra ragionevole concludere che o è inclusivo ed è tradotto adeguatamente da. Concentriamoci dunque sull argomento di Gazdar. L argomento inizia così. Considera l enunciato (4): (4) Non è vero che Barcan è uno scrittore o un politico. Chiaramente, (4) è falso se Barcan è uno scrittore ed è un politico. Ok, ora prosegui tu: 1. Introduci in LP il connettivo e dà una tavola di verità per questo connettivo che riflette la (presunta) interpretazione esclusiva di o. 2. Ora, assumi che o sia ambiguo tra e e dà due rappresentazioni di (4) in LP, una usando e l altra usando (indica quali enunciati dell italiano corrispondono alle lettere proposizionali che usi).
5 Metodi formali per filosofi 5 3. Chiaramente, se o è ambiguo tra e, le due formule che hai dato dovrebbero corrispondere a due forme logiche possibili per (4). Costruisci le tavole di verità per queste due formule. 4. Spiega cosa ciascuna delle due formule che rappresentano (4) in LP predice riguardo al valore di verità di (4) nel caso in cui i disgiunti in (4) sono entrambi veri. 5. Dì per ciascuna formula se questa predizione è corretta.
Esercizi di rappresentazione
Esercizi di rappresentazione soluzioni Sandro Zucchi 2013-14 Primo esercizio (connettivi vero-funzionali - Bonevac) Quale dei connettivi seguenti è vero-funzionale? (se classifichi un connettivo come vero-funzionale,
DettagliLa logica della finzione
Formalizzazione Nella lezione precedente, abbiamo visto qual è l idea di fondo della teoria di Lewis: La logica della finzione Sandro Zucchi 2013-14 Un enunciato della forma Nell opera di finzione f, p
DettagliLogica proposizionale
Definire un linguaggio formale Logica proposizionale Sandro Zucchi 2013-14 Definiamo un linguaggio formale LP (che appartiene a una classe di linguaggi detti linguaggi della logica proposizionale) Per
DettagliCiò che è caro agli dei
Ciò che è caro agli dei Un esercitazione Una conversazione sulla santità VII. SOCRATE -... Prima, caro amico, non mi hai spiegato abbastanza: io ti domandavo che cos è il santo e tu mi hai detto che il
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
DettagliGeorge BOOLE ( ) L algebra booleana. (logica proposizionale)
George BOOLE (1815-64) L algebra booleana. (logica proposizionale) La logica e George BOOLE George BOOLE nel 1847 pubblicò il libro Mathematical Analysis of Logic, nel quale presentava ciò che oggi si
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: 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
DettagliVerità nella finzione
Mondi di finzione Verità nella finzione La teoria di D. Lewis Sandro Zucchi 2013-14 Nelle lezioni precedenti, abbiamo introdotto un ingrediente, i mondi possibili, per rendere conto del significato delle
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
DettagliCondizionali e mondi possibili
La semantica dei condizionali Condizionali e mondi possibili Sandro Zucchi 2013-14 In questa lezione, presenteremo un modo di formulare la semantica dei condizionali dell italiano che evita i problemi
DettagliEsercizi preliminari. Primo esercizio (validità) Risposte al primo esercizio. Risposte al primo esercizio. Sandro Zucchi
Primo esercizio (validità) Bonevac Esercizi preliminari soluzioni Sandro Zucchi 2012-13 S. Zucchi: Metodi formali per filosofi Esercizi preliminari 1 Rispondi alle domande seguenti e, se la risposta è
DettagliLa battaglia navale. L argomento della battaglia navale. Il passo di Aristotele. Il passo di Aristotele. Sandro Zucchi
La battaglia navale L argomento della battaglia navale Sandro Zucchi 2012-13 S. Zucchi: Metodi formali per filosofi Battaglia navale e bivalenza 1 Nella sezione 9 di Πɛρὶ ɛρµηνɛίας (Sull interpretazione),
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.
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
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
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
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
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
DettagliDall italiano alla logica proposizionale
Rappresentare l italiano in LP Dall italiano alla logica proposizionale Sandro Zucchi 2009-10 In questa lezione, vediamo come fare uso del linguaggio LP per rappresentare frasi dell italiano. Questo ci
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
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
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
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
DettagliRichiami di logica matematica
Richiami di logica matematica Gli oggetti elementari dei discorsi matematici sono le proposizioni logiche = enunciati di cui si possa stabilire inequivocabilmente se sono veri o falsi. Sono 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 è
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
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
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
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 ( ),
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
DettagliCondizionali dell italiano e implicazioni materiali
Limitazioni di LP Condizionali dell italiano e implicazioni materiali Sandro Zucchi 2013-14 In questa lezione, solleveremo un problema per il nostro progetto di usare il linguaggio LP per rappresentare
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,
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)
DettagliFilosofia del linguaggio Alfredo Paternoster
Filosofia del linguaggio 2012-2013 Alfredo Paternoster Russell: la teoria delle descrizioni Frege: descrizioni vuote non hanno riferimento, quindi gli enunciati dove esse occorrono non hanno valore di
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
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
DettagliFilosofia del linguaggio (i) (3 cr.)
Filosofia del linguaggio (i) (3 cr.) Docente: Giuseppe Spolaore Orario: Martedì ore 17.20 aula T4, mercoledì ore 17.20 aula 1.4, giovedì ore 14.00 aula 1.4 (per un totale di circa 10 lezioni). Ricevimento:
DettagliDall italiano al linguaggio della logica proposizionale
Dall italiano al linguaggio della logica proposizionale Dall italiano al linguaggio della logica proposizionale Enunciati atomici e congiunzione In questa lezione e nelle successive, vedremo come fare
DettagliLingue naturali e linguaggi formali
Da dove veniamo, dove andiamo Lingue naturali e linguaggi formali Sandro Zucchi Con la lezione scorsa, abbiamo concluso la nostra discussione della distinzione tra opere di finzione e opere che non sono
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
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
DettagliLa teoria dei condizionali di Stalnaker
Il problema delle condizioni di verità troppo forti La teoria dei condizionali di Stalnaker Sandro Zucchi 2012-13 Secondo la tesi che i condizionali dell italiano sono condizionali stretti, un condizionale
DettagliIntroduzione alla logica
Corso di Intelligenza Artificiale 2011/12 Introduzione alla logica iola Schiaffonati Dipartimento di Elettronica e Informazione Sommario 2 Logica proposizionale (logica di Boole) Logica del primo ordine
DettagliLOGICA DEL PRIMO ORDINE: MOTIVAZIONI, SINTASSI E INTERPRETAZIONI. Corso di Logica per la Programmazione A.A Andrea Corradini
LOGICA DEL PRIMO ORDINE: MOTIVAZIONI, SINTASSI E INTERPRETAZIONI Corso di Logica per la Programmazione A.A. 2013 Andrea Corradini LIMITI DEL CALCOLO PROPOSIZIONALE Nella formalizzazione di enunciati dichiarativi,
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
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 matematica non è un opinione, lo è oppure...?
La matematica non è un opinione, lo è oppure...? Giulio Giusteri Dipartimento di Matematica e Fisica Università Cattolica del Sacro Cuore Brescia 26 Febbraio 2010 Vecchie conoscenze Dedurre... dedurre...
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
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
DettagliIndicali. Le relazioni di coppia sono difficili Le relazioni della nostra coppia sono difficili
Indicali Sono espressioni usate per riferirci a elementi del contesto: ci riferiamo a oggetti, persone, istanti o luoghi in quanto sono in relazione con chi parla o scrive Le relazioni di coppia sono difficili
DettagliConnettivi del linguaggio e della logica
Connettivi del linguaggio e della logica Fino a che punto il significato di,, e corrisponde al significato delle espressioni del linguaggio naturale e o, se... allora... e non? e e Congiunzioni e connettivi
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
DettagliLiceo Scientifico G. Galilei Trebisacce Anno Scolastico
Liceo Scientifico G. Galilei Trebisacce Anno Scolastico 2012-2013 Prova di Matematica : Insiemi e logica Alunno: Classe: 1B 23.11.2012 prof. Mimmo Corrado 1. Dati gli insiemi: = è = è " = è " = è " = è
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
DettagliQuale Russell? APPROFONDIMENTO DI FILOSOFIA DEL LINGUAGGIO. a cura del prof. Flaviano Scorticati
Quale Russell? APPROFONDIMENTO DI FILOSOFIA DEL LINGUAGGIO a cura del prof. Flaviano Scorticati Un piccolo gioco per riscaldare l atmosfera CHE COSA HANNO IN COMUNE QUESTE IMMAGINI? BABBO NATALE IL QUADRATO
Dettagli1 Richiami di logica matematica
Geometria e Topologia I 7 marzo 2005 1 1 Richiami di logica matematica Definire cos è un enunciato, una proposizione (elemento primitivo della logica delle proposizioni). La definizione è data in termini
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
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 3 Dimostrazione di Tautologie e Sintassi del Calcolo osizionale Antonio, Corrado e Bruno... formalmente Tautologie: dimostrazioni e controesempi Sintassi del Calcolo
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
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 per la Programmazione
Logica per la Programmazione Lezione 3 Dimostrazione di Tautologie e Sintassi del Calcolo osizionale Antonio, Corrado e Bruno... formalmente Tautologie: dimostrazioni e controesempi Sintassi del Calcolo
DettagliFrege. Frege. Gottlob Frege, logico, teorico dei fondamenti della matematica, filosofo del linguaggio:
Frege Gottlob Frege, logico, teorico dei fondamenti della matematica, filosofo del linguaggio: 1848-1925 Sinn und Bedeutung (Senso e denotazione), 1892 nb. Bedeutung vuol dire significato, Frege lo intende
DettagliLA NOZIONE DI INSIEME, PRIME OPERAZIONI TRA INSIEMI, ELEMENTI BASILARI DI LOGICA
LA NOZIONE DI INSIEME, PRIME OPERAZIONI TRA INSIEMI, ELEMENTI BASILARI DI LOGICA L impostazione logico-deduttiva propria della matematica affida un importanza basilare alle definizioni. La ricerca, poi,
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
DettagliJohann Gottlieb Fichte (Rammenau, 19 maggio 1762 Berlino, 27 gennaio 1814)
Johann Gottlieb Fichte (Rammenau, 19 maggio 1762 Berlino, 27 gennaio 1814) a cura di Pietro Gavagnin www.pgava.net Kant aveva voluto costruire una filosofia del finito. Fichte vuol costruire una filosofia
DettagliELEMENTI DI LOGICA MATEMATICA LEZIONE I
ELEMENTI DI LOGICA MATEMATICA LEZIONE I MAURO DI NASSO Introduzione Scopo di questo corso è introdurre la logica matematica attraverso la teoria degli insiemi. La teoria degli insiemi riveste un ruolo
DettagliLOGICA MATEMATICA PER INFORMATICA (A.A. 12/13)
LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13) DISPENSA N. 4 Sommario. Dimostriamo il Teorema di Completezza per il Calcolo dei Predicati del I ordine. 1. Teorema di Completezza Dimostriamo il Teorema
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
DettagliEsercizi di Riepilogo e Autovalutazione
Esercizi di Riepilogo e Autovalutazione Marcello D Agostino Corso di Logica Filosofica 2014/2015 27 maggio 2015 Copyright c 2015 Marcello D Agostino Classificazione delle domande * = difficoltà bassa **
DettagliPROBABILITA. Sono esempi di fenomeni la cui realizzazione non è certa a priori e vengono per questo detti eventi aleatori (dal latino alea, dado)
L esito della prossima estrazione del lotto L esito del lancio di una moneta o di un dado Il sesso di un nascituro, così come il suo peso alla nascita o la sua altezza.. Il tempo di attesa ad uno sportello
DettagliInferenza deduttiva! Una sola delle seguenti asserzioni, relative a una mano di carte, è vera:
Una sola delle seguenti asserzioni, relative a una mano di carte, è vera: Se nella mano c è un Asso, allora c è un 2. Se nella mano c è un Re, allora c è un 2. Cosa ne segue? Risposta prodotta da quasi
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 2 Dimostrazione di tautologie Proof System pag. 1 Un Problema di Deduzione Logica [da un test di ingresso] Tre amici, Antonio, Bruno e Corrado, sono incerti se andare
DettagliLOGICA PER LA PROGRAMMAZIONE
LOGICA PER LA PROGRAMMAZIONE Franco Turini turini@di.unipi.it IPSE DIXIT Occorre dire, anzitutto, quale oggetto riguardi ed a quale disciplina spetti la presente indagine, che essa cioè riguarda la dimostrazione
DettagliFilosofia del linguaggio (i) (3 cr.)
Filosofia del linguaggio (i) (3 cr.) Docente: Giuseppe Spolaore Orario: Martedì ore 17.20 aula T4, mercoledì ore 17.20 aula 1.4, giovedì ore 14.00 aula 1.4 (per un totale di circa 10 lezioni). Ricevimento:
DettagliIntroduzione alla logica proposizionale. Unit 2 Corso di Logica
Introduzione alla logica proposizionale Unit 2 Corso di Logica Sommario Forme argomentative Variabili proposizionali Operatori e simboli logici Formalizzazione Regole di formazione Dalle proposizioni alle
DettagliI.2 Logica. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica
I.2 Logica Università di Ferrara Dipartimento di Economia e Management Insegnamento di Informatica Ottobre 13, 2015 Argomenti Logica 1 Logica 2 3 Logica Si occupa dello studio delle strutture e delle regole
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
DettagliRappresentazione dei dati in memoria
Rappresentazione dei dati in memoria La memoria Una memoria deve essere un insieme di oggetti a più stati. Questi oggetti devono essere tali che: le dimensioni siano limitate il tempo necessario per registrare
DettagliAPPUNTI DI TEORIA DEGLI INSIEMI. L assioma della scelta e il lemma di Zorn Sia {A i } i I
APPUNTI DI TEORIA DEGLI INSIEMI MAURIZIO CORNALBA L assioma della scelta e il lemma di Zorn Sia {A i } i I un insieme di insiemi. Il prodotto i I A i è l insieme di tutte le applicazioni α : I i I A i
Dettagliforma linguistica forma logica gli enunciati in cui compaiono descrizioni devono essere analizzati riducendoli a
Nomi vs descrizioni Bertrand Russell On denoting (1905) Nomi propri (grammaticali): Piero Trieste Descrizioni: indefinite: un uomo una città definite: il figlio di Piero l uomo che è appena arrivato il
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
DettagliC1: L C1 C2: L C2 C: C1 C2
Abbiamo visto Gli agenti logici applicano inferenze a una base di conoscenza per derivare nuove informazioni. Concetti base della logica: sintassi: struttura formale delle sentenze semantica: verita` di
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 6 Logica del Primo Ordine Motivazioni Sintassi Interpretazioni Formalizzazione pag. 1 Limiti del Calcolo Proposizionale Nella formalizzazione di enunciati dichiarativi,
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,
DettagliLa matematica intuizionista
La matematica intuizionista Francesco Paoli Filosofia della scienza, 2016-17 Francesco Paoli (Filosofia della scienza, 2016-17) La matematica intuizionista 1 / 14 Henri Poincaré (1854-1912) Francesco Paoli
Dettagliù ={0,1,2,3, } la cui prima funzione è contare.
ESERCITAZIONE N.3 1 ottobre 007 I NUMERI NATURALI L'insieme dei numeri naturali è l insieme infinito ù {0,1,,3, } la cui prima funzione è contare. Abbiamo già visto che la scrittura ù {0,1,,3, } è scorretta,
DettagliCalcoli dei sequenti classici e lineare
Calcoli dei sequenti classici e lineare Gianluigi Bellin November 5, 2009 Scheda per il compito 2, scadenza rinviata al marteedì 10 novembre 2009 1 Calcolo dei sequenti classico 1.1 Linguaggio ed interpretazione
DettagliElementi di Logica Le forme del ragionamento
Elementi di Logica Le forme del ragionamento Corso di Logica e Filosofia della scienza, a.a. 2015-2016 Il principale oggetto di studio della logica è il ragionamento, con particolare attenzione per il
DettagliCondizionali materiali
La tesi in discussione Condizionali materiali Perfino le cornacchie sui tetti gracchiano sulla natura dei condizionali. Callimaco (V sec. a.c) Sandro Zucchi 2009-10 In questa lezione, discutiamo la tesi
DettagliIntelligenza Artificiale I
Intelligenza Artificiale I - AA 27/28 Intelligenza Artificiale I Logica formale Introduzione Marco Piastra Logica formale - Introduzione - Intelligenza Artificiale I - AA 27/28 Sistematicità del linguaggio
Dettagli1 IL LINGUAGGIO MATEMATICO
1 IL LINGUAGGIO MATEMATICO Il linguaggio matematico moderno è basato su due concetti fondamentali: la teoria degli insiemi e la logica delle proposizioni. La teoria degli insiemi ci assicura che gli oggetti
DettagliProposizioni e verità
Proposizioni e verità Claudia Casadio Logica e Psicologia del Pensiero Laurea Triennale - Parte Istituzionale A.A. 2007-08 Contents 1 Proposizione.......................................... 3 2 Verità...............................................
DettagliIndice. 1. Cenni di logica 2. Elementi di teoria degli insiemi 3. Relazioni e funzioni. 1 Cenni di logica. 2 Elementi di teoria degli insiemi
Indice 1 Cenni di logica 2 Elementi di teoria degli insiemi 3 Relazioni e funzioni 4 Strutture algebriche Cenni di logica Dispongo queste quattro carte da gioco davanti a voi, due coperte e due scoperte
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
DettagliEs. quadrilatero: specie di poligono, genere di quadrato. La specie ha più caratteristiche, il genere è riferito a più elementi.
La logica di Aristotele La logica non si trova tra le scienze dell enciclopedia aristotelica, poiché essa ha per oggetto la forma comune a tutte le scienze, cioè il procedimento dimostrativo, o le varie
DettagliF 2. i = F n F n+1. i=1 F 2 1 = 1 = F 1 F 2. Per n 1, supponiamo vero per n, dimostriamo per n + 1. F 2i+1 = F 2n+2. i=0
1 ESERCIZI 1 Esercizi 1.1 Fibonacci1 Dimostrare che F 2 i = F n F n+1. Dimostrazione. Per induzione su n. Per n = 1 si ha F 2 1 = 1 = F 1 F 2. Per n 1, supponiamo vero per n, dimostriamo per n + 1. n+1
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
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
Dettagli