Logique formelle

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)
Exercices
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.


Question book-2.svg 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.


Question book-2.svg Modifier ces prérequis



Référents

Ces personnes sont prêtes à vous aider concernant cette leçon :

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


Question book-2.svg Modifier cette liste