9 / 24
www.
edises
.it
INDICE GENERALE
STUDI0
CAPITOLO
1
|
Elementi di logica proposizionale
e regole d’inferenza
............................................................................................................................................ 3
1.1
•
Logica proposizionale o enunciativa..............................................................................................................................3
1.1.1
•
Tavole di verità, funzioni logiche e matrici....................................................................................................... 4
1.1.2
•
Il prodotto logico...........................................................................................................................................................5
1.1.3
•
La somma logica..........................................................................................................................................................6
1.1.4
•
L’implicazione materiale...........................................................................................................................................7
1.1.5
•
I tre casi implicativi......................................................................................................................................................8
1.1.6
•
L’equivalenza materiale............................................................................................................................................9
1.1.7
•
La valutazione simultanea.................................................................................................................................... 10
1.1.8
•
L’esclusiva........................................................................................................................................................................11
1.1.9
•
L’incompatibilità..........................................................................................................................................................12
1.2
•
Le inferenze e gli indimostrabili di Crisippo.............................................................................................................13
1.2.1
•
Correttezza e validità o fondatezza di un’inferenza.................................................................................15
1.2.2
•
Le regole in logica e la deduzione.....................................................................................................................17
1.2.3
•
Considerazioni finali sulla deduzione............................................................................................................ 19
CAPITOLO
2
|
Elementi di logica dei predicati
.......................................................................21
2.1
•
Logica dei predicati...............................................................................................................................................................21
2.1.1
•
La simbolizzazione e i quantificatori................................................................................................................21
2.1.2
•
Regole sui quantificatori...................................................................................................................................... 22
2.1.3
•
Regola del quantificatore esistenziale..........................................................................................................24
CAPITOLO
3
|
Sillogismi
........................................................................................................................................25
3.1
•
Simbolizzazione.................................................................................................................................................................... 25
3.2
•
Le figure sillogistiche e i modi..................................................................................................................................... 27
CAPITOLO
4
|
Relazioni: maggiore, minore, uguale
...................................................... 39