Chapitre 2 Logique des propositions (Master M2II)
1
Chapitre 2
Logique des propositions
2
1 – Introduction
Logique
L. Générale L. Mathématique L. Philosophique
L. Prédicats L. P. Premier ordre L. P. Supérieur
3
1 – 1 – But initial de la logique
mathématique
La logique mathématique s’attache à
comprendre, formaliser et de rendre plus
rigoureux le processus de raisonnement et
de preuves utilisés en mathématiques et
dans les sciences exactes.
Pour l’intelligence Artificielle, la logique
mathématiques nous permet la
représentation des connaissances et le calcul
rigoureux des solutions.
4
1 – 2 – Théorie logique
Une théorie logique est définie par un
langage avec une syntaxe et une
sémantique.
5
1 – 2 – 1 – Langage
Un langage est ensemble de symboles
(Alphabets ) et de règles de construction des
EBF ( Expression Bien Formée ).
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
1
/
37
100%
