A Simone piacciono tutti i giochi di squadra. Il basket è un gioco di squadra. A Simone non piace giocare a basket.

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "A Simone piacciono tutti i giochi di squadra. Il basket è un gioco di squadra. A Simone non piace giocare a basket."

Transcript

1 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 quarta A vero Antonio ha 13 anni falso Vai a posto! non è possibile stabilire se è vero o falso, quindi non è un enunciato logico. Hai fatto i compiti? anche questo non è un enunciato. Un ragionamento è corretto se l insieme delle proposizioni che lo formano è Consistente (esiste almeno una possibilità che tutte le proposizioni siano vere). A Simone piacciono tutti i giochi di squadra. Il basket è un gioco di squadra. A Simone non piace giocare a basket. Non consistente Era una giornata fredda e piovosa. Antonio aveva molto caldo. Consistente (Antonio era a casa vicino al termosifone). In un ragionamento le proposizioni si collegano con dei Connettivi logici. Implicazione: Oggi piove. Prendo l ombrello. Se piove allora prendo l ombrello. Regola: Se piove devo prendere l ombrello, se non piove posso prenderlo o non prenderlo. Doppia implicazione: Ho fatto i compiti. Vado a giocare. Se e solo se ho fatto i compiti vado a giocare Regola Se è vera la prima affermazione deve essere vera anche la seconda. Negazione: oggi c è il sole oggi non c è il sole Congiunzione: Giulio ha fatto un goal. Giulio è contento. Giulio ha fatto un goal ed è contento Regola

2 Devono essere vere entrambe le proposizioni. Disgiunzione Piove Prendo l ombrello Metto il kway Piove prendo l ombrello o metto il kway Regola Se piove posso uscire con l ombrello, con il kway o con tutti e due. Il calcolo delle classi e la sillogistica Intendiamo per classi gli insiemi. A= (alunni di 4ª A) B= (alunni del Villaggio Europa) Tutti gli elementi di A appartengono anche a B A è incluso in B C=(alunni del Galilei) Nessun alunno di 4ªA è un alunno del Galilei A e C sono disgiunti. D=(giocatori di calcio) Qualche alunno di 4ªA gioca a calcio A e D formano una intersezione

3 Qualche alunno di 4ª A non gioca a calcio È l insieme degli alunni di 4ª A che non giocano a calcio. Per formare gli insiemi abbiamo usato dei quantificatori. Tutti affermativo universale (a) Nessuno negativo universale (e) Qualche affermativo parziale (i) Qualche non negativo parziale (o) Il sillogismo è una forma di ragionamento che prevede due premesse e una conclusione. Tutte le rane sono anfibi Tutti gli anfibi sono vertebrati Tutte le rane sono vertebrati Nella prima premessa compaiono 2 classi rane e anfibi. Nella seconda compaiono anfibi e vertebrati. Anfibi compare sia nella prima sia nella seconda premessa.

4 Nella conclusione appaiono 2 classi rane e vertebrati ( la prima e l ultima nelle premesse) Questo sillogismo è un barbara ( i quantificatori sono tutti universali affermativi) Cavalli Tutti i cavalli sono mammiferi (a) Tutti i mammiferi sono vertebrati (a) Qualche vertebrato è un cavallo (i) Mandarini Tutti i mandarini sono agrumi (a) Tutti i mandarini sono piante (a) Qualche pianta è un agrume (i)

5 Balene Tutti i ciliegi sono piante Nessuna balena è una pianta Nessuna balena è un ciliegio Maestre Tutte le maestre sono umane Nessun umano è una pianta Nessuna maestra è una pianta alati Tutti gli uccelli sono alati Tutti gli alati sono animali Qualche animale è un uccello

6 Italia Alcuni uomini sono italiani Tutti gli italiani sono europei Alcuni uomini sono europei Corallo Alcuni coralli non sono rossi Tutti i coralli sono animali marini Qualche animale marino non è rosso Simone Qualche bambino si chiama Simone Qualche Simone non gioca a calcio Nessun bambino gioca a calcio Questo sillogismo non funziona, non è consistente

7 Antonio Tutti i bambini sono umani Qualche umano non si chiama Antonio Qualche Antonio è un bambino Non funziona sempre

La logica matematica. Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S

La logica matematica. Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S La logica matematica Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S. 2010-2011 La logica studia le proposizioni logiche e le relazioni tra esse. Una proposizione logica è

Dettagli

sempre vere sempre false

sempre 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

Dettagli

Ragionamenti e metodi di dimostrazione. Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica

Ragionamenti e metodi di dimostrazione. Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica Ragionamenti e metodi di dimostrazione Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica Proposizioni Si definisce proposizione una frase alla quale è possibile attribuire uno e un solo valore

Dettagli

La logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di

La logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di La logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di studio da parte anche dei matematici. LE PROPOSIZIONI

Dettagli

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

INSIEMI. DEF. Un INSIEME è una qualsiasi collezione di oggetti. INSIEMI DEF. Un INSIEME è una qualsiasi collezione di oggetti. Esso è ben definito quando è chiaro se un oggetto appartiene o non appartiene all insieme stesso. Esempio. E possibile definire l insieme

Dettagli

Un po di logica. Christian Ferrari. Laboratorio di matematica

Un 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

Dettagli

Il termine medio può essere: 1) soggetto della maggiore e predicato della minore:

Il termine medio può essere: 1) soggetto della maggiore e predicato della minore: SILLOGISMO ll sillogismo si compone solo di enunciati dichiarativi. Dal punto di vista formale il sillogismo è l unione di più enunciati (chiamati premesse), dai quali deriva con necessità, secondo regole

Dettagli

Richiami teorici ed esercizi di Logica

Richiami teorici ed esercizi di Logica Facoltà di ingegneria Università della Calabria Corsi di Potenziamento Matematica e Logica A. A. 2008-2009 Richiami teorici ed esercizi di Logica Proposizioni logiche: Ogni espressione matematica alla

Dettagli

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

Proposizioni. 1) Tra le seguenti frasi riconoscere le proposizioni, e stabilirne poi il valore di verità: Si ricorda: - L'oggetto della logica sono le proposizioni, o enunciati (i due termini sono sinonimi); - Una proposizione è una espressione dotata di senso compiuto alla quale si può attribuire in modo

Dettagli

Logica. Tomas Cipriani

Logica. Tomas Cipriani Logica Tomas Cipriani If it was so, it might be; and if it were so, it would be; but as it isn't, it ain't. That's logic. Alice through the looking glass, Lewis Carroll (Se è stato così, potrebbe essere;

Dettagli

Liceo Scientifico G. Galilei Trebisacce Anno Scolastico

Liceo 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: = è = è " = è " = è " = è

Dettagli

Sesto modulo: Logica Obiettivi 1. individuare dei "calcoli logici" che consentano di meccanizzare l attività deduttiva

Sesto modulo: Logica Obiettivi 1. individuare dei calcoli logici che consentano di meccanizzare l attività deduttiva Sesto modulo: Logica Obiettivi 1. individuare dei "calcoli logici" che consentano di meccanizzare l attività deduttiva 2. stabilire quali ragionamenti sono corretti e quali no 3. distinguere tra condizione

Dettagli

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

ISTITUTO TECNICO STATALE COMMERCIALE E PER GEOMETRI A. MARTINI Castelfranco Veneto (TV) Elementi di Logica settembre 008 Elementi di Logica 1. Nozioni preliminari La logica studia come funziona il pensiero e il ragionamento espresso attraverso degli enunciati Il ragionamento è un sistema di enunciati che permette

Dettagli

L'algebra Booleana. Generalità. Definizioni

L'algebra Booleana. Generalità. Definizioni L'algebra Booleana Generalità L algebra booleana è stata sviluppata da George Boole nel 1854, ed è diventata famosa intorno al 1938 poiché permette l analisi delle reti di commutazione, i cui soli stati

Dettagli

NOZIONI DI LOGICA. Premessa

NOZIONI DI LOGICA. Premessa NOZIONI DI LOGICA Premessa Il compito principale della logica è quello di studiare il nesso di conseguenza logica tra proposizioni, predisponendo delle tecniche per determinare quando la verità di una

Dettagli

Richiami di logica matematica

Richiami 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

Dettagli

ELEMENTI DI LOGICA. Siano p e q le due proposizioni: p: 3 è un numero primo q: 20 è divisibile per 5 Enunciare le proposizioni p q, p q.

ELEMENTI DI LOGICA. Siano p e q le due proposizioni: p: 3 è un numero primo q: 20 è divisibile per 5 Enunciare le proposizioni p q, p q. ELEMENTI DI LOGICA Proposizioni e operazioni 2 3 4 Stabilire quali di queste frasi sono proposizioni logiche e stabilirne il valore di verità: a) 5 è un numero dispari b) Napoli è il capoluogo della Campania

Dettagli

Percorso 2010: Introduzione alla Logica Proposizionale

Percorso 2010: Introduzione alla Logica Proposizionale Percorso 2010: Introduzione alla Logica Proposizionale Francesca Poggiolesi Facoltà di Medicina e Chirurgia 26 Agosto 2010, Firenze Dal test alla logica Alcuni esempi di test 1 Dal test alla logica Alcuni

Dettagli

Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni

Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2017/2018 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve

Dettagli

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

LA LOGICA ESERCIZI. Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità. LA LOGICA 1. Le proposizioni logiche ESERCIZI Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità. 1 A «1 1 è uguale a 5»; «Non si

Dettagli

Elementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni.

Elementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni. Elementi di logica SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni. Quantificatori: elementi fondamentali del linguaggio matematico. quantificatore

Dettagli

BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta

BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento è corretto se segue uno

Dettagli

Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni

Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2018/2019 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve

Dettagli

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

3. Logica. Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune... Capitolo 3. Logica 3. Logica Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune... sei una persona priva di logica è logico comportarsi cosí fai l

Dettagli

1 Richiami di logica matematica

1 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

Dettagli

CALCOLO PROPOSIZIONALE: CENNI

CALCOLO 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

Dettagli

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

Cenni di logica. Hynek Kovarik. Università di Brescia. Analisi Matematica A Cenni di logica Hynek Kovarik Università di Brescia Analisi Matematica A Hynek Kovarik (Università di Brescia) Cenni di logica Analisi Matematica A 1 / 21 Scopo: introdurre nozioni di logica & terminologia

Dettagli

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

Cenni di Logica. Hynek Kovarik. Università di Brescia. Analisi Matematica 1 Cenni di Logica Hynek Kovarik Università di Brescia Analisi Matematica 1 Hynek Kovarik (Università di Brescia) Cenni di Logica Analisi Matematica 1 1 / 15 Scopo: introdurre nozioni di logica & terminologia

Dettagli

1 Richiami di logica matematica

1 Richiami di logica matematica Geometria e Topologia I 2006-mar-05 1 1 Richiami di logica matematica Definire cos è un enunciato, una proposizione (elemento primitivo della logica delle proposizioni). La definizione è data in termini

Dettagli

NOZIONI DI LOGICA PROPOSIZIONI.

NOZIONI DI LOGICA PROPOSIZIONI. NOZIONI DI LOGICA PROPOSIZIONI. Una proposizione è un affermazione che è vera o falsa, ma non può essere contemporaneamente vera e falsa. ESEMPI Sono proposizioni : 7 è maggiore di 2 Londra è la capitale

Dettagli

Logica e fondamenti di matematica

Logica 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

Dettagli

1 Il linguaggio matematico

1 Il linguaggio matematico 1 Il linguaggio matematico 1.1 La logica delle proposizioni La matematica è un linguaggio; a differenza del linguaggio letterario che utilizza una logica soggettiva, la matematica si serve di una logica

Dettagli

Esercizi di Riepilogo e Autovalutazione

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

Dettagli

Logica proposizionale

Logica proposizionale Logica proposizionale Linguaggio comune Nel linguaggio comune si utilizzano spesso frasi imprecise o ambigue Esempio Un americano muore di melanoma ogni ora! Assurdo: significa che c è un americano (sfortunato)

Dettagli

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

Affermazioni aperte e quantificatori Definizione affermazione aperta Esempi Esempio Definizione Esempio Definizione quantificatore universale Affermazioni aperte e quantificatori Definizione Una affermazione aperta è una affermazione che coinvolge una o più variabili. Esempi (a) 5 ³ 3x 2 (b) Il bambino ha un quaderno rosso. Una affermazione

Dettagli

1 Cenni di logica matematica

1 Cenni di logica matematica 1 Cenni di logica matematica 1 1 Cenni di logica matematica Una delle discipline chiave della matematica (e non solo, visto che è fondamentale anche per comprendere la lingua parlata) è la logica matematica,

Dettagli

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

Dettagli

Cenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni

Cenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni Cenni di logica matematica e di teoria degli insiemi CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni 1 1 Logica matematica Corsi Introduttivi - a.a. 2016/2017 2 Serve

Dettagli

CALCOLO DEI PREDICATI DEL I ORDINE

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

Dettagli

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

Dettagli

Logica e test di ammissione all Università

Logica e test di ammissione all Università Logica e test di ammissione all Università Eliana Francot 15 marzo 2018 Frase della lingua italiana Non Proposizione Proposizione Una PROPOSIZIONE LOGICA è una frase della quale si può dire se è VERA oppure

Dettagli

Cenni di logica e calcolo proposizionale

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

Dettagli

Liceo Scientifico G. Galilei Trebisacce Anno Scolastico A= x x=2n n 5 n N B= x N 2 x<8 C= x x=4n n<5

Liceo Scientifico G. Galilei Trebisacce Anno Scolastico A= x x=2n n 5 n N B= x N 2 x<8 C= x x=4n n<5 Liceo Scientifico G. Galilei Trebisacce Anno Scolastico 2012-2013 Prova di Matematica : Insiemi e logica Alunno: Classe: 1C 22.11.2012 prof. Mimmo Corrado 1. Dato l insieme universo U= x N x

Dettagli

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

Geometria e Matematica di Base. Foglio di esercizi 1, con soluzioni Geometria e Matematica di Base. Foglio di esercizi 1, con soluzioni Maria Rita D Orio, Giada Moretti, Daniele Vitacolonna Nota! Useremo per tutti gli esercizi a = 5, b = 9. 1 Esercizi di logica Esercizio

Dettagli

Es. quadrilatero: specie di poligono, genere di quadrato. La specie ha più caratteristiche, il genere è riferito a più elementi.

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

Dettagli

Esercizi di Riepilogo e Autovalutazione Modulo 1

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

Dettagli

DI CHE COSA SI OCCUPA LA LOGICA

DI CHE COSA SI OCCUPA LA LOGICA Di Emily Rinaldi DI CHE COSA SI OCCUPA LA LOGICA La logica si occupa dell esattezza dei ragionamenti Nei tempi antichi solo verbale. Nell epoca moderna la logica viene applicata per l ordinamento sistemazione

Dettagli

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

Fondamenti della Matematica aa Prof. Tovena Proposizioni e tavole di verità Proposizioni e tavole di verità Una proposizione è un enunciato (dichiarazione, frase) che può essere vero o può essere falso, ma non può essere contemporaneamente sia vero che falso. Essere vera o falsa

Dettagli

Ricordando che: = si ha:

Ricordando che: = si ha: Logica matematica Esempi 1. Stailisci il grado di verità delle seguenti proposizioni logiche: :" è h 2 è " :"5 è 2 3 è 6" :" è h : è è " :" h h " :" h è " :" è, è " F 2. Data la proposizione p:" " la sua

Dettagli

1 Richiami di logica matematica

1 Richiami di logica matematica Geometria I 2009-mar-10 1 1 Richiami di logica matematica Cfr: M. Conti, D.L. Ferrario, S. Terracini, G. Verzini: Analisi matematica, Vol I, dal calcolo all analisi, Apogeo, 2006. Cap. ℵ. Definire cos

Dettagli

Comprendere A rigor di logica

Comprendere A rigor di logica Comprendere A rigor di logica UDA SCUOLA per PRIMARIA imparare a cura delle F.S. NESPOLI G. UDA SCUOLA SECONDARIA DI I GRADO PANZONE M. a cura delle e del F.S. Gruppo NESPOLI di lavoro: G. PANZONE BONOLIS

Dettagli

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

Dettagli

Proposizioni e verità

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

Dettagli

Elementi di Informatica

Elementi di Informatica Corso di Laurea triennale in Ingegneria Chimica in condivisione con Corso di Laurea triennale in Ingegneria Navale e Scienze dei Materiali Elementi di Informatica A.A. 2016/17 prof. Mario Barbareschi Cenni

Dettagli

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

Dettagli

La logica della finzione

La 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

Dettagli

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

Linguaggio della logica Calcolo della verità/falsità di «affermazioni» Linguaggio della logica Calcolo della verità/falsità di «affermazioni» Linguaggio della logica Proposizioni semplici e composte Le frasi che formano i discorsi del nostro linguaggio naturale possono essere

Dettagli

Prof. Emanuele Papotto 14/10/2010

Prof. Emanuele Papotto 14/10/2010 Prof. Emanuele Papotto Proposizioni e valori di verità In informatica spesso si ricorre ai principi della logica degli enunciati, una branca della matematica che studia l algebra delle proposizioni che

Dettagli

Prerequisiti Matematici

Prerequisiti 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

Dettagli

RAGIONAMENTO E ANALISI FILOSOFICA A.A Corso di laurea triennale in Filosofia

RAGIONAMENTO E ANALISI FILOSOFICA A.A Corso di laurea triennale in Filosofia 1 RAGIONAMENTO E ANALISI FILOSOFICA A.A. 2016-2017 Corso di laurea triennale in Filosofia 2 Giov. 14-15, aula 6; Ven. 12-14, aula 16 Testi: A. Coliva e E. Lalumera: Pensare. Leggi ed errori del ragionamento,

Dettagli

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

Lo studioso di logica si chiede se la conclusione segue correttamente dalla premesse fornite e se premesse sono buone per accettare la conclusione. Logica binaria La logica è la scienza del corretto ragionamento e consiste nello studio dei principi e dei metodi che consentono di individuare il corretto ragionamento. Lo studioso di logica si chiede

Dettagli

Linguaggio della Matematica

Linguaggio della Matematica Linguaggio della Matematica concetti primitivi: elementi fondamentali di natura intuitiva (punto, retta, insieme, elemento di un insieme,...). assiomi: enunciati, proposizioni vere a priori (gli assiomi

Dettagli

LE TAVOLE DI VERITA IN LOGICA DELLE PROPOSIZIONI

LE TAVOLE DI VERITA IN LOGICA DELLE PROPOSIZIONI LE TAVOLE DI VERITA IN LOGICA DELLE PROPOSIZIONI Estratto dal cap. III del volume: GIANFRANCO BASTI, FRANCESCO PANIZZOLI, Istituzioni di filosofia formale. Dalla logica formale alla ontologia formale,

Dettagli

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

ABILITÀ LOGICO MATEMATICHE DIPARTIMENTO DI SCIENZE POLITICHE E SOCIALI A.A LOGICA 1 Che cos è una proposizione logica? LOGICA Una proposizione logica è un espressione linguistica, cioè una frase, che può essere vera (V) o falsa (F). Consideriamo le frasi: 1. 5 è un numero primo 2. Roma

Dettagli

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. I.T.I, Marzotto, Valdagno 24 febbraio 2014

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. I.T.I, Marzotto, Valdagno 24 febbraio 2014 I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova I.T.I, Marzotto, Valdagno 24 febbraio 2014 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità di ragionamento

Dettagli

Prof. Roberto Capone. Nozioni di logica matematica

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

Dettagli

Ragionamento formalei. Ragionamento formale

Ragionamento formalei. Ragionamento formale Ragionamento formale La necessità e l importanza di comprendere le basi del ragionamento formale, utilizzato in matematica per dimostrare teoremi all interno di teorie, è in generale un argomento piuttosto

Dettagli

Linguaggio della Matematica

Linguaggio della Matematica Linguaggio della Matematica concetti primitivi: elementi fondamentali di natura intuitiva (punto, retta, insieme, elemento di un insieme,...). assiomi: enunciati, proposizioni vere a priori (gli assiomi

Dettagli

non V V V V F F F V F F F F

non V V V V F F F V F F F F 1. Un pò di storia Logica Il primo studioso che si occupò di logica fu il filosofo greco Aristotele (384-322 a.c.). ino al Cinquecento la logica restò sostanzialmente entro i confini tracciati da Aristotele;

Dettagli

Elementi di Logica Teoria degli insiemi

Elementi di Logica Teoria degli insiemi Precorso di Analisi Matematica Facoltà d'ingegneria Università del Salento Elementi di Logica Teoria degli insiemi Proff. A. Albanese E. Mangino Dipartimento di Matematica e Fisica E. De Giorgi - Università

Dettagli

secondo incontro Caravaggio

secondo incontro Caravaggio secondo incontro Francesco Scarri 18 gennaio 2018 Le proposizioni Definizione Le proposizioni che esprimono le relazioni tra insiemi, cioè quelle che contengono quantificatori, sono dette proposizioni.

Dettagli

Introduzione alla logica

Introduzione 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

Dettagli

Logica e teoria degli insiemi

Logica e teoria degli insiemi Introduzione Le ricerche booleane L insieme delle parti La logica è la disciplina che studia le regole del ragionamento, per poter costruire oggetti e relazioni di senso compiuto... Date delle frasi di

Dettagli

In una palazzina abitata da 20 famiglie, 10 di esse hanno il cane, 2 non hanno n è cane n è gatto mentre 12 famiglie hanno il gatto.

In una palazzina abitata da 20 famiglie, 10 di esse hanno il cane, 2 non hanno n è cane n è gatto mentre 12 famiglie hanno il gatto. Attività In una palazzina abitata da 20 famiglie, 10 di esse hanno il cane, 2 non hanno n è cane n è gatto mentre 12 famiglie hanno il gatto. È possibile che si realizzi la situazione descritta? Motiviamo...

Dettagli

Cenni di logica matematica Dott.ssa Sandra Lucente 1

Cenni di logica matematica Dott.ssa Sandra Lucente 1 Cenni di logica matematica Dott.ssa Sandra Lucente 1 Il linguaggio della logica matematica integra e traduce il linguaggio comune sostituendolo quando questo presenta ambiguità. Procediamo come quando

Dettagli

METODI MATEMATICI PER L INFORMATICA

METODI MATEMATICI PER L INFORMATICA METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 2 17/03/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Applicazioni della logica proposizionale La logica ha una

Dettagli

2. Quesiti dell area scientifica e scientifico-tecnologica

2. Quesiti dell area scientifica e scientifico-tecnologica 2. Quesiti dell area scientifica e scientifico-tecnologica Logica 01 Scegliere fra le alternative proposte quella che completa la serie: a b c d e 02 Un auto percorre 20.000 km nel corso di un lungo viaggio.

Dettagli

P : gli iscritti all università di Bari sono più di 1000

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

Dettagli

Corso di Analisi Matematica 1. Insiemi e Logica

Corso di Analisi Matematica 1. Insiemi e Logica 1 / 27 Corso di Analisi Matematica 1 Logica Giulio Starita Università della Campania Luigi Vanvitelli Laurea in Ingegneria Elettronica e Informatica Anno Accademico 2017 2018 2 / 27 Corso di Analisi Matematica

Dettagli

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

detta tavola di verità, in cui nella prima colonna compaiono i valori di verità della LOGICA DELLE PROPOSIZIONI Proposizioni Nel linguaggio naturale, ovvero nel linguaggio che parliamo quotidianamente per comunicare, indichiamo con il termine proposizione una frase che esprime un pensiero

Dettagli

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

Fondamenti della Matematica aa Prof. Tovena Proposizioni e tavole di verità Proposizioni e tavole di verità Una proposizione è un enunciato (dichiarazione, frase) che può essere vero o può essere falso, ma non può essere contemporaneamente sia vero che falso. Essere vera o falsa

Dettagli

Un po di logica. Logica delle proposizioni. Connettivi logici, tavole di verità e tautologie

Un po di logica. Logica delle proposizioni. Connettivi logici, tavole di verità e tautologie Un po di logica Logica delle proposizioni. Connettivi logici, tavole di verità e tautologie Proposizioni. Le proposizioni, anche dette affermazioni o enunciati, che si considerano in matematica sono quelle

Dettagli

La logica considera la forma che deve avere qualsiasi tipo di discorso che pretenda di dimostrare qualcosa. La logica mostra quindi:

La logica considera la forma che deve avere qualsiasi tipo di discorso che pretenda di dimostrare qualcosa. La logica mostra quindi: La logica considera la forma che deve avere qualsiasi tipo di discorso che pretenda di dimostrare qualcosa. La logica mostra quindi: come proceda il pensiero quando pensa quale sia la struttura del ragionamento

Dettagli

Nozioni di logica matematica

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

Dettagli

LOGICA E FILOSOFIA DELLA SCIENZA

LOGICA 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

Dettagli

Elementi di Logica Le forme del ragionamento

Elementi 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

Dettagli

NOZIONI DI LOGICA. Premessa

NOZIONI DI LOGICA. Premessa NOZIONI DI LOGICA Premessa Il compito principale della logica è quello di studiare il nesso di conseguenza logica tra proposizioni, predisponendo delle tecniche per determinare quando la verità di una

Dettagli

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

Esercizio 2. Spiegare perché è falsa la seguente affermazione: Se n è un numero negativo, allora anche n + 3 è negativo. Sapienza Università di Roma - Facoltà I3S Corso di Laurea in Statistica Economia Finanza e Assicurazioni Corso di Laurea in Statistica Economia e Società Corso di Laurea in Statistica gestionale Matematica

Dettagli

184 Capitolo 6. Logica di base

184 Capitolo 6. Logica di base 184 Capitolo 6. Logica di base 6.5 Esercizi 6.5.1 Esercizi dei singoli paragrafi 6.1 - Le proposizioni 6.1. Quali delle seguenti frasi sono proposizioni logiche? a ) I matematici sono intelligenti; b )

Dettagli

Fondamenti teorici e programmazione

Fondamenti teorici e programmazione Fondamenti teorici e programmazione FTP(A) - modb Lezione 8 F.Bonchi Dip.to Informatica Fondamenti teorici e programmazione (A) - modb a.a. 2018/19 pag. 1 Ragionamento formale Comprendere le basi del ragionamento

Dettagli

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2018/19

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2018/19 Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2018/19 Andrea Corradini e Filippo Bonchi Dipartimento di Informatica E-mail: andrea@di.unipi.it, filippo.bonchi@unipi.it A. Corradini e

Dettagli

Sistemi di inferenza Consentono di derivare formule da altre formule: formalizzazione del ragionamento. Un sistema di inferenza è costituito da: un

Sistemi di inferenza Consentono di derivare formule da altre formule: formalizzazione del ragionamento. Un sistema di inferenza è costituito da: un Sistemi di inferenza Consentono di derivare formule da altre formule: formalizzazione del ragionamento. Un sistema di inferenza è costituito da: un insieme di assiomi un insieme di regole di inferenza,

Dettagli

Connettivi del linguaggio e della logica

Connettivi 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

Dettagli

Proposizione logica Argomento/i Predicato Roma è la capitale d Italia Roma è la capitale d Italia 2>3 2 e 3 è maggiore di

Proposizione logica Argomento/i Predicato Roma è la capitale d Italia Roma è la capitale d Italia 2>3 2 e 3 è maggiore di 1. Un pò di storia Logica Il primo studioso che si occupò di logica fu il filosofo greco Aristotele (384-322 a.c.). Fino al Cinquecento la logica restò sostanzialmente entro i confini tracciati da Aristotele;

Dettagli

Logic. Esame: Scritto. Questo corso fa parte del percorso Filosofia e Linguaggi dell Informatica.

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

Dettagli

Appunti OFA Paola Rubbioni

Appunti OFA Paola Rubbioni Appunti OFA Paola Rubbioni Corso di Laurea Triennale in Chimica a.a. 2018/2019 1 OFA CdL in Chimica - a.a. 2018/2019 2 1 Logica matematica Serve ad inquadrare in schemi rigorosi gli strumenti ed i metodi

Dettagli

Elementi di Logica matematica. Elementi di logica matematica

Elementi 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

Dettagli