Congiunzione Disgiunzione Negazione Natalia Visalli.

Slides:



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

Indice Connettivi logici Condizione sufficiente Condizione necessaria
“ LAUREE SCIENTIFICHE ”
LOGICA.
Algebra Booleana Generalità
Appunti di Logica Binaria
Cos’è la LOGICA?.
La comunicazione.
Le parti del discorso logico e informatico
1 Università della Tuscia - Facoltà di Scienze Politiche.Informatica 2 - a.a Prof. Francesco Donini Condizioni ed istruzioni condizionali.
Sistemi basati su conoscenza Conoscenza e ragionamento Prof. M.T. PAZIENZA a.a
Intelligenza Artificiale 1 Gestione della conoscenza lezione 7 Prof. M.T. PAZIENZA a.a
Intelligenza Artificiale 1 Gestione della conoscenza lezione 8
Sistemi basati su conoscenza Conoscenza e ragionamento Prof. M.T. PAZIENZA a.a
Introduzione alla programmazione
Corso di Informatica (Programmazione)
PROGETTO LAUREE SCIENTIFICHE
Scuola Secondaria di 1° Grado - Classe I F - Favara
Introduzione alla programmazione ll
LOGICA E MODELLI Logica e modelli nel ragionamento deduttivo A cura di Salvatore MENNITI.
Semantica di Tarski.
Semantica per formule di un linguaggio proposizionale p.9 della dispensa.
Unità Didattica 1 Algoritmi
Indice: L’algebra di Boole Applicazione dell’algebra di Boole
Introduzione ~ 1850 Boole - De Morgan – Schroeder ALGEBRA BOOLEANA
1 Elementi di calcolo proposizionale Marco Maratea INF Teoria Gruppo 7 Corso G.
Tavole di verità con Excel.
La Logica Introduzione Operazioni con le proposizioni La congiunzione
Algebra di Boole … logica matematica Progetto Eracle 2
Elementi di Logica matematica Prima parte
Algebra di Boole.
Nozioni di logica matematica
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
Il modello relazionale (II). Informazione incompleta e valori nulli In una tupla di una relazione un attributo può non avere valore Per esempio: Mario.
La logica di Frege Come sapete Frege è stato il maestro riconosciuto e ammirato da Wittgenstein (“le grandiose opere di Frege” dice nel Tractatus.
Modelli di ragionamento
Introduzione alla LOGICA MATEMATICA
CORSO DI APPROFONDIMENTO
Corso di logica matematica
PRESENTAZIONE DI RAGANATO ROBERTO, BISCONTI GIAMMARCO E
La logica è lo studio del ragionamento.
Fil Ling
Algebra di Boole.
Logica Lezioni Lunedì 18 Nov. Annuncio E' possibile che dovrò rinviare delle lezioni della prossima settimana. Tenete d'occhio gli annunci.
Logica F. orilia. Lezz Lunedì 4 Novembre 2013.
Ragionare nel quotidiano
Logica A.A Francesco orilia
La logica Dare un significato preciso alle affermazioni matematiche
LOGICA.
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 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
Aristotele Poi ch’innalzai un poco più le ciglia,
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.
Operatori logici.
Insiemi e logica Insiemi e operazioni insiemistiche
Transcript della presentazione:

Congiunzione Disgiunzione Negazione Natalia Visalli

Pomeriggio libero……… ? ? ? ? ?

Nessun problema, prima mi alleno un poco e poi vado a vedere un film Mamma, vado in palestra e al cinema

Ops… gli orari coincidono Mamma, vado in palestra oppure al cinema

Potrei… gli orari non coincidono, ma se poi sono troppo stanco? Mamma, vado in palestra oppure al cinema, ma forse farò entrambe le cose

e Hanno significati diversi vado in palestra vado al cinema Le frasi: vado in palestra e al cinema vado in palestra oppure al cinema vado in palestra oppure al cinema, ma forse farò entrambe le cose e Hanno significati diversi e vado in palestra vado al cinema Indica che si compieranno entrambe le azioni

oppure Hanno significati diversi vado in palestra vado al cinema Le frasi: vado in palestra e al cinema vado in palestra oppure al cinema vado in palestra oppure al cinema, ma forse farò entrambe le cose oppure Hanno significati diversi oppure vado in palestra vado al cinema Indica che si compierà solo una delle due azioni

ma anche entrambe le cose Le frasi: vado in palestra e al cinema vado in palestra oppure al cinema vado in palestra oppure al cinema, ma forse farò entrambe le cose oppure entrambe le cose Hanno significati diversi oppure vado in palestra vado al cinema ma anche entrambe le cose Indica che si compierà o un’azione o l’altra o entrambe

Farà una sola o entrambe le attività? Le frasi: vado in palestra e al cinema vado in palestra oppure al cinema vado in palestra oppure al cinema, ma forse farò entrambe le cose descrivono tre diverse situazioni nel linguaggio naturale. Non sempre però la traduzione del pensiero in parole è inequivocabile L’informazione Mamma, vado in palestra o al cinema Farà una sola o entrambe le attività? Può lasciare qualche dubbio alla mamma:

Per evitare gli equivoci che possono essere determinati dall’uso della lingua naturale è opportuno costruire un linguaggio artificiale preciso non ambiguo

Il primo passo verso la costruzione di un linguaggio artificiale è il concetto di proposizione elementare Una proposizione è un’ espressione di un linguaggio che può essere vera (V) oppure falsa (F) Le proposizioni sono considerate indipendentemente dalla loro struttura e non se ne considera il loro significato. L’unico significato che le proposizioni possono assumere è: vero e falso.

Si possono costruire proposizioni composte collegando due o più proposizioni semplici Si possono definire operazioni sulle proposizioni che permettono di ottenerne nuove a partire da quelle date Tali operazioni si chiamano operazioni logiche e si indicano con segni detti Connettivi logici

~   Operazioni logiche Connettivo logico Connettivo Lingua italiana A tali connettivi ne corrispondono alcuni della lingua italiana e della lingua inglese I connettivi logici non vanno identificati con i loro corrispondenti nei linguaggi naturali Operazioni logiche Connettivo logico Connettivo Lingua italiana Lingua inglese Negazione ~ non not Congiunzione  e and Disgiunzione  o or

A partire dalle proposizioni semplici, senza preoccuparci di stabilire se siano vere o false, con l’uso dei connettivi logici si possono formare proposizioni composte La logica delle proposizioni definisce regole mediante le quali si può stabilire la verità o la falsità di una proposizione composta per ogni valore di verità delle sue proposizioni componenti Queste regole vengono descritte dalle cosiddette tavole di verità dei connettivi logici, nelle quali si considerano tutti i possibili valori di verità delle proposizioni e, in corrispondenza di ciascuno di essi, si definisce il valore di verità delle proposizioni composte

La negazione logica ~ p ~ p V F Il connettivo ~ corrisponde alla negazione “non” nella lingua italiana e “not” nella lingua inglese Indicando con p una proposizione semplice La definizione di valore di verità di ~ p per ciascuna delle due possibilità è espressa dalla seguente tavola di verità: p ~ p V F

La negazione logica cambia il valore di verità della proposizione

La congiunzione logica  Il connettivo  corrisponde, in genere, alla congiunzione “e” nella lingua italiana e “and” nella lingua inglese Indicando con p e q due proposizioni semplici La tavola di verità deve riportare i valori di verità di p  q per quatto casi possibili: p q p  q V F

La congiunzione di due proposizioni è vera solo quando le due proposizioni componenti sono entrambe vere E’ falsa in tutti gli altri casi

La disgiunzione logica  Il connettivo  corrisponde, in genere, al connettivo “o” nella lingua italiana e “or” nella lingua inglese Indicando con p e q due proposizioni semplici La tavola di verità deve riportare i valori di verità di p  q per quatto casi possibili: p q p  q V F

La disgiunzione di due proposizioni è vera tranne nel caso in cui le due proposizioni componenti sono entrambe false

Le frasi: vado in palestra e al cinema vado in palestra o al cinema Sono proposizioni composte, formate dalle proposizioni: vado in palestra vado al cinema

e corrisponde alla congiunzione: p io vado al cinema Mamma, vado in palestra e al cinema Indica che si compieranno entrambe le azioni e corrisponde alla congiunzione: p io vado al cinema q io vado in palestra p  q io vado al cinema e io vado in palestra La congiunzione è vera se entrambe le proposizioni sono vere

e corrisponde alla disgiunzione: p io vado al cinema Mamma, vado in palestra o al cinema Indica che si compierà o un’azione o l’altra o entrambe e corrisponde alla disgiunzione: p io vado al cinema q io vado in palestra p  q io vado al cinema o io vado in palestra La disgiunzione è vera se una delle proposizioni è vera o se entrambe le proposizioni sono vere