LOGICA.

Slides:



Advertisements
Presentazioni simili
Scienza del ragionamento corretto Elaborato da Manuela Mangione
Advertisements

Indice Connettivi logici Condizione sufficiente Condizione necessaria
“ LAUREE SCIENTIFICHE ”
Algebra Booleana Generalità
Sarai ammesso a sociologia o se hai frequentato
D. Menasce1 Queste trasparenze sono disponibili sul sito web dellautore: (selezionare lopzione COURSES) Queste.
I Circuiti Elettrici.
Sommario Nelle lezioni precedenti abbiamo introdotto tutti gli elementi che formano un particolare tipo di linguaggio logico, denominato linguaggio predicativo.
Cos’è la LOGICA?.
Le parti del discorso logico e informatico
Semantica, inferenza e logica
Algebra di Boole.
1 Università della Tuscia - Facoltà di Scienze Politiche.Informatica 2 - a.a Prof. Francesco Donini Condizioni ed istruzioni condizionali.
Intelligenza Artificiale 1 Gestione della conoscenza lezione 8
Sistemi basati su conoscenza Conoscenza e ragionamento Prof. M.T. PAZIENZA a.a
Corso di Informatica (Programmazione)
PROGETTO LAUREE SCIENTIFICHE
LOGICA E MODELLI Logica e modelli nel ragionamento deduttivo A cura di Salvatore MENNITI.
Programmazione Corso di laurea in Informatica
Semantica di Tarski.
Semantica per formule di un linguaggio proposizionale p.9 della dispensa.
Indice: L’algebra di Boole Applicazione dell’algebra di Boole
PRESENTAZIONE DEGLI ARGOMENTI: SIMBOLI GRAFICI E RELATIVE OPERAZIONI LOGICHE TABELLE DI VERITA INTEGRATI DIGITALI DELLE FAMIGLIE TTL E CMOS E LORO RICONOSCIMENTO.
Algebra di Boole L’algebra di Boole è un formalismo che opera su variabili (dette variabili booleane o variabili logiche o asserzioni) che possono assumere.
Intelligenza Artificiale
Introduzione ~ 1850 Boole - De Morgan – Schroeder ALGEBRA BOOLEANA
Tavole di verità con Excel.
La Logica Introduzione Operazioni con le proposizioni La congiunzione
Algebra di Boole … logica matematica Progetto Eracle 2
Logica Matematica Seconda lezione.
Elementi di Logica matematica Prima parte
Si ringraziano per il loro contributo gli alunni della
INFORMATICA MATTEO CRISTANI. INDICE CICLO DELLE LEZIONI LEZ. 1 INTRODUZIONE AL CORSO LEZ. 2 I CALCOLATORI ELETTRONICI LEZ. 3 ELEMENTI DI TEORIA DELL INFORMAZIONE.
Pierdaniele Giaretta Primi elementi di logica
ELEMENTI DI LOGICA.
LA LOGICA Giannuzzi Claudia Stefani Simona
ECDL Patente europea del computer
Linguaggi e Programmazione per l’Informatica Musicale
Congiunzione Disgiunzione Negazione Natalia Visalli.
A cura della Dott.ssa Claudia De Napoli
Introduzione alla LOGICA MATEMATICA
CORSO DI APPROFONDIMENTO
Corso di logica matematica
PRESENTAZIONE DI RAGANATO ROBERTO, BISCONTI GIAMMARCO E
La logica è lo studio del ragionamento.
Logica A.A Francesco orilia
F. Orilia Logica F. Orilia
Algebra di Boole.
Logica F. orilia. Lezz Lunedì 4 Novembre 2013.
Ragionare nel quotidiano
Logica A.A Francesco orilia
Circuiti logici.
La logica Dare un significato preciso alle affermazioni matematiche
LOGICA.
Fondamenti di Informatica1 Memorizzazione su calcolatore L'unità atomica è il bit (BInary DigiT) L'insieme di 8 bit è detta byte Altre forme di memorizzazione:
Rappresentazione dell'informazione
Algebra di Boole L’algebra di Boole è un formalismo che opera su variabili (dette variabili booleane o variabili logiche o asserzioni) che possono assumere.
Rappresentazione in virgola mobile (floating-point) Permette di rappresentare numeri con ordini di grandezza molto differenti utilizzando per la rappresentazione.
Rappresentazione dell'informazione 1 Se ho una rappresentazione in virgola fissa (es. su segno e 8 cifre con 3 cifre alla destra della virgola) rappresento.
Copyright © Istituto Italiano Edizioni Atlas
ELEMENTI DI LOGICA MATEMATICA
La logica degli enunciati interamente realizzata da GIANNUZZI SILVIA
ELEMENTI DI LOGICA del Prof. Giovanni Ianne
LA LOGICA MATEMATICA.
Le proposizioni DEFINIZIONE. La logica è un ramo della matematica che studia le regole per effettuare ragionamenti rigorosi e corretti. DEFINIZIONE. Una.
Logica Lezione 8, DISTRIBUIRE COMPITO 1.
Introduzione alla LOGICA MATEMATICA Corso di Matematica Discreta. Corso di laurea in Informatica. Prof. Luigi Borzacchini II. La logica delle proposizioni.
Logica Lezione 11, Annuncio Non si terrà la lezione di Lunedì 16 Marzo.
Logica Lez. 5, Varzi su affermazione del conseguente Malgrado alcuni esempi di questa forma siano argomentazioni valide, altri non lo sono.
INSIEMI E LOGICA PARTE QUARTA.
Transcript della presentazione:

LOGICA

LA LOGICA COS’E’ LA LOGICA ELEMENTI E OPERAZIONI APPLICAZIONE PRATICA Ecco di cosa parleremo: COS’E’ LA LOGICA ELEMENTI E OPERAZIONI APPLICAZIONE PRATICA A cura degli alunni Mauro Alessandro e Driusso Marco, con il supporto degli insegnanti Donno Mario Carlo e Altan Daniele (Scienze matematiche e fisiche). Anno scol. 2001-2002.

COS’E’ LA LOGICA La LOGICA è una disciplina che si occupa di stabilire le regole per procedere in ragionamenti coerenti e corretti. Nel nostro caso ci occuperemo in particolare della logica matematica o formale, cioè della branca della matematica che studia i concetti e ne stabilisce regole precise.

LE PROPOSIZIONI O ENUNCIATI ELEMENTI E OPERAZIONI LE PROPOSIZIONI O ENUNCIATI Sono delle espressioni discorsive, corrette dal punto di vista sintattico, a cui è possibile assegnare uno ed uno solo dei due valori di verità, vero o falso. Viene indicata con una lettera dell’alfabeto: p: “Sono uno studente” V 1 q: “Un anno ha 1000 giorni” F 0

e corrisponde al connettivo «non». LA NEGAZIONE E’ la proposizione che è vera se l’enunciato di partenza è falso e falsa nell’altro caso. Si indica e corrisponde al connettivo «non». Nel linguaggio informatico è anche indicato NOT o INVERTER. La tavola di verità corrispondente è: Esempio: p: «6 è pari» V non p: «6 non è pari » F

e corrisponde al connettivo «e» anche detto AND. LA CONGIUNZIONE Dati due enunciati, la congiunzione è quella terza proposizione che è vera solo se le due di partenza sono vere. Si indica pq e corrisponde al connettivo «e» anche detto AND. La tavola di verità è la seguente. Esempio: p: “Roma è in Italia” V q: “Il forno raffredda” F pq: “Roma è in Italia e il forno raffredda” F

LA DISGIUNZIONE INCLUSIVA E’ quell’operazione che permette di trovare una terza proposizione che è vera se almeno uno degli enunciati di partenza è vero. Viene indicata: si legge “p vel q” o altrimenti: p OR q Corrisponde al connettivo linguistico «o». Esempio: p: «Pordenone è in Friuli» V q: «Il ghiaccio è caldo» F p  q: «Pordenone è in Friuli o il ghiaccio è caldo » V

LA DISGIUNZIONE ESCLUSIVA La disgiunzione esclusiva è l’operazione binaria che fa corrispondere a due proposizioni p e q la proposizione composta p q che è vera quando è vera una sola delle proposizioni componenti. La disgiunzione esclusiva corrisponde al connettivo “o…o…”(in latino a “aut”) o, nel linguaggio informatico, a “XOR”. La tavola di verità corrispondente è: Esempio: p:”Napoli è in Campania” V q:”Venezia è in Liguria” F p q:”o Napoli è in Campania o Venezia è in Liguria” V

L’IMPLICAZIONE MATERIALE L’implicazione materiale o condizionale è l’operazione binaria che fa corrisponere a due proposizioni p e q la propopsizione composta pq che è sempre vera tranne quando p è vera e q è falsa. L’implicazione materiale corrisponde al connettivo “se…allora”. La tavola di verità corrispondente è: Esempio: p: “Milano è in Lombardia” V q: “Madrid è in Italia” F pq: “Se Milano è in Lombardia allora Madrid è in Italia” F

LA DOPPIA IMPLICAZIONE La doppia implicazione materiale o bicondizionale è l’operazione binaria che fa corrispondere a due proposizioni p e q la proposizone composta pq che è vera quando p e q sono entrambe vere o entrambe false. La doppia implicazione materiale corisponde al connettivo “...se e solo se…” o, nel linguaggio informatico, a “NOT XOR”. La tavola di verità corrispondente è: Esempio: p:”Genova è in Liguria” V q:”Il monte Bianco è in Sicilia” F pq:”Genova è in Liguria se e solo se il monte Bianco è in Sicilia” F

Ecco alcuni esempi di tautologie: Si definisce tautologia una proposizione composta che risulta sempre vera, indipendentemente dai valori di verità delle proposizioni componenti. Ecco alcuni esempi di tautologie: Principio del Terzo Escluso. Esempio: è sempre vero che cammino o non cammino. Principio di non contraddizione. Esempio: non può essere vero che piove e (contemporaneamente) non piove.

CONTRADDIZIONI Si definisce contraddizione una proposizione composta sempre falsa, indipendentemente dai valori di verità delle proposizioni componenti. La proposizione p p è una contraddizione perché è sempre falsa, come si può vedere nella corrispondente tabella di verità. Esempio: è sempre falso che piove e (contemporaneamente) non piove

APPLICAZIONE PRATICA Abbiamo realizzato un test per porte logiche, la Tavola della Verità visiva LX.5022, che offre un supporto visivo per sperimentare gli operatori logici. Dati i valori di verità delle due proposizioni di partenza (una per il NOT), verrà visualizzato tramite led il valore dell’enunciato risultato (acceso = Vero). Le tre porte logiche utilizzate sono i chips: 7400 al cui interno ci sono 4 NAND (NOT AND) 7402 al cui interno ci sono 4 NOR (NOT OR) 7486 al cui interno ci sono 4 XOR Ovviamente esse non lavoreranno più su ‘proposizioni’, ma su livelli logici digitali: 1 =5 volt (V) e 0 =0 volt (F)

… e gli interruttori che ci permetteranno di introdurre i dati ... Ecco i tre integrati che costituiscono il “cuore” della Tavola di Verità visiva... … e gli interruttori che ci permetteranno di introdurre i dati ... … infine i led che ci mostreranno il valore delle proposizioni risultanti (acceso = V)

Dopo la realizzazione del circuito e l’assemblaggio nel contenitore...

… ecco i risultati!!!!!

PROVATELO ANCHE VOI !!!!!!!

GRAZIE PER LA VS ATTENZIONE Rivedi Presentazione Rivedi “Applicazione Pratica” La presentazione finirà automaticamente dopo un minuto e mezzo.