« Logique (mathématiques) » : différence entre les versions
Contenu supprimé Contenu ajouté
a renommé Fondements des mathématiques/La logique en Fondements des mathématiques/La logique/Introduction: renommage pour passer en leçon par la scission |
créa |
||
Ligne 1 :
{{Leçon
#REDIRECT [[Fondements des mathématiques/La logique/Introduction]]▼
|idfaculté=mathématiques
|département=
|1=[[/Grammaire des prédicats/]]
|2=[[/Déduction naturelle/]]
|3=[[/Autres formulations des principes de la logique du premier ordre/]]
|4=[[/Logiques d'ordre supérieur|Les logiques d'ordre supérieur]]
|5=[[/Théorie des modèles|La théorie des modèles]]
|6=[[/Définitions|Les définitions]]
|7=[[/Égalité|L'égalité]]
|8=[[/Complétude de la logique du premier ordre|La complétude de la logique du premier ordre]]
|exo1=
|fiche1=
|annexe1=
|niveau=
|titre=La logique
}}
[[Catégorie:Logique (fondement des mathématiques)]]
| |||