Logique formelle
Une page de Wikiversité.
Logique formelle
Chapitres
| Chapitre 1 : |  Systèmes logiques (?) |
|---|---|
| Chapitre 2 : | Calcul des propositions (?) |
| Chapitre 3 : | Calcul des prédicats (?) |
| Chapitre 4 : | Théorie des modèles (?) |
La logique est le domaine des mathématiques qui se rapproche le plus de la philosophie, elle est donc très sujet à controverses. Ce cours a pour but d'exposer tout d'abord la logique sous son jour le plus précis et le plus formel, pour expliquer ensuite comment rattacher cette théorie à celle de la vérité mathématique.
[modifier]
Objectifs
Les objectifs de cette leçon sont :
Vous pouvez discuter ou modifier ces objectifs en modifiant cette section.
Niveau et prérequis conseillés
Cette leçon est de niveau 10. Les prérequis conseillés sont :
Vous pouvez discuter cette évaluation ou indiquer des prérequis manquants en modifiant cette section.
Référents
Ces contributeurs sont prêts à vous aider concernant ce cours :
Vous pouvez vous proposer comme référent en modifiant cette section.
