Logo de la faculté
Cette page est une ébauche concernant les mathématiques. Avant de recréer une ressource du même type, essayez d'abord de compléter celle-ci ; si c'est impossible, remplacez son contenu par le vôtre. Si vous êtes l'auteur(e) de cette page et que vous souhaitez la continuer, retirez ce bandeau.
Logique formelle
Chapitres
Chap. 1 :Symbole icône indiquant que la page est à l'état d'ébauche Systèmes logiques (14)
Chap. 2 :Symbole icône indiquant que la page est à l'état d'ébauche Calcul des propositions (14)
Chap. 3 :Symbole icône indiquant que la page est à l'état d'ébauche Calcul des prédicats (14)
Exercices
Interwikis

Sur les autres projets Wikimedia :

Présentation [Modifier]

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 [Modifier]

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 :

Personne ne s'est déclaré prêt à aider pour cette leçon. Pour vous ajouter, cliquez ici.