5 / 22
www.
edises
.it
Prefazione
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ix
Parte I – NOZIONI TEORICHE
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
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9
1.1.6
L!equivalenza materiale
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.1.7
La valutazione simultanea
. . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.1.8
L!esclusiva
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.1.9
L!incompatibilità
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2 Le inferenze e gli indimostrabili di Crisippo . . . . . . . . . . . . . . . . . 15
1.2.1
Correttezza e validità o fondatezza di un!inferenza
. . . . . . . 17
1.2.2
Le regole in logica e la deduzione
. . . . . . . . . . . . . . . . . . . . 19
1.2.3
Considerazioni finali sulla deduzione
. . . . . . . . . . . . . . . . . 23
2 Elementi di logica dei predicati
. . . . . . . . . . . . . . . . . . . . . . .
25
2.1 Logica dei predicati . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.1.1
La simbolizzazione e i quantificatori
. . . . . . . . . . . . . . . . . . 25
Indice generale