Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
3Activity
0 of .
Results for:
No results containing your search query
P. 1
Introduzione alla logica elementare by Università di Milano

Introduzione alla logica elementare by Università di Milano

Ratings: (0)|Views: 42 |Likes:
Published by paolo1499
Appunti corso di logica elementare e logica matematica dell'Università degli studi di Milano
Appunti corso di logica elementare e logica matematica dell'Università degli studi di Milano

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

01/26/2014

pdf

text

original

 
UNIVERSITÀ DEGLI STUDI DI MILANODipartimento di Scienze dell’Informazione
Dispensa ad uso del corso di Logica Matematica
Introduzione alla Logica Elementare
 
Osservazione.
 Questi appunti sono destinati ad un uso didattico in corsi di base perstudenti delle lauree triennali di classe Informatica. Rappresentano una versione rivista esemplificata della dispensa in formato elettronico
 Corso Propedeutico di Logica 
 (a cura diM. Franchella, S. Ghilardi, L. Sacchetti) utilizzata fino all’anno accademico 2005-06.
1
Atale dispensa si rimanda per le dimostrazioni dei teoremi di validità e completezza (nonobbligatorie per la preparazione dell’esame). Questi appunti trattano
 esclusivamente la parte relativa ai tableaux per la logica elementare 
 e contengono già una sufficiente quantitàdi esercizi (svolti e non svolti); qualora li ritenesse insufficienti, lo studente potrà ritirareulteriore materiale manoscritto presso la libreria CLUED di via Celoria (tale materialemanoscritto sarà pronto a fine corso).
La presente versione di questa dispensa porta la data data del 
 5 marzo 2007
.
1
Gli studenti che intendano continuare a prepararsi su detta dispensa
 possono liberamente farlo
. In par-ticolare,
 non c’è nessun obbligo
 di utilizzare all’esame il calcolo presentato in questa dispensa a preferenzadel calcolo dei sequenti presentato nella vecchia dispensa.
1
 
Indice
2.1 Motivazioni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42.2 Segnature, Termini e Formule . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.1 La Nozione di Struttura . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123.2 La Nozione di Veri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133.3 Teorie, Modelli e Conseguenza Logica . . . . . . . . . . . . . . . . . . . . . 15
5.1 Ricerca di Refutazioni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 215.2 Ricerca di Modelli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275.3 Ulteriori Esempi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 332

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)//-->