Lezioni (26 ottobre 2015)
|
|
- Agostino Bernardi
- 7 anni fa
- Visualizzazioni
Transcript
1 Lezioni (26 ottobre 2015) Il passaggio dalle inferenze immediate con gli operatori aristotelici alle inferenze sillogistiche, con due premesse rette dagli stessi operatori Un problema combinatorio: con i quattro operatori ( ogni, qualche, nessun e qualche non ), si hanno solo 8 permutazioni a due posti con due proprietà (rappresentate dai diagrammi Euler/Venn per insiemi), si hanno solo 5 configurazioni ma, aggiungendo una proprietà, ci sono più di quaranta configurazioni che vanno dalla reciproca disgiunzione di tutte e tre (corrispondente a (I)) all identità di tutte e tre (corrispondente a (IV)) totale combinazione di tre enunciate di varia quantità e qualità disposti come premesse e conclusioni: 256 non tutte queste combinazioni sono sillogismi, ma quali? E quali lo sono? Una strategia a tenaglia (una ricostruzione razionale di un colpo di genio da parte di Aristotele) prima mossa: cercare di eliminare coppie di premesse che non portano o (A) a nessuna conclusione; o (B) a conclusioni di una data forma seconda mossa: cercare di derivare tripli che sono sillogismi a partire da un paradigma perfetto (teleois) Eliminazione (A) di coppie assolutamente sterili Esempio di una coppia di premesse che non porta a nessuna conclusione: (EE) Nessuna pietra è un animale Queste due premesse corrispondono a tre insiemi di cui due sono disgiunti tra di loro. anche se tutti gli uomini sono animali, questo fatto non viene annunciato e non si può arrivare alla conclusione tutti gli uomini sono animali, perché non è contenuta nelle premesse: si potrebbe sostituire albero per animale nella seconda premessa (fatto formalmente uguale quello proposto: è vero) ma, per parità di ragionamento, dato che la conclusione tutti gli uomini sono alberi è falsa, allora tutti gli uomini sono animali non consegue dalle premesse Verifica con il diagramma: (EEA) animale pietra uomo Analoghe considerazioni valgono per EEI, EEE e EEO quindi EE è assolutamente sterile altre coppie assolutamente sterili di premesse: EO, OE, II, IO, OI e OO in casi simili, Aristotele dice non c è sillogismo (ouk syllogismos, ad es., a AnPr., I, iv, 26a8, 11-12, 32, e 37, 26b3, 10-11, e 17-18; v, 27a19, 27b3, 13, 23, e 36-7, vi, 28a32, 28b3-
2 4, 22-3, 32, e 36-7, 29a9). anche se questi sono solo 17 passi, la sterilità assoluta investe totale 112 combinazioni tra premesse e conclusioni = 144 Risultato positive da trarre dalla sterilità assoluta: ogni sillogismo contiene almeno una premessa universale (affermativa A o negativa E) e almeno una affermativa (universale A o particolare I) Eliminazione (B) di coppie di premesse sterili relativamente a date conclusioni (B1): sterilità relative alla quantità Esempio di una coppia che non può portare a conclusione universale (AI) Qualche animale è un uomo Tutti gli animali sono mortali (A) non consegue, perché le premesse non escludono animali immortali (fenici?) al massimo, abbiamo un induzione (in buone condizioni, in questo caso) Nessun animale è mortale (E) non consegue, perché contraddetto dalle premesse altre coppie sterili relative a conclusioni universali (A o E): AI, IA, AO, OA, EI, IE queste rappresentano 48 combinazioni = 96 Risultato positivo da trarre: ogni sillogismo a conclusione universale contiene entrambe le premesse universali (premesse AA o EE per conclusione A o E) (B2): sterilità relativa alla qualità le coppie affermative AA, AI, IA e II non possono portare a conclusione negative (E o O) le coppie negative EE, EO, OE, e OO non possono portare a conclusione affermativa (A o I) spariscono altre 20 combinazioni = 76 Risultato positivo da trarre: almeno una delle premesse di un sillogismo ha la stessa qualità della conclusione Problema rimasto: non tutte le 76 combinazioni rimaste sono sillogismi ma almeno sappiamo dove NON guardare cerchiamo invece di raggruppare le combinazioni imparentate al caso paradigmatico Seconda mossa: la derivazione da un sillogismo trattato come assioma Un sillogismo che convince perché perfetto : (AAA) Tutti i greci sono mortali
3 Verifica sul diagramma Euler/Venn: mortali uomini greci Generalizzando la forma: Aab (premessa maggiore, con termine medio e termine maggiore) Aca (premessa minore, con termine minore e termine medio) Acb (conclusione, con termine minore e termine maggiore) il termine nella prima posizione, (a nella premessa maggiore, c in quella minore, e c nella conclusione) si chiama soggetto : S il termine nella seconda posizione (b nella premessa maggiore, a in quella minore, e b nella conclusione) si chiama predicato : P queste non sono denominazioni grammaticali, bensì funzionali o (Aristotele stesso parla (per la prima volta a An. Pr, I, iv, 25b32-4) del termine primo, ultimo e medio, pensando ai primi due come i termini estremi (eschata)) Sopprimendo la qualità e la quantità espresse nelle premesse di un sillogismo e rappresentando A, I, E e O con X, sappiamo che la forma generale di una conclusione sarà XSP il termine medio, M, non appare nella conclusione, ma solo nelle premesse quindi abbiamo solo quattro figure (in greco schemata): prima figura seconda figura terza figura quarta figura XMP XPM XMP XPM XSM XSM XMS XMS XSP XSP XSP XSP Sappiamo dal caso AAA che c è almeno un sillogismo nella prima figura, sostituendo A per X nella conclusione e sappiamo dalle considerazioni sulla sterilità che le premesse devono essere entrambe della stessa quantità (universale) e almeno una deve essere della stessa quantità (affermativa) così si esclude, ad esempio, premesse EE ma ci chiediamo: è possibile una premessa universale negativa (EA o AE)? Si vede di no: (EAA) e (AEA) Tutti i greci sono pietre Nessuna pietra è un uomo Tutte le pietre sono mortali
4 Poi si ripete l operazione sostituendo I per X nella prima figura mentre si vede bene che sono sillogismi: (AAI) e (AII) Qualche greco è un uomo Qualche greco è mortale Qualche greco è mortale si vede altrettanto bene che non c è sillogismo: (AEI) Nessun greco è un uomo Qualche greco è mortale Con questa tecnica, si possono scoprire sei sillogismi della prima figura: AAA, AAI, AII, EAE, EAO e EIO di questi, Aristotele riconosce solo 4, sorvolando AAI e EAO ma quelli riconosciuti sono abbastanza intuitivi: non hanno bisogno di altro per essere riconosciuti cosa che, per come siamo noi, non vale tanto per le altre tre figure Si cerca, dunque, di mettere le combinazioni delle altre figure in rapporto ai sillogismi della prima, utilizzando le inferenze immediate, equivalenze e i rapporti sul quadrato delle opposizioni Esempio della riduzione di un sillogismo della seconda figura: (AOO) Qualche pietra non è mortale Qualche pietra non è un uomo questo non colpisce come valido, forse perché le premesse sono XPM, XSM con premessa maggiore A e stessa quantità e qualità (O) tra premessa minore e conclusione, possiamo essere sicuri che non sia escluso dalle considerazioni sulla sterilità ma non sappiamo ancora quali delle 76 combinazioni rimaste siano sillogismi Una verifica: il contraddittorio della conclusione è incoerente con le premesse? sì, perché Non: qualche pietra non è un uomo è equivalente (sul Quadrato) a Tutte le pietre sono uomini ( Ogni pietra è un uomo ) e la premessa minore è il contraddittorio di Tutte le pietre sono mortali seguendo lo schema AAA, allora si avrebbe Tutte le pietre sono mortali e Non tutte le pietre sono mortali quindi AOO è un sillogismo Un versetto mnemonico (a) diventato canonico (a partire dalle Introductiones in Logicam di Gugliemo di Sherwood [prima metà del 1200]); ma (b) incompleto: Barbara, Celarent, Darii, Ferio-que prioris Cesare, Camestres, Festino, Baroco, secundæ Tertia Darapti, Disamis, Datisi, Felapton Bocardo, Ferison habet. Quarta insuper addit Bramantip, Camenes, Dimaris, Fesapo, Fresison.
5 Dove B, C, D e F corrispondono ai modi della prima figura a cui ridurre quelli di quelle successive, le vocali interne corrispondono alle quantità e qualità A, I, E, e O e le consonanti interne indicano le operazioni di riduzione richieste sulla premessa ad essa precedente: s per conversione semplice (regole (i)-(iv)) p per conversione per accidens (un applicazione di una regola (i)-iv) più una di esemplificazione (v)-(vi)) m per inversione dell ordine delle premesse maggiore e minore c per dimostrazione per impossibile Una tabella completa dei modi e figure del sillogismo (esposta in forma diversa da J. Lukasiewicz [1951] un opera che rischiava di andare persa nella Seconda guerra mondiale) i modi indicati con * non previsti nella tradizione aristotelica NON da imparare a memoria Prima figura AAA Barbara AAI Barbari* AII Darii EAE Celarent EAO Celaront* EIO Ferio Termine medio nella prima posizione ( S ) nella premessa maggiore e nella seconda ( P) nella minore Tutti i greci sono mortali Qualche greco è mortale Qualche greco è un uomo Qualche greco è mortale Nessun greco è una pietra Qualche greco non è una pietra Qualche greco è un uomo Qualche greco non è una pietra
6 Seconda figura AEE Camestres AEO Camestros* AOO Baroco EAE Cesare EAO Cesaro* EIO Festino Termine medio nella seconda posizione ( P ) in entrambe le premesse Nessuna pietra è un uomo Qualche pietra non è un uomo Qualche pietra non è mortale Qualche pietra non è un uomo Qualche uomo è mortale Terza figura AAI Darapti* AII Datisi EAO Felapton* EIO Ferison Termine medio nella prima posizione ( S ) in entrambe le premesse Qualche essere mortale è capace di ridere Qualche uomo è capace di ridere Qualche essere mortale è capace di ridere Qualche essere mortale non è una pietra Qualche uomo è mortale Qualche essere mortale non è una pietra
7 IAI Disamis OAO Bocardo Qualche uomo è mortale Qualche essere mortale è capace di ridere Qualche essere capace di ridere non è una pietra Quarta figura AAI Bramantip* AEE Camenes AEO Camenos* EAO Fesapo* EIO Fresison IAI Dimaris Termine medio nella seconda posizione ( M ) nella premessa maggiore e nella prima ( S ) nella minore Tutti gli esseri capaci di ridere sono mortali Qualche essere mortale è un uomo Nessun essere capace di ridere è una pietra Nessun essere capace di ridere è una pietra Qualche pietra non è un uomo Nessuna pietra è capace di ridere Tutti gli esseri capaci di ridere sono uomini Nessuna pietra è capace di ridere Qualche essere capace di ridere è un uomo Qualche uomo è capace di ridere Tutti gli esseri capaci di ridere sono mortali Qualche essere mortale è un uomo
8 Lezione 15 (28 ottobre 2015) Una specificazione astrattissima (ma simpatica) delle formule ben formate di un calcolo delle proposizioni (1) se una formula f è una variabile proposizionale (p, q, ecc.), f è una fbf (2) se una formula f è una fbf preceduta (a sinistra) da, f è una fbf (3) se una formula f è una fbf seguita (a destra) da, seguito (a destra) a sua volta da una fbf, f è una fbf (4) se una formula f non è conforme a (1)-(3), f non è una fbf I simboli che si scelgono ai posti di (operatore a un posto) e (operatore a due posti) sono ancora da interpretare
Tavola dei sillogismi
Tavola dei sillogismi Le proposizioni del discorso apodittico si distinguono in affermative universali (A): Tutti i cani sono animali affermative particolari (I): Alcuni animali sono mammiferi negative
DettagliLe asserzioni categoriche. Unit 3, Lez 1 Corso di Logica
Le asserzioni categoriche Unit 3, Lez 1 Corso di Logica Sommario Asserzioni categoriche Diagrammi di Venn Inferenze dirette Sillogismi categorici Forme e figure Asserzioni categoriche Qualche uccello è
DettagliSillogismi condizionali e categorici. Laura Catastini Università di Roma Tor vergata
Sillogismi condizionali e categorici Laura Catastini Università di Roma Tor vergata I sillogismi Un sillogismo è un argomento formato da due premesse dalle quali può discendere, ma non obbligatoriamente,
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
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
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 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
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
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
DettagliLa logica di Aristotele. Prof. Marco Lombardi
La logica di Aristotele Prof. Marco Lombardi L analitica Nella classificazione aristotelica delle scienze non trova posto la logica, poiché essa ha per oggetto, la forma comune di tutte le scienze, cioè
DettagliArgomenti. Vita ed opere L'encicolpedia delle scienze La metafisica La fisica L'etica La poetica La logica
ARISTOTELE Argomenti Vita ed opere L'encicolpedia delle scienze La metafisica La fisica L'etica La poetica La logica ARISTOTELE Scritti esoterici Scritti essoterici ARISTOTELE (384 322 a.c.) Dialoghi (tutti
DettagliLOGICA ARISTOTELICA UN PERCORSO DI ESERCIZI
Cavallin Damiano LOGICA ARISTOTELICA UN PERCORSO DI ESERCIZI La nuova didattica: contenuti e competenze La didattica della filosofia ha subìto negli ultimi decenni notevoli mutamenti che hanno portato
DettagliL insieme dei numeri razionali Q Prof. Walter Pugliese
L insieme dei numeri razionali Q Prof. Walter Pugliese Concetto di frazione Abbiamo visto che la divisione non è un operazione interna né in N né in Z. L esigenza di renderla sempre possibile ci porterà
DettagliEspressività e limitazioni delle grammatiche regolari
Espressività e limitazioni delle grammatiche regolari Vantaggi: Le grammatiche regolari consentono di esprimere una significativa classe di linguaggi: linguaggi con un numero di sequenze infinito grazie
DettagliAristotele. Indice generale TOMMASO SCAPPINI APPUNTI DI STORIA DELLA FILOSOFIA
TOMMASO SCAPPINI APPUNTI DI STORIA DELLA FILOSOFIA Aristotele Indice generale 1. Notizie bio-bibliografiche 2 1.1. La vita 2 1.2. Il «corpus artistolelicum» 3 1.3. Le branche della conoscenza 4 Lo schema
DettagliI RADICALI QUADRATICI
I RADICALI QUADRATICI 1. Radici quadrate Definizione di radice quadrata: Si dice radice quadrata di un numero reale positivo o nullo a, e si indica con a, il numero reale positivo o nullo (se esiste) che,
DettagliGrammatiche. Grammatiche libere da contesto Grammatiche regolari Potenza delle grammatiche libere e regolari Struttura di frase: Alberi di derivazione
Grammatiche Grammatiche libere da contesto Grammatiche regolari Potenza delle grammatiche libere e regolari Struttura di frase: Alberi di derivazione Esempio dei numeri interi Si consideri il linguaggio
DettagliConfronto tra la logica aristotelica e la logica fregeana
Confronto tra la logica aristotelica e la logica fregeana Per la logica moderna l'enunciato singolare ("Socrate è mortale") può essere scomposto in due parti: una da saturare - detta funzione (o forma)
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
DettagliDispense del corso di Linguaggi di programmazione e laboratorio Linguaggi formali
Dispense del corso di Linguaggi di programmazione e laboratorio Linguaggi formali Francesco Sisini Eccezionale: a chi trova e corrregge più di 10 errori in regalo un pallone di cuoio se maschio o una bellssima
DettagliStrutture algebriche. Leggi di composizione. Leggi di composizione. Gruppi Insiemi di numeri Polinomi
Introduzione S S S S Le strutture algebriche sono date da insiemi con leggi di composizione binarie (operazioni) ed assiomi (proprietà) Una legge di composizione binaria è una funzione : I J K, una legge
DettagliCorrezione primo compitino, testo B
Correzione primo compitino, testo B gennaio 20 Parte Esercizio Facciamo riferimento alle pagine 22 e 2 del libro di testo Quando si ha a che fare con la moltiplicazione o la divisione di misure bisogna
DettagliUNITÀ DIDATTICA 5 LA RETTA
UNITÀ DIDATTICA 5 LA RETTA 5.1 - La retta Equazione generica della retta Dalle considerazioni emerse nel precedente capitolo abbiamo compreso come una funzione possa essere rappresentata da un insieme
DettagliLA 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
DettagliBOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1
BOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1 SOMMARIO DEL TOMO 1 CAPITOLO 1: IL LINGUAGGIO DEGLI INSIEMI 1.1 Gli insiemi e la loro rappresentazione pag. 1 1. I sottoinsiemi pag. 6 1.3 Insieme
DettagliLa divisione di numeri naturali: esercizi svolti
La divisione di numeri naturali: esercizi svolti Come abbiamo fatto per la sottrazione, ci chiediamo adesso se, effettuata una operazione di moltiplicazione, sia possibile definire (trovare) una operazione
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
DettagliCAPITOLO TERZO - SILLOGISMI
CAITOLO TEZO - SILLOGISMI Nei sillogismi si considerano proposizioni in ciascuna delle quali sono presenti due proprietà e e che assumono soltanto una delle quattro forme seguenti: Universale affermativa
DettagliDerivate. Rette per uno e per due punti. Rette per uno e per due punti
Introduzione Rette per uno e per due punti Rette per uno e per due punti Rette secanti e tangenti Derivata d una funzione in un punto successive Derivabilità a destra e a sinistra Rette per uno e per due
DettagliLE FRAZIONI Conoscenze. 1 si ottiene la frazione... b. Se un intero contiene otto unità frazionarie, è stato diviso in... parti.
LE FRAZIONI Conoscenze 1. L unità frazionaria rappresenta: la frazione più piccola di uno una sola delle n parti uguali in cui è stato diviso l intero una sola delle parti in cui è stato diviso l intero
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
DettagliLogica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/2017
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/2017 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea.corradini@unipi.it, francesca.levi@unipi.it A. Corradini
Dettagli04 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,
DettagliRagionamento LOGICA E PENSIERO COMUNE. Fondamenti di Psicologia Generale Cap. 20. Dott.ssa Stefania Pighin -
Ragionamento LOGICA E PENSIERO COMUNE Fondamenti di Psicologia Generale Cap. 20 Dott.ssa Stefania Pighin - stefania.pighin@unitn.it Due fratelli, Paolo e Francesco, vanno a fare la spesa al mercato. La
DettagliMatematica e-learning - Corso Zero di Matematica. Gli Insiemi. Prof. Erasmo Modica A.A.
Matematica e-learning - Gli Insiemi Prof. Erasmo Modica http://www.galois.it erasmo@galois.it A.A. 2009/2010 1 Simboli Matematici Poiché in queste pagine verranno utilizzati differenti simboli matematici,
DettagliUniversità degli studi di Brescia Facoltà di Medicina e Chirurgia Corso di Laurea in Infermieristica. Corso propedeutico di Matematica e Informatica
Università degli studi di Brescia Facoltà di Medicina e Chirurgia Corso di Laurea in Infermieristica a.a. 2008/2009 Docente Ing. Andrea Ghedi Docente: Dott. Ing. Andrea Ghedi Ingegnere Biomedico, specialista
DettagliFigura 7: Ruota della Fortuna. Quanti sono i casi possibili? G. Sanfilippo - CdP - STAD - Lezione 2 del 12 Aprile pag. 15
Figura 7: Ruota della Fortuna. Quanti sono i casi possibili? G. Sanfilippo - CdP - STAD - Lezione 2 del 12 Aprile 2012- pag. 15 Casi Possibili B= La lancetta indica il Blu V= La lancetta indica il Verde
Dettaglix 2 + (x+4) 2 = 20 Alle equazioni di secondo grado si possono applicare i PRINCIPI di EQUIVALENZA utilizzati per le EQUAZIONI di PRIMO GRADO.
EQUAZIONI DI SECONDO GRADO Un'equazione del tipo x 2 + (x+4) 2 = 20 è un'equazione DI SECONDO GRADO IN UNA INCOGNITA. Alle equazioni di secondo grado si possono applicare i PRINCIPI di EQUIVALENZA utilizzati
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
Dettagli7 2 =7 2=3,5. Casi particolari. Definizione. propria se < impropria se > e non è multiplo di b. apparente se è un multiplo di. Esempi.
NUMERI RAZIONALI Q Nell insieme dei numeri naturali e nell insieme dei numeri interi relativi non è sempre possibile effettuare l operazione di divisione. Infatti, eseguendo la divisione 7 2 si ottiene
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
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
DettagliCodifica binaria. Rappresentazioni medianti basi diverse
Codifica binaria Rappresentazione di numeri Notazione di tipo posizionale (come la notazione decimale). Ogni numero è rappresentato da una sequenza di simboli Il valore del numero dipende non solo dalla
DettagliAristotele, gli Stoici e la nascita della moderna Teoria della Dimostrazione
Aristotele, gli Stoici e la nascita della moderna Teoria della Dimostrazione Roberto Maieli Università degli Studi Roma Tre maieli@uniroma3.it Logica - CdS Magistrale in Teoria della Comunicazione - Roma
DettagliLOGICA TRADIZIONALE. 1. Proposizioni categoriche
P. Minari / Logica radizionale 1 LOGICA TRADIZIONALE 1. Proposizioni caegoriche I cosiueni immediai di una proposizione caegorica sono: il soggeo (di solio indicao con S ), il predicao (di solio indicao
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
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,
DettagliDisequazioni in una incognita. La rappresentazione delle soluzioni
Disequazioni in una incognita Una disequazione in una incognita è una disuguaglianza tra due espressioni contenenti una variabile (detta incognita) verificata solo per particolari valori attribuirti alla
DettagliCAPITOLO 1 UN PO DI STORIA 1
pag.1 Cap. 1: UN PO DI STORIA G. Gerla CAPITOLO 1 indice UN PO DI STORIA 1 se si lodano gli uomini che hanno determinato il numero di corpi regolari, che non ha utilità alcuna se non in quanto è piacevole
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)
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
DettagliDISTANZA TRA DUE PUNTI NEL PIANO CARTESIANO
Geogebra DISTANZA TRA DUE PUNTI NEL PIANO CARTESIANO 1. Apri il programma Geogebra, assicurati che siano visualizzati gli assi e individua il punto A (0, 0). a. Dove si trova il punto A? b. Individua il
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
DettagliCONCETTO DI ASINTOTO. Asintoto verticale Asintoto orizzontale Asintoto obliquo
CONCETTO DI ASINTOTO Asintoto e' una parola che deriva dal greco: a privativo che significa no e sympìptein che significa congiungere cioe' significa che non tocca, in pratica si tratta di una retta che
DettagliELEMENTI di TEORIA degli INSIEMI
ELEMENTI di TEORI degli INSIEMI & 1. Nozioni fondamentali. ssumeremo come primitivi il concetto di insieme e di elementi di un insieme. Nel seguito gli insiemi saranno indicati con lettere maiuscole (,,C,...)
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
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
DettagliInsiemistica. Capitolo 1. Prerequisiti. Obiettivi. Gli insiemi numerici di base Divisibilità e fattorizzazione nei numeri interi
Capitolo 1 Insiemistica Prerequisiti Gli insiemi numerici di base Divisibilità e fattorizzazione nei numeri interi Obiettivi Sapere utilizzare opportunamente le diverse rappresentazioni insiemistiche Sapere
DettagliI numeri relativi. Definizioni Rappresentazione Operazioni Espressioni Esercizi. Materia: Matematica Autore: Mario De Leo
I numeri relativi Definizioni Rappresentazione Operazioni Espressioni Esercizi Materia Matematica Autore Mario De Leo Definizioni I numeri relativi sono i numeri preceduti dal simbolo (positivi) o dal
DettagliC.L. Informatica, M-Z Bari, 12 Gennaio 2016 Traccia: 1
Bari, 2 Gennaio 206 Traccia: Esercizio. Scrivere la definizione di funzione suriettiva. Dimostrare che la composizione di due funzioni suriettive è una funzione suriettiva. Esercizio 2. () Stabilire se
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
DettagliFondamenti di Informatica
Fondamenti di Informatica Algebra di Boole e Circuiti Logici Prof. Christian Esposito Corso di Laurea in Ingegneria Meccanica e Gestionale (Classe I) A.A. 2016/17 Algebra di Boole e Circuiti Logici L Algebra
DettagliUniversità degli Studi di Roma Tor Vergata. Principio di induzione matematica
Università degli Studi di Roma Tor Vergata. Principio di induzione matematica Il Principio di induzione matematica è una tecnica di dimostrazione che permette la dimostrazione simultanea di infinite affermazioni.
Dettagli1 Funzioni reali di una variabile reale
1 Funzioni reali di una variabile reale Qualche definizione e qualche esempio che risulteranno utili più avanti Durante tutto questo corso studieremo funzioni reali di una variabile reale, cioè Si ha f
DettagliFunzioni Esercizi e complementi
Funzioni Esercizi e complementi e-mail: maurosaita@tiscalinet.it Novembre 05. Indice Esercizi Insiemi ininiti 6 Suggerimenti e risposte 9 Esercizi. Scrivere la deinizione di unzione e ornire almeno un
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
DettagliChe cos è un insieme? Come si individua un insieme? 1. Scrivendone esplicitamente gli elementi: C = {2, 4, 6, 8, 10,...}.
Teoria degli insiemi Che cos è un insieme? Come si individua un insieme? 1. Scrivendone esplicitamente gli elementi: A = {a, b, c} B = {1, 2} C = {2, 4, 6, 8, 10,...}. 2. Enunciando una proprietà che è
DettagliLinguaggi. Claudio Sacerdoti Coen 29,?/10/ : La struttura dei numeri naturali. Universitá di Bologna
Linguaggi 5: La struttura dei numeri naturali Universitá di Bologna 29,?/10/2014 Outline La struttura dei numeri naturali 1 La struttura dei numeri naturali I numeri naturali La
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
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 15 Sistema di Dimostrazioni per le Triple di Hoare Sequenze (Array) e Aggiornamento Selettivo A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione
DettagliEquazioni lineari con due o più incognite
Equazioni lineari con due o più incognite Siano date le uguaglianze: k 0; x + y = 6; 3a + b c = 8. La prima ha un termine incognito rappresentato dal simbolo letterale k; la seconda ha due termini incogniti
DettagliPrecorso di Matematica
UNIVERSITÀ DEGLI STUDI ROMA TRE FACOLTA DI ARCHITETTURA Precorso di Matematica Anna Scaramuzza Anno Accademico 2005-2006 4-10 Ottobre 2005 INDICE 1. ALGEBRA................................. 3 1.1 Equazioni
DettagliMATEMATICA DI BASE 1
MATEMATICA DI BASE 1 Francesco Oliveri Dipartimento di Matematica, Università di Messina 30 Agosto 2010 MATEMATICA DI BASE MODULO 1 Insiemi Logica Numeri Insiemi Intuitivamente, con il termine insieme
DettagliLezioni 7-9 (24 e 27 ottobre 2017)
Lezioni 7-9 (24 e 27 ottobre 2017) La Scienza (quella finzionale) della Deduzione (in senso largo) In molti testi (ad es. Studio in Rosso, 1877, cap. 2; Segno dei Quattro, 1890, cap. 1; Scandalo in Boemia,
DettagliNOTE SULLE FUNZIONI CONVESSE DI UNA VARIABILE REALE
NOTE SULLE FUNZIONI CONVESSE DI UNA VARIABILE REALE ROBERTO GIAMBÒ 1. DEFINIZIONI E PRIME PROPRIETÀ In queste note saranno presentate alcune proprietà principali delle funzioni convesse di una variabile
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
DettagliTeoria dei modelli. Alessandro Berarducci. 3 Marzo Dipartimento di Matematica Pisa
Teoria dei modelli Alessandro Berarducci Dipartimento di Matematica Pisa 3 Marzo 2014 Teoria dei campi algebricamente chiusi Denizione 1 La teoria del primo ordine dei campi algebricamente chiusi, ACF,
DettagliFunzioni elementari: funzioni potenza
Funzioni elementari: funzioni potenza Lezione per Studenti di Agraria Università di Bologna (Università di Bologna) Funzioni elementari: funzioni potenza 1 / 36 Funzioni lineari Come abbiamo già visto,
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
DettagliVerifica per la classe prima COGNOME... NOME... Classe... Data...
Capitolo Gli insiemi Insiemi Insiemi Sottoinsiemi Operazioni.a Rappresentare per tabulazione e tramite l uso dei diagrammi di Eulero-Venn i seguenti insiemi dati per caratteristica: A {n n H 0 ; n 7} B
DettagliFUNZIONI BOOLEANE. Vero Falso
FUNZIONI BOOLEANE Le funzioni booleane prendono il nome da Boole, un matematico che introdusse un formalismo che opera su variabili (dette variabili booleane o variabili logiche o asserzioni) che possono
DettagliElementi di teoria degli insiemi
www.matematicamente.it Elementi di teoria degli insiemi 1 Elementi di teoria degli insiemi Cognome e nome: Classe: Data: 1. Quali dei seguenti raggruppamenti costituiscono un insieme in senso matematico?.
DettagliEsercizi di logica. Ivan Valbusa 5 dicembre 2012
Esercizi di logica Ivan Valbusa 5 dicembre 2012 Gli esercizi proposti di seguito coprono solo una piccola parte del programma del corso. Sono mediamente più difficili di quelli presenti sul manuale di
DettagliFondamenti di Programmazione. Sistemi di rappresentazione
Fondamenti di Programmazione Sistemi di rappresentazione Numeri e numerali Il numero cinque 5 V _ Π 五 Arabo Romano Maya Greco Cinese Il sistema decimale Sistemi posizionali 1 10 3 + 4 10 2 + 9 10 1 + 2
DettagliL insieme dei numeri Relativi
L insieme dei numeri Relativi ITIS Feltrinelli anno scolastico 007-008 R. Folgieri 007-008 1 Ampliamento di N e Q: i relativi Nell insieme N non possiamo fare operazioni quali -1 perché il risultato non
DettagliCosa nostra Il delitto dalla Chiesa. à è. è à
Cosa nostra Il delitto dalla Chiesa à è à è à è à é ì ì à é ù é à à è à ì à è à ò ì é à ì è é à à ù è à è à é È è è ì è ò é ì ì è è è è ò ò è à è ò é é ò à è àà à à à è è ò ù à à ò à à à è à è ù è ùè ò
DettagliMassimi e minimi vincolati
Massimi e minimi vincolati Data una funzione G C 1 (D), dove D è un aperto di R 2, sappiamo bene dove andare a cercare gli eventuali punti di massimo e minimo relativi. Una condizione necessaria affinché
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,
DettagliESEMPIO Un esempio di insieme vuoto è l insieme dei numeri reali di quadrato 4. B A
TEORI DEGLI INSIEMI GENERLIT Un insieme è un ente costituito da oggetti. Il concetto di insieme e di oggetto si assumono come primitivi. Se un oggetto a fa parte di un insieme si dice che esso è un suo
Dettagli(1;1) y=2x-1. Fig. G4.1 Retta tangente a y=x 2 nel suo punto (1;1).
G4 Derivate G4 Significato geometrico di derivata La derivata di una funzione in un suo punto è il coefficiente angolare della sua retta tangente Esempio G4: La funzione = e la sua retta tangente per il
DettagliEsercitazioni di statistica
Esercitazioni di statistica Misure di associazione: Indipendenza assoluta e in media Stefania Spina Universitá di Napoli Federico II stefania.spina@unina.it 22 ottobre 2014 Stefania Spina Esercitazioni
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
DettagliL insieme dei numeri Relativi (Z)
L insieme dei numeri Relativi (Z) L esigenza dei numeri relativi Due precise situazioni ci spingono ad ampliare l'insieme de numeri naturali (N): una di carattere pratico, un'altra di carattere più teorico.
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
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
DettagliINSIEMI ED INSIEMI NUMERICI Prof. Erasmo Modica
INSIEMI ED INSIEMI NUMERICI Prof. Erasmo Modica erasmo@galois.it SIMBOLI MATEMATICI Poiché in queste pagine verranno utilizzati differenti simboli matematici, è bene elencarne subito i principali. SIMBOLO
DettagliCorso di Informatica Generale (C. L. Economia e Commercio) Ing. Valerio Lacagnina Rappresentazione dei numeri relativi
Codice BCD Prima di passare alla rappresentazione dei numeri relativi in binario vediamo un tipo di codifica che ha una certa rilevanza in alcune applicazioni: il codice BCD (Binary Coded Decimal). È un
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 ( ),
Dettaglia rappresenta l intercetta o termine noto della retta, ossia il valore della y quando x = 0.
Esercitazioni sulla prima parte delle lezioni di Micro Richiamo di Analisi Matematica La forma funzionale più semplice è la retta, la quale può essere genericamente descritta dalla seguente relazione:
DettagliLA RETTA NEL PIANO CARTESIANO
LA RETTA NEL PIANO CARTESIANO LE COORDINATE CARTESIANE Quando si vuole fissare un sistema di coordinate cartesiane su una retta r, è necessario considerare: un punto O detto origine; un verso di percorrenza;
Dettagli