3.7 Exercices 59
4 Validité et modèles 62
4.1 Notion de validité 62
4.2 Notion de thèse 62
4.3 Modèles. Conséquences 66
4.4 Axiomatisation des classes des structures 68
4.5 Exercices 74
II ETUDE DE LA DEDUCTION
Chapitre III Théorie de la déduction 83
1 Définition de la déduction à partir d'un ensemble d'hypothèses 83
1.1 Les arguments valides 83
1.2 Quelques cas de déduction immédiate 84
1.3 Quelques types de thèses: les axiomes logiques 86
1.4 Le concept de démonstration 89
1.5 La propriété de compatibilité sémantique 92
1.6 Exercices 93
2 Quelques règles dérivées 94
2.1 Le théorème de la déduction 94
2.2 Les principes de généralisation 98
2.3 Le principe général de substitution 101
2.4 Exercices 102
3 Formules synonymes 103
3.1 Notion de synonymie 103
3.2 Changement des variables liées 104
3.3 Propriétés des quantificateurs 106
3.4 Exercices 108
4 Notion de théorie formelle 109
4.1 Axiomatisation et formalisation 109
4.2 Exemples 110
4.3 Notion de compatibilité 114
4.4 Notion de théorie complète 116
4.5 Comparaison des théories 117
4.6 Exercices 119
Appendice I Une théorie des ensembles 124
1 Les axiomes de la théorie 124
1.1 Le langage 124
1.2 Les axiomes 125
1.3 Une visite guidée des axiomes précédents 125
2 La reconstruction des mathématiques 127
2.1 Les ensembles fondamentaux 127
2.2 Les concepts de relation et de fonction 127
2.3 Le rôle de la théorie des ensembles 128
Chapitre IV La complétude sémantique 129
1 Le théorème fondamental de la logique du premier ordre 129
1.1 Sous-formules 129
1.2 Clôture d'un ensemble d'énoncés 130
1.3 P-compatibilité 132
1.4 Le théorème fondamental 135
2 Deux applications fondamentales 138
2.1 Le théorème de complétude sémantique 138
2.2 Le lemme d'interpolation (ou lemme de Craig) 139
2.3 Exercices 142
3 Quelques applications à la théorie des modèles 145
3.1 Le théorème de Lowenheim-Skolem 146
3.2 Le théorème de finitude 146
3.3 Exercices 149
Chapitre V La théorie des définitions 157
1 Définissabilité d'une constante 158
1.1 La notion de constante définissable 158
1.2 La propriété d'élimination 159
1.3 Le théorème de Beth 160
2 Extensions par définition 164
2.1 Cas de l'adjonction d'une seule constante 164
2.2 Caractérisation de l'adjonction d'une constante au moyen d'une définition 165
2.3 Extension par définition générale 167
3 Représentation d'une théorie dans une autre 169
3.1 Relativisation d'une formule 169
3.2 Interprétation sémantique de la relativisation 169
3.3 Représentations des théories 171
3.4 Exercices 173
Appendice Il Applications à la géométrie 180
1 Géométrie affine 180
1.1 Notion de plan affin –type 180
1.2 Propriétés de la relation d'alignement 181
1.3 Structure des modèles A 181
1.4 Relations entre A et la théorie des corps 183
2 La géométrie euclidienne 185
2.1 Notions métriques sur un plan affin-type 185
2.2 Notion de plan euclidien 185
2.3 Axiomatisation de la géométrie euclidienne 186
2.4 Rapports avec la géométrie affine 186
3 La géométrie projective 187
3.1 Plans projectifs 187
3.2 Axiomatisation de la géométrie projective 188
3.3 Relations avec la géométrie affine 188
Chapitre VI. EIimination des quantificateurs 191