Chapitre I: Introduction à la logique mathématique

1. Introduction :
Logique : L’acte de raisonner, elle permet de juger si un raisonnement est valide ou pas
indépendamment de son contenu.
En mathématique, faire une démonstration (preuve), c’est de réaliser un processus qui permet
de passer de propositions supposées vraies prises comme hypothèse à une proposition appelée
conclusion et ce en utilisant les règles strictes de la logique.

⇒ La logique mathématique a repris l’objectif de la logique, d’étudier le raisonnement, mais en

se restreignant au langage des mathématiques, qui présente l’avantage d’être extrêmement
normalisé.

2. Historique

 Fondateur de la logique, Aristote développe, dans son traité de l'Organon, une théorie
des syllogismes. Le syllogisme est une forme de raisonnement qui met en relation trois
propositions. Selon cette théorie :
1. Si les deux prémisses (hypothèses) sont vraies,
2. Alors la conclusion (preuve) ne peut qu'être vraie également.

Voici un exemple concret de syllogisme :

Socrate est un homme - vrai

Tous les hommes sont mortels - vrai
Socrate est donc mortel - vrai

 Au XVIII siècle, le philosophe E. Kant se sentait autorisé à écrire qu’elle était désormais
« close et achevée »
 A la suite des travaux de George Boole, Auguste De Morgan et de G. Frege (introduit
le calcul de vérité : conjonction, disjonction, l’implication), elle reprit vie au XIX siècle.
 Un paradoxe est une proposition qui contient ou semble contenir une contradiction
logique, ou un raisonnement qui, bien que sans faille apparente, aboutit à une absurdité,
ou encore, une situation qui contredit l'intuition commune.
 Au XX siècle le Théorème d’incomplétude de Gödel (1931) exprime qu’il existe des
propositions (en arithmétique) qu'on ne peut ni démontrer, ni réfuter.

3. Pourquoi étudier la logique mathématique ?

 Comprendre la nature intime du raisonnement

 Donner un sens précis à ce que peut être le vrai dès qu’il s’agit de raisonnement et
d’argumentation
 Pour les informaticiens :
 Mécaniser le processus de raisonnement
 Formaliser les objets informatiques (pour la sûreté et la sécurité)
 C’est le langage mathématique de base de tout système informatique
 La vérification formelle consiste soit à s'assurer que des propriétés spécifiques
sont bien respectées par le système construit, soit à s'assurer que deux systèmes
sont fonctionnellement équivalents.
 Contrairement à la vérification traditionnelle basée sur l'expérimentation, la
vérification formelle est basée sur la démonstration logique ou mathématique.

4. Logique et informatique
Il existe des liens très étroits entre logique et informatique dont voici quelques illustrations :

 Le calcul booléen a des liens avec les circuits logiques (on peut utiliser des formules
booléennes pour représenter des circuits et des circuits pour implanter des fonctions
booléennes).
 Logique et informatique suivent une démarche analogue : machine pour calculer ou
raisonner reposant sur un nombre limité d’opérations ; liens entre syntaxe (une suite de
caractères répondant à des contraintes syntaxiques) et sémantique (le ou les sens
possibles attribués à ces phrases).
 Dans le domaine de l’Intelligence Artificielle dite « symbolique »: on munit un
ordinateur qui sait calculer de capacité de raisonnement, cela nécessite de transformer
le raisonnement en calcul.
 La logique est un outil de modélisation utilisé dans le domaine des bases de données et
du développement de programmes (génie logiciel).

5. Programmer la logique
La logique se programme sur ordinateur : on introduit alors des structures informatiques pour
représenter des propriétés logiques et on construit des outils pour les manipuler ⇒ Prolog

On se pose alors des questions informatiques sur la logique auxquelles nous apporterons des
réponses dans ce cours :

 Un ordinateur peut-il raisonner ?

 Est-ce qu’il existe un algorithme pour dire qu’une formule est vraie, est fausse ?
 Étant données des hypothèses et une conclusion, peut-on reconstruire une déduction ?

6. Problématique :

Nous allons nous intéresser à deux problèmes

 Exprimer : Symboliser, formaliser
 Raisonner : Prouver qu’un énoncé est vrai ∨ faux
Déduire un énoncé à partir d’un ensemble de connaissances
Exemple : Supposons que l’on dispose des énoncés/faits suivants :

F1: S’il fait humide et chaud alors il va pleuvoir

F2: S’il fait humide alors il fait chaud
F3 il fait humide maintenant
Question (Conclusion) : est-ce qu’il va pleuvoir ?

Symboliser :
h: il fait humide
c: il fait chaud
p: il va pleuvoir

Formaliser :
F1: h ∧ c → p
F2: h → c
F3: h
Conclusion: p

Il existe plusieurs méthodes pour vérifier si p est une conséquence logique de F1, F2 et F3, on
note :

{F1,F2,F3}╞ P