Annexe du cours de juin 2015

Comme nous avons commenc en janvier et fvrier de cette anne, nous profitons de l'occasion
offerte par la dfinition et la vrification des nuds logiques, pour continuer rviser notre exprience
pratique de la logique classique.
Ceci s'explique du fait que les nuds logiques qui constituent la logique modifie sont divers
exemplaires tordus de la logique canonique classique (au sens de Tarski et de Quine) telle que celle-ci
se prsente comme le nud trivial.
Donnons ici sur deux colonnes la correspondance entre le nud trivial et un nud quelconque.
1. - Les nuds logiques expliquent la Logique Classique et la Logique Modifie
Logique Classique

Logique Modifie

Z2 = ({0, 1}, +, )

Z2 = ({0, 1} , +, )
Algbre de Boole Corps de Galois

Le nud trivial
(0,1)

uV

uV(X) = V.X + u.(X + 1) = (u+V)X + u

_______________
un connecteur
(pq)

AB(2 ) GF(2 )
Les nuds logiques
(u,V)
________________
(X uVY)
n

avec u Z2 , V Z2
Dfinition principale

(X uVY) = uV + (u+1)V(XY) + u(V+1)(X Y)

Diagramme commutatif

Dualit Morganienne
(p q) = (p q)
____________________________

uV uV : (p,q) """(uV(p),uV(q))

uV
uV : (pq) ""(uV(p)uVuV(q))

7 lettres

Thorme :
uV(pq) ="(uV(p)uVuV(q)).

engendres par " et " ou par " et

"
________________________________
et leur dfinitions
(p q) = (p q)
(p q) = (p q) = (p p)
(p q) = ((p q) (p q))
(p q) = ((p q) (p q))

______________________________

______________________________
Le nud trivial c'est a
(0,1)

mais avec de son dveloppement linaire,

qui commence avec ce qui vient maintenant

2. - Le nuds triviale

3. - Dpliage de l'aspect linaire du nud trivial (0,1)

Les 16 connections dans le systme d'criture des connecteurs

(p p)

Son Algbre de Boole

Z2 = ({0, 1}, +, )
avec
(x2 = x) et (2x = 0)
et la transcription (p q) = (p + q) et (p q) = pq

(p q) (p q)

(p q)

(p q)
+

(p

q)

(p q)

(p

q)

(p

q)

q
(p

q)

(p q)

(p p)

______________________________
q
0
1
0
1

pq
a
b
c
d

0 1
0 a b
1 c d

pq
c
10

d
11

pq+p

pq+q

table de Pythagore

pq+p+q+1

b
01

p+q

p+q+1

p+1

q+1

00

pq+p+q

table de vrit

Leur interprtations smantiques se transcrivent de trois manires quivalantes.

p
0
0
1
1

0 0 1
0 0 0
1 1 0
1 0 1
table de + et table de ,
p = (p +1), (p q) = (p(q+1)+1) et (p q) = ((q+1)p + q(p+1))
________________________________________________________________________
les16 connections dans cette algbre

pq+q+1

pq+p+1

diagramme de Euler-Venn

______________________________
Les 16 interprtations respectives de ces connections

0
0

0
1

0
1

0
1

0
0

0
0

0
1

0
0

pq+1

________________________________________________________________________
Nous constatons pour un quelconque connecteur qu'il peut s'crire selon l'expression linaire :
(pq) = pq + p + q +
avec (, , , ) {0,1}
d'o l'expression de son dual morganien.

0
0

1
1

0
1

1
1

0
0

1
0

0
1

1
0

1
0

0
1

1
1

0
1

1
0

0
0

1
1

0
0

Dualit Morganienne
(p q) = (((p+1)(q+1)) +1) = [((p+1)(q+1)+(p+1)+(q+1)+) +1]

1
0

1
1

1
1

1
1

1
0

1
0

1
1

1
0

________________________________________________________________________

= [pq + (+)p + (+)q + (+++) +1]

= [(pq + p + q +) + (p + q + ) + (+) +1] = [(pq) + (p
par dfinition (voir plus haut)
(X uVY) = uV + (u+1)V(XY) + u(V+1)[(XY) + (X

q) + (+) +1]

Y) + (+) +1]

= [(u+V)(XY) + uV + u(V+1)] + u(V+1)[((X Y)+ (+)]

= [(u+V)(XY) + u] + u(V+1)[((X Y) + (+)]
(X uVY) = uV(XY) + u(V+1)[(X Y) + + ]
pour prparer la dmonstration du thorme qui se fait par le calcul.