PDF - 283.3 ko

2 2 4 N
2 2 5 N
π
x0
P
V
F
P P
non P
P
P
Pnon P
V F
F V
Pnnon Pn
Pou Q P Q
Pet Q P Q
P Q non Pou Q
P Q P Q et Q P
P Q
Pou Q
P Q non P P Q
P Q
P Q
Q P
P Q
P Q
P Q
P Q

P Q
P Q P et Q P ou Q P Q Q P P Q
V V V V V V V
V F F V F V F
F V F V V F F
F F F F V V V
P Q P Q
1 2 2 3
P Q Q P
xRx1x0x0x1
P Q Q R P R
non non P P
non Pet Qnon Pou non Q
non Pou Qnon Pet non Q
Pou Qnon Pet non Q
Pet Qou R P et Qou Pet R
Pou Qet R P ou Qet Pou R
3
P Q P et Qnon Pet Qnon Pnon Qnon Pou non Q
V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V
non Pet Q
non Pou non Q
Pou non P
P
Pnon Pnon P
P
E
x E Px x
Px
ERPx: ”x0” x1
x1

x E, Px
Px x E
x E, Px E
x E, Px
Px x E
x E, Px
non x E, Px x E, non Px
non x E, Px x E, non Px
non x E, y F, z G, Px, y, z
x E, non y F, z G, Px, y, z
x E, y F, non z G, Px, y, z
x E, y F, z G, non Px, y, z
x E, y F, P x, y y F, x E, P x, y
x E, y F, P x, y y F, x E, P x, y
x E, y F, P x, y
y F, x E, P x, y
x0, y 0, xy 0y0, x 0, xy 0
x0, y 0, xy 1R
x y 1
x0xy 1
y0, x 0, xy 1
y0, x 0, xy 1
y x 2
y0
xy 2 1
Q
P Q
P
Q
P Q
P Q

Q
nP1,P2,...,Pn
P1Q P2Q... PnQ
Q
nNn n 1
P Q P
Q
non Qnon P
ABC A BC2AB2AC2
BC2AB2AC2ABC A
BC2AB2AC2ABC A
Rx1x21x21x1
x21x1
P Q Q
P
x E, Pxnon x E, Px
x E, non Px x E Px
nN, n 6 4 n24
nN,non n6 4 n24
nN,non non n6 4 ou n24
nN, n 6 4 et non n24
n n 6 4 24 n12
P
Q Q non Q
non P Q et non Q P ou Qet non Q
P

p p2p
2
p k p 2k1
p22k124k24k1 2 2k22k1 2k1
p2p p2p2p
2 2 p
q
p
q
2p2
q2p22q2p21p
p22q24p2
12q2q22p2 1q2q
p
q
2
x E x E x E
x E
E
E1A, B, C, D
E2E31,2,3,...,12 N0,1,2,...,n,...
N
Z,Q,R C
E0Px
E x E0Px x E x E0Px
E n N2n1 2 E3E
E
E F F E
F E F E F E
F E F E
E F E F F E
F E F E F E
E x E, x
a a
PE E E 1,2E
PE , 1,2,1,2