Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword or section
Like this
2Activity

Table Of Contents

0 of .
Results for:
No results containing your search query
P. 1
Appunti Di Logica Matematica Di Silvio Valentini

Appunti Di Logica Matematica Di Silvio Valentini

Ratings: (0)|Views: 46 |Likes:
Published by paolo1499
Università di Padova
Università di Padova

More info:

Categories:Types, School Work
Published by: paolo1499 on Nov 16, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

02/21/2014

pdf

text

original

 
Appunti di Logica Matematica
Silvio Valentini
versione provvisoria e incompleta19 dicembre 2012
 
ii
 
Indice
1 Introduzione 12 La nozione di verit`a 3
2.1 Un esempio matematico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32.2 Ancora un esempio matematico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32.3 Cera un monaco buddista ... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42.4 Un ultimo esempio matematico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52.5 Il gioco del HEX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62.6 Un esempio taoista . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3 Lapproccio classico e quello intuizionista 9
3.1 Un podi proposizioni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103.1.1 Proposizioni atomiche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113.1.2 I connettivi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123.2 Facciamo parlare assieme un classico e un intuizionista . . . . . . . . . . . . . . . . 153.3 Un linguaggio formale per scrivere di matematica ... . . . . . . . . . . . . . . . . . 163.4 I quanticatori . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173.4.1 Il quanticatore universale . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173.4.2 Il quanticatore esistenziale . . . . . . . . . . . . . . . . . . . . . . . . . . . 183.5 La descrizione di una struttura matematica . . . . . . . . . . . . . . . . . . . . . . 193.5.1 Il problema della descrizione di una struttura . . . . . . . . . . . . . . . . . 203.5.2 Le strutture descritte da un insieme di proposizioni . . . . . . . . . . . . . . 22
4 Regole per ragionare 25
4.1 Le regole logiche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 254.1.1 Gli assiomi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 254.1.2 Congiunzione . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 264.1.3 Disgiunzione . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 274.1.4 Trattare con
 ⊥
 e
 
 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 284.1.5 Implicazione . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 284.1.6 Negazione . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 294.1.7 I quanticatori . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 294.2 Regole per la proposizione
 Id
 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
5 La struttura della verit`a 33
5.1 Reticoli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345.2 Algebre di Boole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 365.2.1 Le tabelline di verit`a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 375.3 Algebre di Heyting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 385.4 Relazioni tra algebre di Boole e algebre di Heyting . . . . . . . . . . . . . . . . . . 405.5 Algebre di Boole e di Heyting complete . . . . . . . . . . . . . . . . . . . . . . . . 41

Activity (2)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->