Logique formelle
Logique formelle
Chapitres
| Chap. 1 : |  Systèmes logiques (14) |
|---|---|
| Chap. 2 : | Calcul des propositions (14) |
| Chap. 3 : | Calcul des prédicats (14) |
Exercices
| Exercice : |  Quantificateurs et connecteurs logiques (14) |
|---|
Interwikis
Présentation []
La logique est le domaine des mathématiques qui se rapproche le plus de la philosophie, elle est donc très sujette à 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.
Objectifs []
d'améliorer le raisonnement, l'écrit et le parler d'un individu.
Niveau et prérequis conseillés
Leçon de niveau 14. Les prérequis pour cette leçon n'ont pas encore été précisés. Pour le faire, cliquez ici.
Référents []
Ces personnes sont prêtes à vous aider concernant cette leçon :