Leçons de niveau 14

Logique formelle

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche
Image logo représentatif de la faculté

Logique formelle est une ébauche concernant les mathématiques. Vous pouvez aider le projet Wikiversité en l'améliorant.

Logique formelle
Autres leçons de mathématiques
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)
Chap. 4 :Symbole icône indiquant que la page est à l'état d'ébauche Théorie des modèles (14)
Interwikis

Sur les autres projets Wikimedia :

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

Les objectifs de cette leçon sont :

d'améliorer le raisonnement, l'écrit et le parler d'un individu.


image logo modifier ces objectifs.

Niveau et prérequis conseillés

Leçon de niveau 14. Les prérequis conseillés sont :

Les prérequis pour cette leçon n'ont pas encore été précisés. Pour le faire, cliquez ici.


Image logo modifier ces prérequis.


Référents

Ces contributeurs sont prêts à vous aider concernant cette leçon :

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


Question book-2.svg modifier les référents.