SlideShare a Scribd company logo
1 of 19
2.  I connettivi booleani Parte III: un linguaggio simbolico
Sommario ,[object Object],[object Object]
I connettivi booleani ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
La negazione ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Condizioni di verità della negazione ,[object Object],[object Object],[object Object],   1 0 0 1
La congiunzione ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Uso di più connettivi diversi ,[object Object],[object Object],[object Object]
Condizioni di verità della congiunzione ,[object Object],[object Object],    [        ] 0 0 0 1 0  0 0  1 1  0 1  1
La disgiunzione ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Condizioni di verità della disgiunzione ,[object Object],[object Object],    [        ] 0 1 1 1 0  0 0  1 1  0 1  1
Il condizionale ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Il condizionale materiale ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Condizioni di verità del condizionale ,[object Object],[object Object],    [        ] 1 1 0 1 0  0 0  1 1  0 1  1
Il bicondizionale ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Condizioni di verità del bicondizionale ,[object Object],[object Object],[object Object],[object Object],    [        ] 1 0 0 1 0  0 0  1 1  0 1  1
Valutazione di una formula complessa ,[object Object],[object Object],[object Object],[object Object],[object Object],I  P  N 1  0  1 [P    N] 1 [I    [P    N]] 1
Equivalenze ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Dimostrazione di una equivalenza ,[object Object],[object Object],[object Object],    [        ] 1 1 0 1 0  0 0  1 1  0 1  1   1 1 0 0 [         ] 1 1 0 1
Concetti importanti ,[object Object],[object Object],[object Object],[object Object]

More Related Content

Viewers also liked

Creative commons internet
Creative commons internetCreative commons internet
Creative commons internetMassimo Sogni
 
La didattica nel tempo di Google
La didattica nel tempo di GoogleLa didattica nel tempo di Google
La didattica nel tempo di GoogleRoberto Polillo
 
I Linguaggi Del Web (2° Giornata)
I Linguaggi Del  Web (2°  Giornata)I Linguaggi Del  Web (2°  Giornata)
I Linguaggi Del Web (2° Giornata)Diego La Monica
 
La ricerca dei contenuti multimediali tramite Google
La ricerca dei contenuti multimediali tramite GoogleLa ricerca dei contenuti multimediali tramite Google
La ricerca dei contenuti multimediali tramite Googlerobertads90
 
Creative Commons
Creative CommonsCreative Commons
Creative Commonsguestbeb8a1
 
Gli attrezzi del mestiere del ricercatore
Gli attrezzi del mestiere del ricercatoreGli attrezzi del mestiere del ricercatore
Gli attrezzi del mestiere del ricercatorechisacercarevalontano
 
CFP-UPT tutorial - Creative Commons Licence - 02
CFP-UPT tutorial - Creative Commons Licence - 02CFP-UPT tutorial - Creative Commons Licence - 02
CFP-UPT tutorial - Creative Commons Licence - 02cfpuptweb
 
Creative Commons Italia - CCIT2005 - Polimetrica
Creative Commons Italia - CCIT2005 - PolimetricaCreative Commons Italia - CCIT2005 - Polimetrica
Creative Commons Italia - CCIT2005 - Polimetricagiovannisica
 
Information Literacy for the Google Generation
Information Literacy for the Google GenerationInformation Literacy for the Google Generation
Information Literacy for the Google GenerationTeresa S. Welsh
 
Le nuove tecnologie nei servizi bibliotecari. La biblioteca e la lettura a co...
Le nuove tecnologie nei servizi bibliotecari. La biblioteca e la lettura a co...Le nuove tecnologie nei servizi bibliotecari. La biblioteca e la lettura a co...
Le nuove tecnologie nei servizi bibliotecari. La biblioteca e la lettura a co...Biblioragazzi-blog
 
Comunicare La Biblioteca Ai Tempi Del Web20 Prima Giornata
Comunicare La Biblioteca Ai Tempi Del Web20 Prima GiornataComunicare La Biblioteca Ai Tempi Del Web20 Prima Giornata
Comunicare La Biblioteca Ai Tempi Del Web20 Prima GiornataBiblioragazzi-blog
 
Corso 2013-14 Logica e ampliamento della conoscenza
Corso 2013-14 Logica e ampliamento della conoscenzaCorso 2013-14 Logica e ampliamento della conoscenza
Corso 2013-14 Logica e ampliamento della conoscenzaLogic & Knowledge
 
Tutti in rete! il web, tra rischi e risorse. Alcuni spunti per una buona navi...
Tutti in rete! il web, tra rischi e risorse. Alcuni spunti per una buona navi...Tutti in rete! il web, tra rischi e risorse. Alcuni spunti per una buona navi...
Tutti in rete! il web, tra rischi e risorse. Alcuni spunti per una buona navi...Sonia Bertinat
 
4 Algebra Di Boole
4   Algebra Di Boole4   Algebra Di Boole
4 Algebra Di Booleguest60e9511
 

Viewers also liked (20)

Anatomia motori ricerca
Anatomia motori ricercaAnatomia motori ricerca
Anatomia motori ricerca
 
Creative commons internet
Creative commons internetCreative commons internet
Creative commons internet
 
La didattica nel tempo di Google
La didattica nel tempo di GoogleLa didattica nel tempo di Google
La didattica nel tempo di Google
 
I Linguaggi Del Web (2° Giornata)
I Linguaggi Del  Web (2°  Giornata)I Linguaggi Del  Web (2°  Giornata)
I Linguaggi Del Web (2° Giornata)
 
Labs2008 Google
Labs2008 GoogleLabs2008 Google
Labs2008 Google
 
La ricerca dei contenuti multimediali tramite Google
La ricerca dei contenuti multimediali tramite GoogleLa ricerca dei contenuti multimediali tramite Google
La ricerca dei contenuti multimediali tramite Google
 
Creative Commons
Creative CommonsCreative Commons
Creative Commons
 
Gli attrezzi del mestiere del ricercatore
Gli attrezzi del mestiere del ricercatoreGli attrezzi del mestiere del ricercatore
Gli attrezzi del mestiere del ricercatore
 
CFP-UPT tutorial - Creative Commons Licence - 02
CFP-UPT tutorial - Creative Commons Licence - 02CFP-UPT tutorial - Creative Commons Licence - 02
CFP-UPT tutorial - Creative Commons Licence - 02
 
Creative Commons Italia - CCIT2005 - Polimetrica
Creative Commons Italia - CCIT2005 - PolimetricaCreative Commons Italia - CCIT2005 - Polimetrica
Creative Commons Italia - CCIT2005 - Polimetrica
 
Ascoltare la rete_tips_tricks
Ascoltare la rete_tips_tricksAscoltare la rete_tips_tricks
Ascoltare la rete_tips_tricks
 
Uso Avanzato Motori Ricerca
Uso Avanzato Motori RicercaUso Avanzato Motori Ricerca
Uso Avanzato Motori Ricerca
 
Google fin dove può arrivare - Andrea Boscaro
Google fin dove può arrivare - Andrea BoscaroGoogle fin dove può arrivare - Andrea Boscaro
Google fin dove può arrivare - Andrea Boscaro
 
Information Literacy for the Google Generation
Information Literacy for the Google GenerationInformation Literacy for the Google Generation
Information Literacy for the Google Generation
 
Le nuove tecnologie nei servizi bibliotecari. La biblioteca e la lettura a co...
Le nuove tecnologie nei servizi bibliotecari. La biblioteca e la lettura a co...Le nuove tecnologie nei servizi bibliotecari. La biblioteca e la lettura a co...
Le nuove tecnologie nei servizi bibliotecari. La biblioteca e la lettura a co...
 
Biblioteche E Generazione.Net
Biblioteche E Generazione.NetBiblioteche E Generazione.Net
Biblioteche E Generazione.Net
 
Comunicare La Biblioteca Ai Tempi Del Web20 Prima Giornata
Comunicare La Biblioteca Ai Tempi Del Web20 Prima GiornataComunicare La Biblioteca Ai Tempi Del Web20 Prima Giornata
Comunicare La Biblioteca Ai Tempi Del Web20 Prima Giornata
 
Corso 2013-14 Logica e ampliamento della conoscenza
Corso 2013-14 Logica e ampliamento della conoscenzaCorso 2013-14 Logica e ampliamento della conoscenza
Corso 2013-14 Logica e ampliamento della conoscenza
 
Tutti in rete! il web, tra rischi e risorse. Alcuni spunti per una buona navi...
Tutti in rete! il web, tra rischi e risorse. Alcuni spunti per una buona navi...Tutti in rete! il web, tra rischi e risorse. Alcuni spunti per una buona navi...
Tutti in rete! il web, tra rischi e risorse. Alcuni spunti per una buona navi...
 
4 Algebra Di Boole
4   Algebra Di Boole4   Algebra Di Boole
4 Algebra Di Boole
 

More from Emanuele Della Valle

Taming velocity - a tale of four streams
Taming velocity - a tale of four streamsTaming velocity - a tale of four streams
Taming velocity - a tale of four streamsEmanuele Della Valle
 
Work in progress on Inductive Stream Reasoning
Work in progress on Inductive Stream ReasoningWork in progress on Inductive Stream Reasoning
Work in progress on Inductive Stream ReasoningEmanuele Della Valle
 
Knowledge graphs in search engines
Knowledge graphs in search enginesKnowledge graphs in search engines
Knowledge graphs in search enginesEmanuele Della Valle
 
La città dei balocchi 2017 in numeri - Fluxedo
La città dei balocchi 2017 in numeri - FluxedoLa città dei balocchi 2017 in numeri - Fluxedo
La città dei balocchi 2017 in numeri - FluxedoEmanuele Della Valle
 
Stream Reasoning: a summary of ten years of research and a vision for the nex...
Stream Reasoning: a summary of ten years of research and a vision for the nex...Stream Reasoning: a summary of ten years of research and a vision for the nex...
Stream Reasoning: a summary of ten years of research and a vision for the nex...Emanuele Della Valle
 
ACQUA: Approximate Continuous Query Answering over Streams and Dynamic Linked...
ACQUA: Approximate Continuous Query Answering over Streams and Dynamic Linked...ACQUA: Approximate Continuous Query Answering over Streams and Dynamic Linked...
ACQUA: Approximate Continuous Query Answering over Streams and Dynamic Linked...Emanuele Della Valle
 
Stream reasoning: an approach to tame the velocity and variety dimensions of ...
Stream reasoning: an approach to tame the velocity and variety dimensions of ...Stream reasoning: an approach to tame the velocity and variety dimensions of ...
Stream reasoning: an approach to tame the velocity and variety dimensions of ...Emanuele Della Valle
 
Big Data: how to use it to create value
Big Data: how to use it to create valueBig Data: how to use it to create value
Big Data: how to use it to create valueEmanuele Della Valle
 
Listening to the pulse of our cities with Stream Reasoning (and few more tech...
Listening to the pulse of our cities with Stream Reasoning (and few more tech...Listening to the pulse of our cities with Stream Reasoning (and few more tech...
Listening to the pulse of our cities with Stream Reasoning (and few more tech...Emanuele Della Valle
 
Ist16-03 An Introduction to the Semantic Web
Ist16-03 An Introduction to the Semantic Web Ist16-03 An Introduction to the Semantic Web
Ist16-03 An Introduction to the Semantic Web Emanuele Della Valle
 
Ist16-02 HL7 from v2 (syntax) to v3 (semantics)
Ist16-02 HL7 from v2 (syntax) to v3 (semantics)Ist16-02 HL7 from v2 (syntax) to v3 (semantics)
Ist16-02 HL7 from v2 (syntax) to v3 (semantics)Emanuele Della Valle
 
IST16-01 - Introduction to Interoperability and Semantic Technologies
IST16-01 - Introduction to Interoperability and Semantic TechnologiesIST16-01 - Introduction to Interoperability and Semantic Technologies
IST16-01 - Introduction to Interoperability and Semantic TechnologiesEmanuele Della Valle
 
Stream reasoning: mastering the velocity and the variety dimensions of Big Da...
Stream reasoning: mastering the velocity and the variety dimensions of Big Da...Stream reasoning: mastering the velocity and the variety dimensions of Big Da...
Stream reasoning: mastering the velocity and the variety dimensions of Big Da...Emanuele Della Valle
 
Listening to the pulse of our cities fusing Social Media Streams and Call Dat...
Listening to the pulse of our cities fusing Social Media Streams and Call Dat...Listening to the pulse of our cities fusing Social Media Streams and Call Dat...
Listening to the pulse of our cities fusing Social Media Streams and Call Dat...Emanuele Della Valle
 
Social listener-brera-design-district-2015-03
Social listener-brera-design-district-2015-03Social listener-brera-design-district-2015-03
Social listener-brera-design-district-2015-03Emanuele Della Valle
 
City Data Fusion for Event Management (in Italiano)
City Data Fusion for Event Management (in Italiano)City Data Fusion for Event Management (in Italiano)
City Data Fusion for Event Management (in Italiano)Emanuele Della Valle
 

More from Emanuele Della Valle (20)

Taming velocity - a tale of four streams
Taming velocity - a tale of four streamsTaming velocity - a tale of four streams
Taming velocity - a tale of four streams
 
Stream reasoning
Stream reasoningStream reasoning
Stream reasoning
 
Work in progress on Inductive Stream Reasoning
Work in progress on Inductive Stream ReasoningWork in progress on Inductive Stream Reasoning
Work in progress on Inductive Stream Reasoning
 
Big Data and Data Science W's
Big Data and Data Science W'sBig Data and Data Science W's
Big Data and Data Science W's
 
Knowledge graphs in search engines
Knowledge graphs in search enginesKnowledge graphs in search engines
Knowledge graphs in search engines
 
La città dei balocchi 2017 in numeri - Fluxedo
La città dei balocchi 2017 in numeri - FluxedoLa città dei balocchi 2017 in numeri - Fluxedo
La città dei balocchi 2017 in numeri - Fluxedo
 
Stream Reasoning: a summary of ten years of research and a vision for the nex...
Stream Reasoning: a summary of ten years of research and a vision for the nex...Stream Reasoning: a summary of ten years of research and a vision for the nex...
Stream Reasoning: a summary of ten years of research and a vision for the nex...
 
ACQUA: Approximate Continuous Query Answering over Streams and Dynamic Linked...
ACQUA: Approximate Continuous Query Answering over Streams and Dynamic Linked...ACQUA: Approximate Continuous Query Answering over Streams and Dynamic Linked...
ACQUA: Approximate Continuous Query Answering over Streams and Dynamic Linked...
 
Stream reasoning: an approach to tame the velocity and variety dimensions of ...
Stream reasoning: an approach to tame the velocity and variety dimensions of ...Stream reasoning: an approach to tame the velocity and variety dimensions of ...
Stream reasoning: an approach to tame the velocity and variety dimensions of ...
 
Big Data: how to use it to create value
Big Data: how to use it to create valueBig Data: how to use it to create value
Big Data: how to use it to create value
 
Listening to the pulse of our cities with Stream Reasoning (and few more tech...
Listening to the pulse of our cities with Stream Reasoning (and few more tech...Listening to the pulse of our cities with Stream Reasoning (and few more tech...
Listening to the pulse of our cities with Stream Reasoning (and few more tech...
 
Ist16-04 An introduction to RDF
Ist16-04 An introduction to RDF Ist16-04 An introduction to RDF
Ist16-04 An introduction to RDF
 
Ist16-03 An Introduction to the Semantic Web
Ist16-03 An Introduction to the Semantic Web Ist16-03 An Introduction to the Semantic Web
Ist16-03 An Introduction to the Semantic Web
 
Ist16-02 HL7 from v2 (syntax) to v3 (semantics)
Ist16-02 HL7 from v2 (syntax) to v3 (semantics)Ist16-02 HL7 from v2 (syntax) to v3 (semantics)
Ist16-02 HL7 from v2 (syntax) to v3 (semantics)
 
IST16-01 - Introduction to Interoperability and Semantic Technologies
IST16-01 - Introduction to Interoperability and Semantic TechnologiesIST16-01 - Introduction to Interoperability and Semantic Technologies
IST16-01 - Introduction to Interoperability and Semantic Technologies
 
Stream reasoning: mastering the velocity and the variety dimensions of Big Da...
Stream reasoning: mastering the velocity and the variety dimensions of Big Da...Stream reasoning: mastering the velocity and the variety dimensions of Big Da...
Stream reasoning: mastering the velocity and the variety dimensions of Big Da...
 
On Stream Reasoning
On Stream ReasoningOn Stream Reasoning
On Stream Reasoning
 
Listening to the pulse of our cities fusing Social Media Streams and Call Dat...
Listening to the pulse of our cities fusing Social Media Streams and Call Dat...Listening to the pulse of our cities fusing Social Media Streams and Call Dat...
Listening to the pulse of our cities fusing Social Media Streams and Call Dat...
 
Social listener-brera-design-district-2015-03
Social listener-brera-design-district-2015-03Social listener-brera-design-district-2015-03
Social listener-brera-design-district-2015-03
 
City Data Fusion for Event Management (in Italiano)
City Data Fusion for Event Management (in Italiano)City Data Fusion for Event Management (in Italiano)
City Data Fusion for Event Management (in Italiano)
 

IC2008 Connettivi Booleani

  • 1. 2. I connettivi booleani Parte III: un linguaggio simbolico
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.
  • 18.
  • 19.