Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati;
|
|
- Marcellina Forte
- 7 anni fa
- Visualizzazioni
Transcript
1 Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria, condizione sufficiente;
2 Nella matematica si chiama proposizione o enunciato ogni espressione linguistica o frase per la quale si possa stabilire con certezza se è vera o è falsa. In altre parole un enunciato è una frase alla quale ha senso associare uno e uno solo dei due valori di verità: vero o falso Ad esempio la luna è un satellite è un enunciato; Mentre quest anno sarò promosso non lo è.
3 Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria, condizione sufficiente;
4 Congiunzioni di due proposizioni; Disgiunzione di due proposizioni; Negazione di una proposizione; Implicazione materiale o condizionale; Coimplicazione materiale o bicondizionale; ormule equiveridiche;
5 La particella e, quando viene usata nel linguaggio ordinario con il significato di e contemporaneamente, corrisponde in logica al connettivo congiunzione (Λ) Si definisce congiunzione di due proposizioni p e q e si identifica con p Λq Nota: (il simbolo Λ nel linguaggio matematico si legge et ) Per rendere più evidente la definizione data, in genere viene introdotta la tavola di verità, dalla quale risultano i valori di verità della congiunzione pλq, dati i possibili valori di verità delle proposizioni p e q
6 p q pλq
7 Congiunzioni di due proposizioni; Disgiunzione di due proposizioni; Negazione di una proposizione; Implicazione materiale o condizionale; Coimplicazione materiale o bicondizionale; ormule equiveridiche;
8 La parola o, quando viene usata nel linguaggio comune con il significato di oppure (in senso alternativo come il vel latino), corrisponde in logica al connettivo disgiunzione (simbolo ) Si definisce disgiunzione di due proposizioni p e q e si indica con il simbolo pq (si legge p o q o, meglio ancora, usando il latino, p vel q ) Poiché la verità di pq si verifica nel caso di verità o solo di p o solo di q o di entrambe le proposizioni, questa disgiunzione è anche detta alternativa.
9 p q pq
10 Congiunzioni di due proposizioni; Disgiunzione di due proposizioni; Negazione di una proposizione; Implicazione materiale o condizionale; Coimplicazione materiale o bicondizionale; ormule equiveridiche;
11 La particella non del linguaggio ordinario corrisponde in logica all operatore negazione. Si definisce negazione di un enunciato p e si indica con p (si legge non p oppure p negato)
12 p p
13 Congiunzioni di due proposizioni; Disgiunzione di due proposizioni; Negazione di una proposizione; Implicazione materiale o condizionale; Coimplicazione materiale o bicondizionale; ormule equiveridiche;
14 Un altro modo di connettere tra loro due proposizioni può ottenersi mediante il connettivo se allora.. Si definisce implicazione materiale o condizionale di due proposizioni p e q e si indica con p q (si legge se p allora q o p implica q )
15 p q p q
16 Congiunzioni di due proposizioni; Disgiunzione di due proposizioni; Negazione di una proposizione; Implicazione materiale o condizionale; Coimplicazione materiale o bicondizionale; ormule equiveridiche;
17 Due proposizioni possono essere connesse mediante il connettivo se e solo se ; si ha in proposito la seguente definizione. Si definisce coimplicazione materiale o bicondizionale di due proposizioni p e q e si indica con p q (si legge p se e solo se q o p coimplica q )
18 p q p q
19 Congiunzioni di due proposizioni; Disgiunzione di due proposizioni; Negazione di una proposizione; Implicazione materiale o condizionale; Coimplicazione materiale o bicondizionale; ormule equiveridiche;
20 Diciamo che due formule enunciative A e B sono equiveridiche o uguali logicamente o, ancora, logicamente equivalenti se esse determinano la stessa funzione di verità, ossia se assumono entrambe lo stesso valore di verità quali che siano i valori di verità attribuiti alle lettere enunciative che le compongono. Scriveremo allora Oppure A B (A è equiveridica a B) A = B (A è uguale logicamente a B)
21 p q p q p p q Potremo pertanto scrivere: p q = p q
22 Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria, condizione sufficiente;
23 Le operazioni logiche godono di numerose proprietà formali esprimibili mediante uguaglianze logiche. La verifica di tali uguaglianze si esegue mediante la tavola di verità o Proprietà dell idempotenza; o Proprietà commutativa; o Proprietà della complementarietà; o Proprietà associativa; o Proprietà distributiva (della congiunzione rispetto alla disgiunzione); o Proprietà distributiva (della disgiunzione rispetto alla congiunzione); o Leggi di De Morgan; o Leggi di assorbimento;
24 p ^ p = p p v p = p
25 Le operazioni logiche godono di numerose proprietà formali esprimibili mediante uguaglianze logiche. La verifica di tali uguaglianze si esegue mediante la tavola di verità o Proprietà dell idempotenza; o Proprietà commutativa; o Proprietà della complementarietà; o Proprietà associativa; o Proprietà distributiva (della congiunzione rispetto alla disgiunzione); o Proprietà distributiva (della disgiunzione rispetto alla congiunzione); o Leggi di De Morgan; o Leggi di assorbimento;
26 p ^ q = q ^ p p v q = q v p
27 Le operazioni logiche godono di numerose proprietà formali esprimibili mediante uguaglianze logiche. La verifica di tali uguaglianze si esegue mediante la tavola di verità o Proprietà dell idempotenza; o Proprietà commutativa; o Proprietà associativa; o Proprietà distributiva (della congiunzione rispetto alla disgiunzione); o Proprietà distributiva (della disgiunzione rispetto alla congiunzione); o Proprietà della complementarietà; o Leggi di De Morgan; o Leggi di assorbimento;
28 = p = p
29 Le operazioni logiche godono di numerose proprietà formali esprimibili mediante uguaglianze logiche. La verifica di tali uguaglianze si esegue mediante la tavola di verità o Proprietà dell idempotenza; o Proprietà commutativa; o Proprietà della complementarietà; o Proprietà associativa; o Proprietà distributiva (della congiunzione rispetto alla disgiunzione); o Proprietà distributiva (della disgiunzione rispetto alla congiunzione); o Leggi di De Morgan; o Leggi di assorbimento;
30 (p ^ q) ^ r = p ^ (q ^ r) (p v q) v r = p v (q v r)
31 Le operazioni logiche godono di numerose proprietà formali esprimibili mediante uguaglianze logiche. La verifica di tali uguaglianze si esegue mediante la tavola di verità o Proprietà dell idempotenza; o Proprietà commutativa; o Proprietà della complementarietà; o Proprietà associativa; o Proprietà distributiva (della congiunzione rispetto alla disgiunzione); o Proprietà distributiva (della disgiunzione rispetto alla congiunzione); o Leggi di De Morgan; o Leggi di assorbimento;
32 p ^ (q v r) = (p ^ q) v (p ^ r)
33 Le operazioni logiche godono di numerose proprietà formali esprimibili mediante uguaglianze logiche. La verifica di tali uguaglianze si esegue mediante la tavola di verità o Proprietà dell idempotenza; o Proprietà commutativa; o Proprietà della complementarietà; o Proprietà associativa; o Proprietà distributiva (della congiunzione rispetto alla disgiunzione); o Proprietà distributiva (della disgiunzione rispetto alla congiunzione); o Leggi di De Morgan; o Leggi di assorbimento;
34 p v (q ^ r) = (p v q) ^ (p v r)
35 Le operazioni logiche godono di numerose proprietà formali esprimibili mediante uguaglianze logiche. La verifica di tali uguaglianze si esegue mediante la tavola di verità o Proprietà dell idempotenza; o Proprietà commutativa; o Proprietà della complementarietà; o Proprietà associativa; o Proprietà distributiva (della congiunzione rispetto alla disgiunzione); o Proprietà distributiva (della disgiunzione rispetto alla congiunzione); o Leggi di De Morgan; o Leggi di assorbimento;
36 p ^ q = p v q p v q = p ^ q
37 Le operazioni logiche godono di numerose proprietà formali esprimibili mediante uguaglianze logiche. La verifica di tali uguaglianze si esegue mediante la tavola di verità o Proprietà dell idempotenza; o Proprietà commutativa; o Proprietà della complementarietà; o Proprietà associativa; o Proprietà distributiva (della congiunzione rispetto alla disgiunzione); o Proprietà distributiva (della disgiunzione rispetto alla congiunzione); o Leggi di De Morgan; o Leggi di assorbimento;
38 p v (p ^ q) = p p ^ (p v q) = p
39 Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria, condizione sufficiente;
40 Se una formula enunciativa risulta vera qualunque sia il valore di verità delle lettere enunciative che la compongono, si dice che è una tautologia. Per indicare che una formula enunciativa A è una tautologia si scrive Se una formula enunciativa risulta falsa qualunque sia il valore di verità delle lettere enunciative che la compongono, si dice che è una contraddizione. A
41 La formula ((a ^ b) a) è una tautologia; La formula a ^ a è una contraddizione a b a ^ b (a^b) a a a a^a
42 Presentiamo ora alcune tautologie che rappresentano le forme di ragionamento deduttivo più frequenti in matematica: o Principio del terzo escluso; o Proprietà transitiva dell implicazione; o Legge di contrapposizione; o Modus Ponens; o Modus Tollens;
43 a v a
44 Presentiamo ora alcune tautologie che rappresentano le forme di ragionamento deduttivo più frequenti in matematica: o Principio del terzo escluso; o Proprietà transitiva dell implicazione; o Legge di contrapposizione; o Modus Ponens; o Modus Tollens;
45 ((a b) ^ (b c)) (a c)
46 Presentiamo ora alcune tautologie che rappresentano le forme di ragionamento deduttivo più frequenti in matematica: o Principio del terzo escluso; o Proprietà transitiva dell implicazione; o Legge di contrapposizione; o Modus Ponens; o Modus Tollens;
47 (a b) (b a)
48 Presentiamo ora alcune tautologie che rappresentano le forme di ragionamento deduttivo più frequenti in matematica: o Principio del terzo escluso; o Proprietà transitiva dell implicazione; o Legge di contrapposizione; o Modus Ponens; o Modus Tollens;
49 ((a b) ^ a) b
50 Presentiamo ora alcune tautologie che rappresentano le forme di ragionamento deduttivo più frequenti in matematica: o Principio del terzo escluso; o Proprietà transitiva dell implicazione; o Legge di contrapposizione; o Modus Ponens; o Modus Tollens;
51 ((a b) ^ b) a
52 Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria, condizione sufficiente;
53 Alcune delle tautologie appena viste consentono di chiarire e di giustificare questo modo di procedere, permettendo di formulare delle regole di deduzione o regole di inferenza, ossia regole mediante le quali dalla verità di alcune proposizioni si può dedurre la verità di nuove proposizioni: o Modus Ponens; o Modus Tollens; o Modus Pollendo Tollens; o Modus Tollendo Ponens;
54 Consideriamo la tautologia: ((a b) ^ a) b (a b) ^ a b ((a b) ^ a) b Se sono vere le proposizioni a b e a, dev essere vera anche la proposizione b.
55 Alcune delle tautologie appena viste consentono di chiarire e di giustificare questo modo di procedere, permettendo di formulare delle regole di deduzione o regole di inferenza, ossia regole mediante le quali dalla verità di alcune proposizioni si può dedurre la verità di nuove proposizioni: o Modus Ponens; o Modus Tollens; o Modus Ponendo Tollens; o Modus Tollendo Ponens;
56 Dalla tautologia: ((a b) ^ b) a (a b) ^ b a ((a b) ^ b) a Se è vera la proposizione a b ed è vera la negazione di b, deve essere vera anche la negazione di a.
57 Alcune delle tautologie appena viste consentono di chiarire e di giustificare questo modo di procedere, permettendo di formulare delle regole di deduzione o regole di inferenza, ossia regole mediante le quali dalla verità di alcune proposizioni si può dedurre la verità di nuove proposizioni: o Modus Ponens; o Modus Tollens; o Modus Ponendo Tollens; o Modus Tollendo Ponens;
58 Dalla tautologia: ((a ^ b) ^ b) a (a ^ b) ^ b a ((a ^ b) ^ b) a Se è vera la proposizione a ^ b ed è vera b, deve essere vera anche a.
59 Alcune delle tautologie appena viste consentono di chiarire e di giustificare questo modo di procedere, permettendo di formulare delle regole di deduzione o regole di inferenza, ossia regole mediante le quali dalla verità di alcune proposizioni si può dedurre la verità di nuove proposizioni: o Modus Ponens; o Modus Tollens; o Modus Ponendo Tollens; o Modus Tollendo Ponens; o Reductio ad absudum;
60 Dalla tautologia: ((a v b) ^ b) a (a v b) ^ b a ((a v b) ^ b) a Se è vera la proposizione a v b ed è vera la negazione di b, deve essere vera anche a.
61 Alcune delle tautologie appena viste consentono di chiarire e di giustificare questo modo di procedere, permettendo di formulare delle regole di deduzione o regole di inferenza, ossia regole mediante le quali dalla verità di alcune proposizioni si può dedurre la verità di nuove proposizioni: o Modus Ponens; o Modus Tollens; o Modus Ponendo Tollens; o Modus Tollendo Ponens; o Reductio ad absurdum;
62 Dalla tautologia: ((a b) ^ b) a (a b) ^ b a ((a b) ^ b) a Seguendo questo schema, per dimostrare un enunciato a si prova a negarlo, ossia ad affermare a; se da tale negazione si può trarre una conclusione b e, contemporaneamente, è noto che tale conclusione è falsa, ossia si ha (a b) ^ b, si può dedurre che a è vero.
63 Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria, condizione sufficiente;
64 o Implicazione logica; o Equivalenza logica;
65 Considerati due predicati p(x) e q(x), con x appartenente d un opportuno dominio, se ogni valore di x che rende vero p(x), si dice che p(x) implica logicamente q(x) o che q(x) è conseguenza logica di p(x). Per indicare che p(x) implica logicamente q(x), si scrive p(x) q(x) Analizziamo la seguente frase: se un numero è divisibile per 4, allora è divisibile per 2. Allo scopo consideriamo i due predicati p(x): x è divisibile per 4 q(x): x è divisibile per 2. X Є N
66 o Implicazione logica; o Equivalenza logica;
67 Due predicati p(x) e q(x) sono logicamente equivalenti, se ogni valore di x che rende vero p(x) rende vero q(x) e se, contemporaneamente, ogni x che rende vero q(x) rende vero anche p(x). se un triangolo ha 2 angoli uguali allora ha 2 lati uguali è un implicazione logica in quanto, come si dimostra in geometria, se un triangolo ha 2 angoli uguali, allora ha anche 2 lati uguali. In questo caso oltre ad essere p(x) = > q(x) è anche q(x) = p(x) > Se due predicati si implicano logicamente a vicenda, si scrive <> p(x) = q(x)
68 Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria, condizione sufficiente;
69 p(x): x è divisibile per 6 q(x): x è pari. > In matematica, scrivendo p(x) = q(x), si suol dire che 1. p(x) è condizione sufficiente per q(x); infatti l essere un numero divisibile per 6 è una condizione sufficiente perché il numero sia pari. 2. q(x) è condizione necessaria per p(x); infatti l essere pari è necessario per essere divisibile per Nel caso in cui i predicati p(x) e q(x) siano logicamente equivalenti, diremo che p(x) è condizione necessaria e sufficiente per q(x).
70 Lavoro prodotto dall alunno Colitta Giancarlo della classe 2A a.s.2007/08 guidato dalla prof.ssa Martina Anna Rita
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
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
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
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
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
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
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
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
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
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 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
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)
DettagliMETODI MATEMATICI PER L INFORMATICA
METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 2 17/03/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Applicazioni della logica proposizionale La logica ha una
DettagliRicordando che: = si ha:
Logica matematica Esempi 1. Stailisci il grado di verità delle seguenti proposizioni logiche: :" è h 2 è " :"5 è 2 3 è 6" :" è h : è è " :" h h " :" h è " :" è, è " F 2. Data la proposizione p:" " la sua
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
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
DettagliUn po di logica. Christian Ferrari. Laboratorio di matematica
Un po di logica Christian Ferrari Laboratorio di matematica 1 Introduzione La logica è la disciplina che studia le condizioni di correttezza del ragionamento. Il suo scopo è quindi quello di elaborare
DettagliCenni di logica. 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
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
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
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
DettagliI.2 Logica. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica
I.2 Logica Università di Ferrara Dipartimento di Economia e Management Insegnamento di Informatica Ottobre 13, 2015 Argomenti Logica 1 Logica 2 3 Logica Si occupa dello studio delle strutture e delle regole
DettagliElementi di 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à
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
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,
DettagliPrerequisiti Matematici
Prerequisiti Matematici Richiami di teoria degli insiemi Relazioni d ordine, d equivalenza Richiami di logica Logica proposizionale, tabelle di verità, calcolo dei predicati Importante: Principio di Induzione
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
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
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
DettagliProposizione 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;
DettagliESERCIZI DI ANALISI MATEMATICA 1 FOGLIO 1
ESERCIZI DI ANALISI MATEMATICA 1 FOGLIO 1 Logica e connettivi logici Esercizio 0.1. Si costruiscano le tabelle di verità delle seguenti espressioni booleane; cioè, al variare dei valori di verit delle
DettagliDefinizione - Sottoinsieme Simbolo di Sottoinsieme Relazione di inclusione forte o stretta Simbolicamente: Sottoinsieme: Uguaglianza:
Insiemi Concetto Primitivo Simboli di appartenenza e non appartenenza Insieme vuoto ø Rappresentazione: Elencazione Diagrammi di Eulero-Venn Mediante Proprietà Caratteristica a, b Definizione - Sottoinsieme
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
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
DettagliLA NOZIONE DI INSIEME, PRIME OPERAZIONI TRA INSIEMI, ELEMENTI BASILARI DI LOGICA
LA NOZIONE DI INSIEME, PRIME OPERAZIONI TRA INSIEMI, ELEMENTI BASILARI DI LOGICA L impostazione logico-deduttiva propria della matematica affida un importanza basilare alle definizioni. La ricerca, poi,
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
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
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
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
Dettagli01 - Elementi di Teoria degli Insiemi
Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 01 - Elementi di Teoria degli Insiemi Anno Accademico 2013/2014
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
DettagliIndice. 1 Cenni di logica. 2 Elementi di teoria degli insiemi. 3 Relazioni e funzioni. 4 Strutture algebriche
Indice 1 Cenni di logica 2 Elementi di teoria degli insiemi 3 Relazioni e funzioni 4 Strutture algebriche Silvia Pianta - Laura Montagnoli Geometria I - Prerequisiti - UCSC A.A. 2015/2016 1 / 36 1. Cenni
DettagliPROGRAMMA CONSUNTIVO
PAGINA: 1 PROGRAMMA CONSUNTIVO A.S.2014-2015 SCUOLA Liceo Linguistico Manzoni DOCENTE: Marina Barbàra MATERIA: Matematica e Informatica Classe 1 Sezione A OBIETTIVI: le parti sottolineate sono da considerarsi
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
DettagliLiceo Scientifico G. Galilei Trebisacce Anno Scolastico A= x x=2n n 5 n N B= x N 2 x<8 C= x x=4n n<5
Liceo Scientifico G. Galilei Trebisacce Anno Scolastico 2012-2013 Prova di Matematica : Insiemi e logica Alunno: Classe: 1C 22.11.2012 prof. Mimmo Corrado 1. Dato l insieme universo U= x N x
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
DettagliL AND di x e y si indica con x y (oppure xy) L OR di x e y si indica con x + y Il NOT di x si indica con x ( oppure con x, ~x, (not x), x )
ALGEBRA BOOLEANA Insieme K con elementi che assumono i valori {0,1) con operatori (AND, OR, NOT) Notazione: Se x e y sono due variabili booleane: L AND di x e y si indica con x y (oppure xy) L OR di x
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
Dettagli01 - Elementi di Teoria degli Insiemi
Università degli Studi di Palermo Scuola Politecnica Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 01 - Elementi di Teoria degli Insiemi Anno Accademico 2015/2016
DettagliFondamenti della Matematica aa Prof. Tovena Proposizioni e tavole di verità
Proposizioni e tavole di verità Una proposizione è un enunciato (dichiarazione, frase) che può essere vero o può essere falso, ma non può essere contemporaneamente sia vero che falso. Essere vera o falsa
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 ( ),
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
DettagliR. De Leo 9 Febbraio Liceo Scientifico L.B. Alberti. Invito alla Logica Matematica. attraverso gli Indovinelli
Liceo Scientifico L.B. Alberti 9 Febbraio 2010 1 / 40 Outline 2 / 40 La come gioco da tavolo Quali sono gli elementi fondamentali di un gioco da tavolo? I Pezzi 3 / 40 La come gioco da tavolo Quali sono
DettagliI.S.I.S. F. De Sanctis Sez. ass. Liceo Classico
Anno Scolastico 2012/13 Disciplina: Matematica Classe: I Liceo classico (nuovo ordinamento) Docente: prof. Roberto Capone ALGEBRA I.S.I.S. F. De Sanctis Sez. ass. Liceo Classico Specifica dettagliata degli
DettagliCenni 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
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
DettagliLIBRO ADOTTATO. A. FACCHINI: ALGEBRA E MATEMATICA DISCRETA, ed. ZANICHELLI LIBRI CONSIGLIATI
LIBRO ADOTTATO A. FACCHINI: ALGEBRA E MATEMATICA DISCRETA, ed. ZANICHELLI LIBRI CONSIGLIATI G.M. PIACENTINI CATTANEO: MATEMATICA DISCRETA, ed. ZANICHELLI C. COSTANTINO, P. LONGOBARDI, M. MAJ, C. NICOTERA:
DettagliCALCOLO DEL PRIMO ORDINE
CALCOLO DEL PRIMO ORDINE ANCORA SUL CONCETTO DI CALCOLO (PROOF SYSTEM) Un sistema di dimostrazione è un insieme di regole di inferenza Ciascuna regola di inferenza consente di derivare una formula ϕ (conseguenza)
DettagliAlgebra di Boole ed elementi di logica
Algebra di Boole ed elementi di logica Marco D. Santambrogio marco.santambrogio@polimi.it Ver. aggiornata al 10 O0obre 2013 Obiettivi Algebra di Boole Algebra di boole a due valori: algebra di commutazione
DettagliInsiemi, Numeri, Terminologia. Prof. Simone Sbaraglia
Insiemi, Numeri, Terminologia Prof. Simone Sbaraglia Corso Rapido di Logica Matematica La logica formale definisce le regole cui deve obbedire qualsiasi teoria deduttiva. Una proposizione e` una affermazione
DettagliElementi di logica. 1. Introduzione. 2. Operatori logici (connettivi)
Elementi di logica. Introduzione La logica elementare si interessa della verità di affermazioni complesse a partire dalla verità di quelle più semplici che le compongono. Si può parlare di verità/falsità
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)
DettagliLogica e teoria degli insiemi
Introduzione Le ricerche booleane L insieme delle parti La logica è la disciplina che studia le regole del ragionamento, per poter costruire oggetti e relazioni di senso compiuto... Date delle frasi di
DettagliCorso di Elementi di Informatica Anno accademico 2015/16
Corso di Laurea triennale in Ingegneria Navale in condivisione con Corso di Laurea triennale in Ingegneria Chimica (matr. P-Z) Corso di Elementi di Informatica Anno accademico 2015/16 Docente: Ing. Alessandra
DettagliUniversità degli Studi di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica ALGEBRA BOOLEANA
Università degli Studi di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica ALGEBRA BOOLEANA Introduzione George Boole (1815-1864) nel 1854 elaborò una algebra basata su predicati logici. Valori
DettagliIntroduzione alla logica proposizionale. Unit 2 Corso di Logica
Introduzione alla logica proposizionale Unit 2 Corso di Logica Sommario Forme argomentative Variabili proposizionali Operatori e simboli logici Formalizzazione Regole di formazione Dalle proposizioni alle
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
DettagliPIANO DI LAVORO DEL PROFESSORE
ISTITUTO DI ISTRUZIONE SUPERIORE STATALE IRIS VERSARI - Cesano Maderno (MB) PIANO DI LAVORO DEL PROFESSORE Indirizzo: ISTITUTO TECNICO AMMINISTRAZIONE FINANZA MARKETING MATERIA: MATEMATICA APPLICATA ANNO
DettagliLOGICA PER LA PROGRAMMAZIONE. Franco Turini turini@di.unipi.it
LOGICA PER LA PROGRAMMAZIONE Franco Turini turini@di.unipi.it IPSE DIXIT Si consideri la frase: in un dato campione di pazienti, chi ha fatto uso di droghe pesanti ha utilizzato anche droghe leggere. Quali
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ò
DettagliM.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA INSIEMI
M.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA INSIEMI Assumiamo come primitivo il concetto di insieme e quello di appartenenza di un elemento a un insieme. La notazione x A indica
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 degli Insiemi
Angelica Malaspina Dipartimento di Matematica, Informatica ed Economia Università degli Studi della Basilicata, Italy angelica.malaspina@unibas.it distributive distributive distributive Il concetto di
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
DettagliTutte queste frasi hanno due caratteristiche fondamentali: Sono frasi semplici perché non contengono altra frase come componente;
Il linguaggio della logica Proposizioni semplici e composte Le frasi che formano i discorsi del nostro linguaggio naturale possono essere dichiarative, descrittive, esclamative, interrogative, possono
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
Dettagli2. I condizionali indicativi
2. I condizionali indicativi 2.1. Da un punto di vista logico La semantica è quella branca della linguistica che si occupa del significato delle espressioni che analizza cioè la relazione tra i segni e
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
DettagliMatematica. Corso integrato di. per le scienze naturali ed applicate. Materiale integrativo. Paolo Baiti 1 Lorenzo Freddi 1
Corso integrato di Matematica per le scienze naturali ed applicate Materiale integrativo Paolo Baiti 1 Lorenzo Freddi 1 1 Dipartimento di Matematica e Informatica, Università di Udine, via delle Scienze
DettagliPIANO DI LAVORO DEL PROFESSORE
ISTITUTO DI ISTRUZIONE SUPERIORE STATALE IRIS VERSARI - Cesano Maderno (MB) PIANO DI LAVORO DEL PROFESSORE Indirizzo ISTITUTO TECNICO Amministrazione Finanza e Marketing MATERIA: MATEMATICA APPLICATA ANNO
DettagliPrecorsi di matematica
Precorsi di matematica Francesco Dinuzzo 12 settembre 2005 1 Insiemi Il concetto di base nella matematica moderna è l insieme. Un insieme è una collezione di elementi. Gli elementi di un insieme vengono
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
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...
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. Liceo Giorgione, Castelfranco Veneto 5 aprile 2016
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova Liceo Giorgione, Castelfranco Veneto 5 aprile 2016 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità
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
DettagliISTITUTO D ISTRUZIONE SUPERIORE POLO - LICEO ARTISTICO - VENEZIA PROGRAMMA SVOLTO
ISTITUTO D ISTRUZIONE SUPERIORE POLO - LICEO ARTISTICO - VENEZIA A.S.: 0/05 Classe Sezione Indirizzo: IV B Classico Disciplina: MATEMATICA E INFORMATICA ( h) Docente: Fabiola Frezza PROGRAMMA SVOLTO MODULO/UNITÀ
DettagliDEFINIZIONE DI INSIEME
ELEMENTI DI TEORIA DEGLI INSIEMI PROF.SSA ROSSELLA PISCOPO Indice 1 DEFINIZIONE DI INSIEME ------------------------------------------------------------------------------------------------ 3 2 METODI DI
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: = è = è " = è " = è " = è
DettagliAPPUNTI DI ANALISI MATEMATICA Parte Prima
APPUNTI DI ANALISI MATEMATICA Parte Prima Versione preliminare del 24 settembre 2008 Pierpaolo Omari Dipartimento di Matematica e Informatica Università degli Studi di Trieste Maurizio Trombetta Dipartimento
DettagliLogica. Claudio Sacerdoti Coen 07/10/ : Connotazione, denotazione, invarianza per sostituzione. Universitá di Bologna
Logica 3: Connotazione, denotazione, invarianza per sostituzione Universitá di Bologna 07/10/2015 Outline 1 Connotazione, denotazione, invarianza per sostituzione Connotazione vs
DettagliCAPITOLO PRIMO CENNI DI LOGICA E TEORIA ELEMENTARE DEGLI INSIEMI
CAPITOLO PRIMO CENNI DI LOGICA E TEORIA ELEMENTARE DEGLI INSIEMI 1 Proposizioni e connettivi logici Una proposizione (che sarà generalmente indicata con una lettera corsiva maiuscola A, B,.., P, Q, R,..)
DettagliPARTE PRIMA BREVI RICHIAMI DI TEORIA
PARTE PRIMA BREVI RICHIAMI DI TEORIA 1 CENNI DI LOGICA E TEORIA ELEMENTARE DEGLI INSIEMI 1 Proposizioni e connettivi logici Una proposizione (che sarà generalmente indicata con una lettera corsiva maiuscola
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
DettagliELEMENTI DI ALGEBRA BOOLEANA
ELEMENTI DI ALGEBRA BOOLEANA CONCETTO DI LOGICA: elemento essenziale del pensiero umano. La logica permette all uomo di formulare ragionamenti e di elaborare informazioni. La logica è esprimibile con il
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
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
DettagliI circuiti elementari
I circuiti elementari Nel lavoro diprogrammazione con il computer si fa largo uso della logica delle proposizioni e delle regole dell algebra delle proposizioni o algebra di Boole. L algebra di Boole ha
DettagliDon Bosco, A.S. 2013/14 Compiti per le vacanze - 1C
Don Bosco, A.S. 01/14 Compiti per le vacanze - 1C 1. Rappresenta per elencazione ciascuno dei seguenti insiemi: A { x x è una lettera della parola cattedra } B { x N x < 7 } C { x N x è pari x 10 } D {
DettagliPROGRAMMAZIONE DISCIPLINARE
Modello A2 Istituto d Istruzione Superiore POLO-LICEO ARTISTICO - VEIS02400C VENEZIA Liceo Artistico, Liceo Classico e Musicale Dorsoduro, 1073 30123 Venezia tel. 0415225252, fax 041 2414154 PROGRAMMAZIONE
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
Dettagli