Il ministero della sanità dovrebbe vietare la vendita delle sigarette; Infatti il fumo nuoce alla salute.
|
|
- Enrichetta Manzoni
- 6 anni fa
- Visualizzazioni
Transcript
1 Argomenti e entinemi argomento: un argomento è un qualsiasi insieme di enunciati dei quali uno è la conclusione e gli altri le premesse. La conclusione è l' enunciato che viene affermato sulla base dell' affermazione degli altri enunciati, le premesse. Le premesse forniscono le ragioni per accettare la conclusione. tutti gli uomini sono animali tutti gli animali sono mortali tutti gli uomini sono mortali attenzione: (i) l'ordine delle premesse e delle conclusioni non ha importanza; (ii) alcune premesse possono non essere espresse. In tal caso l'argomento si chiama "entinema"). Il seguente argomento è un entinema: Il ministero della sanità dovrebbe vietare la vendita delle sigarette; Infatti il fumo nuoce alla salute. Una volta che esplicitiamo tutte le premesse, l'argomento diventa: Se qualcosa nuoce alla salute, allora il ministero della sanità dovrebbe vietarne la vendita. Se le sigarette nuociono alla salute, allora il ministero della salute dovrebbe vietarne la vendita. Le sigarette nuociono alla salute. Il ministero della sanità dovrebbe vietare la vendita delle sigarette. ARGOMENTI: DEDUTTIVI e INDUTTIVI (i) un argomento deduttivo è un argomento tale che le sue premesse sono usate per fornire un totale e definitivo fondamento della verità della sua conclusione. (ii) un argomento induttivo è un argomento tale che le sue premesse sono usate per giustificare la verità della sue conclusione sono in una certa misura. Esempi: Argomento deduttivo: Se Mario è un calciatore, allora Mario è ricco Mario è un calciatore Mario è ricco
2 Argomento induttivo: Giovanni è genovese ed è burbero Maria è genovese ed è burbera Antonio è genovese Antonio è burbero Virtù degli argomenti deduttivi: (i) validità: un argomento deduttivo è valido se e solo se non si può dare il caso che la conlcusione sia falsa se le premesse sono vere. Esempio: Se Milano è in Lombardia, allora Milano è la capitale d'italia Milano è in Lombardia Milano è la capitale d'italia (ii) correttezza: un argomento deduttivo è corretto se e solo se è valido e le sue premesse sono vere. Esempio: Tutti gli uomini sono mortali Marco è un uomo Marco è mortale virtù degli argomenti induttivi: (ii) cogenza: un argomento induttivo è cogente se e solo se se le sue premesse sono vere allora è molto probabile che la sua conclusione sia vera. Esempio: Il 90% dei Siciliani sono biondi Lucia è siciliana Lucia è bionda (ii) correttezza: un argomento induttivo è corretto se e solo se è cogente e ha le premesse vere. Esempio: La maggior parte dei senegalesi hanno gli occhi scuri Serigne è senegalese Serigne ha gli occhi scuri FALLACIE una fallacia è un argomento che può sembrare virtuoso ma non lo è: (i) un insieme di enunciati che sembrano un argomento ma non sono un argomento; (ii) un argomeno deduttivo che sembra valido ma non è valido;
3 (iii) un argomento deduttivo che sembra corretto ma non è corretto; (iv) un argomento induttivo che sembra cogente ma non è cogente; (v) un argomento induttivo che sembra corretto ma non è corretto. In quanto segue ci occupiamo di argomenti deduttivi. Vogliamo individuare gli inganni che usano argomenti deduttivi, ovvero inganni che usano fallacie di tipo (ii) e (iii). La logica ci aiuta a svelare gli inganni di questo tipo. La logica è lo studio della validità degli argomenti. Più precisamente la logica è lo studio del nesso di conseguenza logica. La conseguenza logica è il nesso che sussiste tra le premesse e la conclusione di un argomento valido. Si tratta del nesso per cui è impossibile che la conclusione sia falsa se le premesse sono vere. Da cosa dipende il nesso di conseguenza logica? Non dipende dal valore di verità che di fatto hanno gli enunciati che formano l'argomento. Quindi, non dipende neppure dal loro contenuto (dato che il valore di verità posseduto di fatto da un enunciato dipende, almeno in parte, dal suo contenuto). Il nesso di conseguenza logica dipende dalla forma logica delle premesse e della conslusione. CHE COSA E LA FORMA LOGICA? Per comprendere che cosa è la forma logica occorre introdurre la nozione di formalizzazione. La formalizzazione è il processo con cui sostituiamo alcune parti di un enunciato con espressioni che non hanno un contenuto; esse funzionano come "segna posti" che indicano che in quel punto dell'enunciato possiamo inserire espressioni di un certo tipo. La forma logica è ciò che rimane di un enunciato alla fine del processo di formalizzazione. Distinguiamo la logica proposizionale dalla logica dei predicati a seconda del tipo di formalizzazione che operiamo. In quanto segue ci occuperemo di LOGICA PROPOSIZIONALE. Nella l. proposizionale la formalizzazione procede sostituendo tutti gli enunciati semplici conservando però quelle espressioni che consentono di costruire gli enunciati complessi a partire dagli enunciati semplici. Queste espressioni sono la negazione, la congiunzione, la disgiunzione, il condizionale.
4 Il linguaggio della logica proposizionale è il seguente: (i) un insieme di lettere proposizionali {p, q, r, s } (ii) l'insieme dei connettivi {~,,, } (iii) un insieme di parentesi {(, )} esempi L'enunciato "Mario corre" è un enunciato semplice, poiché in esso non occorre alcun connettivo. Quindi, il processo di formalizzazione consiste nel sostituirlo con una lettera proposizionale: p L'enunciato "Mario non corre" è formato da un enunciato semplice "Mario corre" più la negazione "non" ("~"). Il processo di formalizzazione consiste nel sostituire l'enunciato con una lettera proposizionale e nell'anteporre ad essa il connettivo "~": ~ p L'enunciato "Mario corre e Anna è seduta" è formato da due enunciati semplici "Mario corre" e "Anna è seduta più la congiunzione "e" (" "). Il processo di formalizzazione consiste nel sostituire i due enunciati semplici con due lettere proposizionali e nel congiungerli con il connettivo " ": p q L'enunciato "Mario corre o Anna è seduta" è formato da due enunciati semplici "Mario corre" e "Anna è seduta" più la disgiunzione "o" (" "). Il processo di formalizzazione consiste nel sostituire i due enunciati semplici con due lettere proposizionali e nel congiungerli con il connettivo " ": p q L'enunciato "se Mario corre allora Anna è seduta" è formato da due enunciati semplici "Mario corre" e "Anna è seduta più il condizionale "se allora" (" "). Il processo di formalizzazione consiste nel sostituire i due enunciati semplici con due lettere proposizionali e nel collegarli con il connettivo " ": p q Non vi è limite alla complessità degli enunciati che si possono formalizzare. I connettivi si possono applicare ricorsivamente. Esempio: si può applicare la congiunzione a due enunciati p e q, ottenendo p q. Si può applicare la congiunzione a ciò che abbiamo ottenuto e ad un terzo enunciato r, ottenendo (p q) r. Si può applicare la negazione a ciò che abbiamo appena ottenuto: ~((p q) r). Si può applicare la disgiunzione a ciò che abbiamo ottenuto e ad un quarto enunciato s, ottenedo (~((p q) r) s).
5 Si può applicare il condizionale a ciò che abbiamo ottenuto e ad un quinto enunciato t, ottenendo: (~((p q) r) s) t. Si può applicare la negazione a t ottenendo: (~((p q) r) s) (~t) Si può applicare la congiunzione al conseguente del condizionale e a un sesto enunciato u, ottenendo: (~((p q) r) s) ((~t) u). E così via. Tavole di verità Negazione ~ p ~p V F F V Congiunzione P q p q V V V V F F F V F F F F Disgiunzione p q p q V V V V F V F V V F F F Condizionale p q p q V V V V F F F V V F F V Il connettivo bicondizionale " " (= se e solo se) si definisce con il condizionale e la congiunzione. L'enunciato "p q" ha la stessa tavola di verità dell'enunciato "((p q) (q p))"
6 p q ((p q) (q p)) V V V V V V V V V V F V F F F F V V F V F V V F V F F F F F V F V F V F Spegazione: la tavola di verità del bicondizionale " " è data dalla colonna in rosso sotto la congiunzione " ". Il connettivo principale dell'enunciato ((p q) (q p)) è la congiunzione, che a sua volta congiunge due condizionali. Occorre calcolare prima il valore dei due condizionali e poi il valore della loro congiunzione. Si incomincia riportando (in verde) i valori assegnati a "p" e "q" nelle prime due colonne (in nero) (abbiamo 4 possibili combinazioni perché l'enunciato è composto da due soli enunciati semplici, che sono "p" e "q". In generale, la regola è che si hanno 2 n possibilità per n enunciati semplici). Poi si calcolano (in giallo) i valori dei due condizionali applicando la tavola di verità di " " (ai valori in verde). Infine, si calcolano (in rosso) i valori di " " (applicando la tavola della congiunzione ai valori in giallo). La colonna in rosso fornisce i valori della tavola di verità dell'enunciato "((p q) (q p))". La disgiunzione esclusiva "+" (ovvero la disgiunzione nel senso di "aut" per cui la disgiunzione è vera se e solo se solo uno dei due disgiunti è vero) si definisce come la negazione del bicondizionale. L'enunciato "p+q" ha la stessa tavola di verità dell'enunciato ~(p q) p q ~ (p q) V V F V V V V F V V F F F V V F F V F F F F V F Spiegazione: si riportano (in verde) i valori della 4 possibili combinazioni di valori assegnati agli enunciati semplici che occorrono nell'enunciato complesso ~(p q). Si applica ai valori così riportati la tavola di verità del bicondizionale (ottenendo i valori in giallo). Ai valori del bicondizionale si applica la tavola di verità della negazione (in rosso). La colonna in rosso fornisce i valori della tavola di verità della disgiunzione esclusiva "+". Tautologia: Si definisce una tautologia un enunciato la cui tavola di verità assume valore V in tutte le righe, ovvero per tutte le combinazioni di valori assegnati agli enunciati semplici. Esempio di tautologia: (~((p q) r)) (q ~(p q)) p Q r (~ ((p q) r)) (q ~ (p q)) V V V F V V V V V V V V F V V V V V F V V V V F F V V V F V V V
7 V F V F V F F V V V F V V V F F V F F F V F F V F V F V V V F F F V V F F F V V V V V V V F F V F V F F F F V V F V V V V F F V F F V F F F F V V V F V V F F F F F F F F F F V F V F V V F F F Spiegazione: l'enunciato è un condizionale. L'antecedente è la negazione di un condizionale che ha la congiunzione di "p" e "q" come antecedente e "r" come conseguente. Il conseguente è la disgiunzione di "q" e la negazione della congiunzione di "p" e "q". Si devono calcolare i valori dell'antecedente e i valori del conseguente e poi applicare la tavola di verità del condizionale. Antecedente: si riportano in verde i valori degli enunciati semplici; si calcolano in giallo i valori della congiunzione di "p" e "q"; si calcolano in blu i valori del condizionale che ha la congiunzione di "p" e "q" come antecedente e "r" come conseguente; si calcolano in viola i valori della negazione del condizionale. Conseguente: si riportano in verde i valori degli enunciati semplici; si calcolano in giallo i valori della congiunzione di "p" e "q"; si calcolano in blu i valori della negazione della congiunzione; si calcolano in viola i valori della disgiunzione di "q" e la negazione della congiunzione di "p" e "q". Infine, si calcolano in rosso i valori del condizionale applicando la tavola di verità di " " alle colonne in viola. La colonna in rosso ha tutti valori V, quindi l'enunciato "(~((p q) r)) (q ~(p q))" è una tautologia. Test di validità per gli argomenti formalizzati con il linguaggio della logica proposizionale: Dato un argomento, lo si formalizza con il linguaggio della logica proposizionale, poi si costruisce il condizionale che ha la congiunzione delle premesse dell'argomento come antecedente e la conclusione dell'argomento come conseguente. Infine, si testa se il condizionale così ottenuto è una tautologia. Se è una tautologia, allora l'argomento è valido, altrimenti l'argomento non è valido. Esempio Se Maria è a Genova, allora è in Italia. Poiché Maria è a Genova, Maria è in Italia. L'argomento è costituito da due enunciati semplici: "Maria è a Genova" e "Maria è in Italia". Li formalizziamo con "p" e "q". L'argomento ha due premesse: il condizionale "p q" e "p". La conclusione è "q". Costruiamo il condizionale che ha la congiunzione di "p q" e "p" come antecednete e "q" come conseguente. Verifichiamo se il condizionale "(p q) p" è una tautologia applicando il metodo delle tavole di verità. p Q ((p q) p) q
8 V V V V V V V V V V F V F F F V V F F V F V V F F V V F F F V F F F V F Schemi di argomenti validi Modus ponens modus tollens A B A B A ~B B ~A Schemi di argomento invalidi Negazione dell'antecedente Affermazione del conseguente A B A B ~A B ~B A La negazione dell'antecedente e l'affermazione del conseguente sono schemi di argomenti invalidi, ma sono fallaci poiché la loro somiglianza con il modue ponens e il modus tollens può trarci in inganno. Un 'altra fallacia è il falso dilemma A B ~A B Questa volta l'inganno consiste nell'utilizzare uno schema di argomento valido con una premesa falsa. Dunque, l'argomento che si ottiene risulta valido ma non corretto. Esempio Approvi la guerra di Bush o sei un terrorista. Dato che non approvi la guerra di bush, sei un terrorista. La disgiunzione che appare come prima premessa nell'argomento può essere falsa. Si può essere in disaccordo con l'intervento militare comandato da di Bush in Iraq senza per questo appoggiare la strategia degli attentati. L'affermazione del conseguente e la negazione dell'antecedente sono fallacie del tipo (ii), poiché sono argomenti deduttivi invalidi che però sembrano validi. Il falso dilemma è una fallacia del tipo (iii) poiché è un argomento deduttivo che sembra corretto ma non lo è.
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
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
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
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
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,
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
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
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
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
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
DettagliCALCOLO DEI PREDICATI DEL I ORDINE
CALCOLO DEI PREDICATI DEL I ORDINE Dizionario Simboli descrittivi lettere o variabili proposizionali: p, q, r, A, B, C, lettere o variabili predicative: P, Q, R, lettere o variabili individuali: a, b,
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
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à...............................................
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
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
DettagliEsercizi di Riepilogo e Autovalutazione Modulo 1
Esercizi di Riepilogo e Autovalutazione Modulo 1 Marcello D Agostino Istituzioni di Logica 2016-2017 Copyright c 2013 Marcello D Agostino Classificazione delle domande * = difficoltà bassa ** = difficoltà
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
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
DettagliQuand è che un argomento è un buon argomento?
Quand è che un argomento è un buon argomento? 1. Standard deduttivi 2. Standard induttivi P 1 Tutti gli uomini hanno la testa P 2 Io ho la testa C Quindi, sono un uomo Argomenti validi Un argomento si
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
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
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 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
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
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
Dettagli10 Logica classica predicativa
10 Logica classica predicativa Dopo aver studiato la logica classica proposizionale, ovvero la logica delle proposizioni classiche, passiamo a studiare la logica classica predicativa, ovvero quella dei
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 proposizionale
Logica proposizionale Proposizione: frase compiuta che è sempre o vera o falsa. Connettivi Posti in ordine di precedenza: not, and, or, implica, doppia implicazione Sintassi Le proposizioni sono costituite
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
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
DettagliCenni 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
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.
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
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
DettagliIl ragionamento consiste di quattro operazioni:
TEORIA DEI MODELLI MENTALI (Johnson-Laird, 1981) Parte dall evidenza empirica che testimonia che le persone quando ragionano sono sensibili al contenuto di premesse e conclusioni. il ragionamento è un
DettagliApplicando il metodo delle tavole di verità dobbiamo verificare se "(p q) r" è una tautologia:
OLTRE LE TAVOLE DI VERITA Tutti gli uomini sono animali Tutti gli animali sono mortali Tutti gli uomini sono mortali Questo argomento è valido, ma se lo formalizziamo con il linguaggio della logica proposizionle
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
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
DettagliUniversità degli Studi di Milano
Università degli Studi di Milano Laurea in Sicurezza dei sistemi e delle reti informatiche Note di logica proposizionale STEFANO FERRARI Fondamenti di informatica per la sicurezza Note di logica proposizionale
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
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
DettagliLOGICA E FILOSOFIA DELLA SCIENZA
LOGICA E FILOSOFIA DELLA SCIENZA Claudia Casadio PRIMA LEZIONE Logica, Linguistica e Scienza Cognitiva Tre ambiti scientifici Logica Studia i processi in base a cui traiamo inferenze a partire dalle nostre
DettagliDIMOSTRAZIONI E TAUTOLOGIE, IPOTESI NON TAUTOLOGICHE. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini
DIMOSTRAZIONI E TAUTOLOGIE, IPOTESI NON TAUTOLOGICHE Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini INFERENZE CORRETTE E TAUTOLOGIE Il Calcolo Proposizionale permette di formalizzare
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
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
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
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
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:
DettagliLogica proposizionale classica. Studia il comportamento dei connettivi proposizionali quali ( And ) e ( Or )
Logica proposizionale classica Studia il comportamento dei connettivi proposizionali quali ( And ) e ( Or ) Parte da una famiglia di enunciati atomici di cui non analizziamo la struttura interna, che rappresentiamo
DettagliLE REGOLE DI DEDUZIONE
LE REGOLE DI DEDUZIONE II concetto di regola di deduzione Ci proponiamo di formulare alcune regole, dette regole di deduzione o ragionamento, in virtù delle quali, a partire da certe P1, P2,..., Pn, sia
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)
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
DettagliComincio con l elencare le possibilità di scelta aperte al teorico riguardo ad alcuni fattori coinvolti nell analisi degli enunciati vaghi.
prof. Marina Sbisà Filosofia del linguaggio LS104/013LM a.a. 2009-10 Materiali didattici per la seconda parte del corso Il tema della vaghezza nella filosofia analitica contemporanea Molti enunciati del
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
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
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)
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ò
DettagliEsercitazioni per il corso di Logica Matematica
Esercitazioni per il corso di Logica Matematica Luca Motto Ros 02 marzo 2005 Nota importante. Queste pagine contengono appunti personali dell esercitatore e sono messe a disposizione nel caso possano risultare
DettagliISTITUZIONI DI LOGICA(1)
ISTITUZIONI DI LOGICA(1) a.a. 2005-2006 (5 crediti) prof.ssa Giovanna Corsi TEST del 26 novembre 2005 Cognome Nome Corso di Laurea 1. (a) Secondo la lettura fatta delle pagine di Quine, cosa è rilevante
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
DettagliLa Teoria (epistemica) della conferma bayesiana
La Teoria (epistemica) della conferma bayesiana La teoria della probabilità fornisce alcuni strumenti potenti anche in senso epistemico, per valutare argomentazioni e decisioni in cui sono usati dei metodi
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
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
DettagliPsicologia del ragionamento
Psicologia del ragionamento Il ragionamento è essenziale per l intelligenza umana. Facendo ricorso ad inferenze possiamo utilizzare adeguatamente la grande quantità di conoscenza immagazzinata ed applicarla
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
DettagliLinguaggi logici. Si distribuiscono in una gerarchia di complessità.
Linguaggi logici Linguaggi artificiali congegnati per esprimersi senza ambiguità, vaghezza, dipendenza dal contesto. Servono a rendere completamente esplicita la struttura dei nostri enunciati e a facilitare
Dettagli4. Logica. Insegnamento di Informatica. Elisabetta Ronchieri. I semestre, anno Corso di Laurea di Economia, Universitá di Ferrara
4. Logica Insegnamento di Informatica Elisabetta Ronchieri Corso di Laurea di Economia, Universitá di Ferrara I semestre, anno 2014-2015 Elisabetta Ronchieri (Universitá) Insegnamento di Informatica I
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
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 ( ),
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
DettagliDavidson. Verità e significato
Davidson Verità e significato Teoria del significato Una teoria del significato soddisfacente deve spiegare come i significati degli enunciati dipendono dai significati delle parole Ma come si può costruire
DettagliLogica e Ragionamento Logico
Preparazione ai Test di ingresso Cagliari, Luglio 2017 Struttura del test Medicina e Chirurgia/Odontoiatria e Protesi Dentaria 60 domande - 100 minuti di tempo 1. Culture Generale: 2 domande 2. : 20 domande
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 **
DettagliIntroduzione alla logica proposizionale. Unit 2, Lez 1 e 2 Corso di Logica
Introduzione alla logica proposizionale Unit 2, Lez 1 e 2 Corso di Logica Sommario Forme argomentative Variabili proposizionali Operatori e simboli logici Formalizzazione Regole di formazione Dalle proposizioni
DettagliLogica per la Programmazione
Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 8 Modelli, Formule Valide, Conseguenza Logica Proof Systems Regole di inferenza per Calcolo Proposizionale
DettagliIntroduzione ad alcuni sistemi di logica modale
Introduzione ad alcuni sistemi di logica modale Laura Porro 16 maggio 2008 1 Il calcolo proposizionale Prendiamo come primitivi i simboli del Calcolo Proposizionale (PC) tradizionale a due valori 1 : un
DettagliA Simone piacciono tutti i giochi di squadra. Il basket è un gioco di squadra. A Simone non piace giocare a basket.
Logica La logica si occupa della correttezza del ragionamento, un ragionamento è formato da un insieme di proposizioni (enunciati di cui è possibile stabilire se sono veri o falsi) Carlo è un alunno di
DettagliCorso: Multimedialità e modelli di argomentazione (3 cr.)
Corso: Multimedialità e modelli di argomentazione (3 cr.) Quinta lezione Docente: Giuseppe Spolaore. Ricevimento: Martedì, ore 11.50-13.25, presso il Dipartimento di Filosofia. Libro di testo: A. Iacona,
DettagliLogica e Filosofia della Scienza
Logica e Filosofia della Scienza Prof.ssa Claudia Casadio Manuale di riferimento: C. Casadio, Logica e psicologia del pensiero, Carocci 1. Ragionamento e deduzione 2. Logica proposizionale 3. Logica predicativa
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...
Dettagli11. Lezione Corso di Logica (prima parte) 13 maggio Maria Emilia Maietti. ricevimento: martedi ore
11. Lezione Corso di Logica (prima parte) 13 maggio 2011 Maria Emilia Maietti ricevimento: martedi ore 17.30-19.30 email: maietti@math.unipd.it 374 lucidi lezioni in http://www.math.unipd.it/ maietti/lez.html
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
DettagliLA LOGICA. La scienza che fornisce all uomo gli strumenti per controllare la validità dei suoi ragionamenti.
LA LOGICA La scienza che fornisce all uomo gli strumenti er controllare la validità dei suoi ragionamenti. ENNCIATI O ROOSIZIONI: indicano affermazioni dichiarative di cui è ossibile stabilirne la verità
DettagliEsercitazioni per il corso di Logica Matematica
Esercitazioni per il corso di Logica Matematica Luca Motto Ros 22 febbraio 2005 Nota importante. Queste pagine contengono appunti personali dell esercitatore e sono messe a disposizione nel caso possano
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: = è = è " = è " = è " = è
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
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
Università di Bergamo Facoltà di Ingegneria Intelligenza Artificiale Paolo Salvaneschi A7_2 V1.1 Logica proposizionale Il contenuto del documento è liberamente utilizzabile dagli studenti, per studio personale
DettagliLogica per la Programmazione
Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 7 Formule Valide, Conseguenza Logica Proof System per la Logica del Primo Ordine Leggi per i Quantificatori
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
DettagliProposizioni. 1) Tra le seguenti frasi riconoscere le proposizioni, e stabilirne poi il valore di verità:
Si ricorda: - L'oggetto della logica sono le proposizioni, o enunciati (i due termini sono sinonimi); - Una proposizione è una espressione dotata di senso compiuto alla quale si può attribuire in modo
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 è
DettagliOperatori di relazione
Condizioni Negli algoritmi compaiono passi decisionali che contengono una proposizione (o predicato) dal cui valore di verità dipende la sequenza dinamica Chiamiamo condizioni tali proposizioni Nei casi
DettagliLogic. Esame: Scritto. Questo corso fa parte del percorso Filosofia e Linguaggi dell Informatica.
a Argomento: Un corso sulla applicazione della logica alla teoria del linguaggio. Docente: Roberto (Facoltà di lettere, Discof/CIMEC) Ricevimento: Via Sighele 7 (lato sinistro del palazzo arrivando da
DettagliProf. Roberto Capone. Nozioni di logica matematica
Prof. Roberto Capone Nozioni di logica matematica Premesse In matematica non è ammesso un linguaggio ambiguo. Le parole chiave di questo linguaggio sono soltanto sette: Connettivi Non E O Se. allora Se
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
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
DettagliUn introduzione al corso di LOGICA PER LA PROGRAMMAZIONE
Un introduzione al corso di LOGICA PER LA PROGRAMMAZIONE Pisa, 14 e 16 settembre 2010 Andrea Corradini andrea@di.unipi.it LOGICA La LOGICA è la disciplina che studia le condizioni di correttezza del ragionamento
Dettagli