logique propositionnelle, 1 eserved@d = *@let@token Logique
la LP
Ila logique propositionnelle (LP) traite exclusivement des
connecteurs propositionnels, c’est la partie la plus simple
de la logique
Ipour étudier rigoureusement la notion de validité, elle
construit un langage artificiel
Ila LP repose sur deux principes fondamentaux:
(P1) principe de bivalence: tout énoncé a une et une seule
valeur de vérité, il est ou bien vrai (noté V ou 1) ou bien
faux (noté F ou 0)
M. Cozic logique propositionnelle, 1 Logique séance 2
le principe de bivalence
(P1) principe de bivalence: tout énoncé a une et une seule
valeur de vérité, il est ou bien vrai (noté V ou 1) ou bien
faux (noté F ou 0)
Ila LP est construite de telle sorte que le principe de
bivalence soit satisfait; le principe fait néanmoins l’objet de
nombreuses discussions en philosophie de la logique et du
langage:
(i) il n’est pas certain que le principe de bivalence soit
satisfait dans les langues naturelles
Iexemple: les prédicats vagues. Il y a des personnes telles
qu’il ne semble ni vrai, ni faux de dire qu’ils sont chauves
(ou grandes, ou corpulentes, etc). On parle alors de
cas-limites, et on dit qu’il y a un vide de valeur de vérité
M. Cozic logique propositionnelle, 1 Logique séance 2
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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
1
/
62
100%
