INDICE

PRIMA PARTE

1 INSIEMI
1.1 Definizioni e concetti fondamentali	1
1.2 Relazioni tra insiemi	5
1.3 Intersezione di insiemi	7
1.4 Unione di insiemi	8
1.5 Operazioni tra più di due insiemi	10
1.6 Differenza tra insiemi	17
2 Dagli insiemi alla logica
2.1 Implicazioni	21
2.2 Identità tra insiemi	22
2.3 Ipotesi e tesi	32
3 Elementi di logica proposizionale	41
4 Sottoinsiemi	53
5 Relazioni d’ordine e d’equivalenza	61
6 Applicazioni	69

SECONDA PARTE

1 CENNI SULLA CARDINALITà	79
2 SUCCESSIONI E FAMIGLIE	97
3 I TEOREMI E LE LORO DIMOSTRAZIONI
3.1 Enunciati	101
3.2 Dimostrazioni dirette	104
3.3 Dimostrazioni indirette
3.3.1 Dimostrazioni indirette “a contrario”	105
3.3.2 Dimostrazioni indirette “per assurdo”	106
4 IL PRINCIPIO d’INduzione	113
5 definizioni RICORSIVE	129
APPENDICE
1. L’insieme R non è numerabile.	139
2. L’insieme P(N) ha cardinalità À.	141
3. Dimostrazione della formula del binomio di Newton.	142