:

"2 + 6 = 3"

: A1

" 2 "

: A2

" ( m , n ) ; m n = 5" : A 3
2

" x ; x 5 0"

. A4

-I

: A4

A3 :

A2

A1 :

:
La proposition
(
.(0
. (1

:
:

A1
A1

A1
A2

A1
A2

A4

2 :

.P

A4

. . . P (m , n )

B (x , y )

. P (x ) : x ;

A (x )

A4
:

A4 :

Q (x ) P (x ) :
. x

x 3 4 :

A (x )
:

. P (x )

Les Quantificateurs Universels

:
. E

P (x )
E

x E

:
.

. P (x ) : x 2 + 4 0
. x : x 2 + 4 0

Les Quantificateurs Existentiels

E

.i
.ii

P (x )
-2
.a

Les Quantificateurs

. P (x )

A3
:

.b

. P (x )

E
x
. P (x )

.2

Fonction propositionnelle
(

A3

*
.

.1

*
F)
V)

-II

. E
:

P (x )
P (x )

-1-

: P (x ) :

.1

.2
:

. x E
.

P (x )
: P (x ) :

:
:

-III

P (x )
P (x )

A (x ) :
B (n ) :
C (x ) :
D (m ) :

x
n
x
m

,
,
/
/

:
x 5 0
3n 27 = 0
x 2 9 0
3m + 6 = 0

.3

n + 2 =1

n
. !n / n + 2 = 1

P : x , y ; x = y
Q : y , x ; x = y

.1 : 1

Q P
n , m ; n < m :
m , n ; n < m :

.
.

P :

.
P

P
P

. P

(Q ) :
. ( Q ) :

"5 > 8"

"5 8"

P
V
F

.1
:

(P ) :
. ( P ) :

" 2 " :

" 2 + 7 8"

" 2 "

:
:

( P )

V
F

F
V

V
F

.b
1
0

V
F

. ( P )

Q
( Q

P )

:
.
.
.

-2-

.2

" x E , P (x )" :
" x E , P (x )" :

Disjonction de deux proposition

(P Q )

.a

P
F
V

. " x E , P (x )" :
. " x E , P (x )" :

" 2 + 7 = 8" .

Ngation dune proposition

. ( P ) : "5 + 4 = 9" :

"5 + 4 9"

P
P

(R ) :
. ( R ) :

:2

. ( P ) : "5 + 4 9"

.2

La Ngation Logique

.4

.3

.a

.
"7 = 8
3 < 4" : A
"2 + 5 = 7
3 > 0" : B
2
"5 = 52
2, 4 " : C

-IV

P
1
1
0
0

1
0
1
0

1
1
1
0

.
.

:
P"
"P
P )"
"(R Q )

"Q
(Q

.
"R

Conjonction de deux propositions

:
.

Q P
. (P Q )

Q
,Q

(Q

.b

Q"
P"
:

.a

P) :

" 4 = 1
" 2

.
.

"92 = 18

.4

3 < 5" : A
3 " : B

2 1 = 2 1" :C

P
1
1
0
0

1
0
1
0

1
0
0
0

(P

Q)

P"

"R

"( R

.
. "7 2 = 49

Q)

)Q

P
1
1
0
0

Q
1
0
1
0

Q
P
P Q
1
0
1
1

.
.
M ABC

Q P

.
-3-

.a

.
( [ BC ]

P )"

P
Q
P
:
P Q

. Q

.b

:
.

(Q

2 > 7)" :

Implication logique

:
(Q P )

:
4 = 16 5 = 2
4
3<0
6
4 1 = 3
AM ) .
ABC
2

P Q :

.b

.5

1
2 :
a

. a : a > 0 a +

:1
:

P Q
.

1
2 :
a

. a+

. a

. a ]0, +[

1
a 2 + 1 2a ( a 1)
a+ 2=
. a > 0 ( a 1) 0 :
=
0 :
a
a
a
1
1
. a : a > 0 a + 2 :
. a+ 2 :
a
a
2
. (a, b ) : ( a < 1 b < 1) a + b < 1 + ab
2

. a + b < 1 + ab :
. 1b 2 > 0

. b <1

a 2 1 < 0 :

a 2 + b 2 + 2ab < 1 + 2ab + a 2b 2 :

. a + b < 1 + ab

. (a , b ) 2

a <1 :

. b 2 < 1 a2 < 1 :

. b <1

(a + b )
b <1

<

(1 + ab )

a <1 :

. ( a 2 1)(1 b 2 ) < 0 :

. a 2 + b 2 a 2b 2 1 < 0 :
.

:2

. ( a + b ) < (1 + ab ) :
2

:
b <1

a <1 a <1

a2 1 < 0
1b 2 > 0
( a 2 1)(1 b 2 ) < 0
a 2 + b 2 a 2b 2 1 < 0
a 2 + b 2 + 2ab < 1 + 2ab + a 2b 2
2
2
( a + b ) < (1 + ab )

(a + b )

(1 + ab )

<

a + b < 1 + ab

.Q
.Q
P

.Q

P
Q

. P

Q P

. P Q

Equivalence logique

:
.

. P Q
Q P
.Q

"Q P

.a

Q P
P Q "

P Q

"8 + 6 = 10 5 < 20" : A

2

.
-4-

.6

"4 = 5 3 > 2" :B

"5 = 2 + 3 4 = 6 2" :C

.
.

1 1
. 1 + 1 + 9 :
a b

a +b =1

:1

a
:

a +b =1
1 1
a +1 b +1
1 + 1 + 9

9
a b
a b
ab + a + b + 1

9
ab
ab + 2

9
ab
2

1+
9
ab
2

8
ab
4ab 1

4ab ( a + b )

4ab a 2 + b 2 + 2ab

4ab a 2 b 2 2ab 0

( a 2 2ab + b 2 ) 0

(a b ) 0
2

1 1
1 + 1 + 9
a b
.
. [a b = 0] a 2 = b 2

(a b ) 0
2

ab > 0]

[a b = 0] a 2 = b 2 ab > 0] :
a 2 = b 2 ab > 0] [a b = 0] :

a2 = b 2
:

a =b

a b = 0 :

. ab > 0

. a +b = 0

(B ) :

. *

:2
:
: ( )

a b = 0

: ()

. ( a b )( a + b ) = 0

a b = 0

. a = b
a +b = 0
. a b = 0 :
:

P Q

.Q P

. ab = b 2 > 0 :
, a =b
2
ab > 0 a = b 2

. ab = b 2 < 0

a2 = b 2 :

. ab > 0
a2 = b 2 :
. a2 b 2 = 0 :
a2 = b 2 :
. a b = 0 :
. ab > 0

. *

P Q

(A ) :

x 5x + 6 = 0 x = 2
2

(C ) :

:
x = 2 x 5x + 6 = 0

x = 2 x 2 5x + 6 = 0

-5-

...

...

...

...

.
P
1
0

P
0
1

( P

1
1

... C
.C

B A

B A

P Q :

. ( P
)
.

P)

( P
P)
( P
P)

Q
:

(P
(E )

x + 4 y = 5
x + 4 y = 5

2 ( x + 4 y ) = 2 5
2x + 8 y = 10
x + 4 y = 5

x + 4 y = 5

x + 4 y = 5
:
:
2x + 8 y = 10

.1

-V

:
:

(P P ) P
(P P ) P
Q ) (Q P )
2

x + 4y = 5

S = {( x , y ) / x + 4 y = 5}
2

[P
[P

(Q
(Q

(E )

R )

R )
:

(E )

( P
( P

(E )

Q)

(P
Q ) (P

:1

R )

R )

x 16 = 0
: 2
:
y 9 = 0
2

( x 4 )( x + 4 ) = 0

( y 3)( y + 3) = 0
( x 4 = 0 ) ( x + 4 = 0 )

( y 3 = 0 ) ( y + 3 = 0 )
( x = 4 ) ( x = 4 )

( y = 3) ( y = 3)

( x = 4 ) ( x = 4 ) ( y = 3) ( y = 3)
( x = 4 ) ( y = 3) ( x = 4 ) ( y = 3) ( x = 4 ) ( y = 3) ( x = 4 ) ( y = 3)
S = {( 4,3) ; ( 4, 3) ; ( 4, 3) ; ( 4, 3)}
:
(E )

Lois de Morgan

. ( P

Q )

(P
-6-

Q)

:i

.2

. ( P

(S ) :
( S ) :

Q )

(P

( P ) ( Q ) ;
9 ?
(R ) :

:ii

Q)

( P Q )

( P Q )

=28

= 7

P Q

:
( ab = 0 ) ( (a = 0)

8=9?

(b = 0) )

Implication contrapose

b 1) ( a + b ab 1)

(a + b ab = 1) (a ab 1 + b = 0 )
( a (1 b ) (1 b ) = 0 )
( ( a 1)(1 b ) = 0 )
( (a 1 = 0 )
(b 1 = 0 )
( ( a = 1)
(b = 1) )
. ( a 1 b 1) ( a + b ab 1)
:

n n :
n

2
a
. (a , b )
? . n
b
:1
3
n
: ) k
n = 3k
3
3
3
3
n n = ( 3k ) 3k = 27 k 3k = 3 ( 9k k ) = 3k :

. k = 9k k
3

.4
:

.3
n3 n :
:
(1 3
n
: ) k
n = 3k + 1 : 2
3
3
2
n 3 n = ( 3k + 1) ( 3k + 1) = ( 3k ) + 3 ( 3k ) + 3 ( 3k ) + 1 3k 1 = 3 ( 9k 3 + 9k 2 + 2k ) = 3k
:

(2

. k = 9k 3 + 9k 2 + 2k
: ) k
n = 3k + 2

n3 n :

.3

:3

n n = ( 3k + 2 ) ( 3k + 2 ) = 27k + 54k + 36k + 8 3k 2 = 3 ( 9k + 18k + 11k + 2 ) = 3k

3

n3 n :
n

.3
n3 n :

.3

:(

:
Q

Q
Q

. k = 9k 3 + 18k 2 + 11k + 2
. 3
n3 n :

)
.

( P ) Q

-7-

[P Q ]

( P )

.3

P Q

.3

. P Q

Raisonnement par disjonction des cas

(3

b = 0)

Q P

b 0)

Q P

. = a = kb

P Q

. (a 1

P Q

(ab 0 ) (a 0

. ( ab = 0 ) ( a = 0

.S
( R ) : = 7 8 9 ?

9 ?

=2>8

(
( P ) ( Q )

Raisonnement par labsurde

.5
:

( Q ) P

( Q )

( Q )

( Q )

Q :
. ( *) : x : a x b < x :

..

. b <a :

( *)

b <b

a b

. b <a :

Raisonnement par rcurrence

= 2 n + 1 ? : P (n )
n

. b a

.6

P (n + 1)

. 11
. = 2 n +1 n + 2 ? : P (n + 1) :

= 20 0 + 1 ? : P (0) :
= 2n +1 ( n + 1) + 1 ? : P (n + 1) :

. 2n +1 n + 2 :

,
2 > 1 2n n :

P (n + 1)
, 2n n + 1 :
P (n )
n +1
n
. ( i ) : 2 2n + 2 :
, 2 2 2 ( n + 1)

( ii ) ( i )

. 2n +1 n + 2 :

Principe de rcurrence
:

. n
. 2 n +1 :

, n0

.
...

P (n + 1)
P (0)
P (1)
P (2)
P (3)
P (n )

P (n )

. n0

P ( n0 )

.
. n n0

.2

P (0) :

. P ( n ) P ( n + 1)

. .1
.
.2
:
. .1

. ( ii ) : 2n + 2 n + 2 :

. n : P ( n ) P ( n + 1)
:

P (n )

P (n )
. P (0)
. P (n + 1)
P (n )
. n

a :

P (n + 1)

P (n )
. n n0

n (n + 1)
:
2
n (n + 1)
. = 1 + 2 + ... + n =
? : P (n ) :
2

. n * : 1 + 2 + ... + n =

-8-

P (n ) :

1(1 + 1)
? : P (1) :
2

=1=

. 1=1 :
n (n + 1)
:
2
(n + 1)(n + 2)
. 1 + 2 + ... + n + (n + 1) =
:
2

. 1 + 2 + ... + n =

. n 1

P (n )

P (n + 1) :

n (n + 1)
:
2
n (n + 1)
n (n + 1)(n + 2)
+ (n + 1) = (n + 1) + 1 =
1 + 2 + ... + n + (n + 1) = (1 + 2 + ... + n ) + (n + 1) =
2
2
2
n (n + 1)
:
. n * : 1 + 2 + ... + n =
2
:
:1
n
(
n
+
1)
.i
n * : 1 + 2 + ... + n =
2
n (n + 1)(2n + 1)
.ii
n * : 12 + 22 + ... + n 2 =
6
n 2 (n + 1)2
n * : 13 + 23 + ... + n 3 =
.iii
4
.iv
n : 4n 1 + 3n

. 1 + 2 + ... + n =

n * : 11 /

n * : 7 /

(3
(3

2n

2 n +1

n : 3 /
n : 5 /
( ... a3 = 777

a ]0, +[ , n :

a2 = 77

a1 = 7 ) 7

(1 + a )

n
n * : an =

+ 26 n 5 )

.v

+ 2n + 2 )

.vi

(n n )
(7 2 )
3

.vii

.viii

1 + na

.ix
.x

an
7
10n 1) :
(
9

:2

x
y
( x , y ) 2 : ( xy 1) ( x y ) 2
2
:
x + x + 1 y + y + 1
2 :
2
.
n
n : n
:
:
=
?: A
=
?: B
. B A
.
m n m +n
. ( m , n ) 2

(1) :
( 2) :
( 3) :
a +b
a 1 + 2 b 4 =
2

.i
.ii
.iii
.iv

.v

.vi

a 1

.vii

x =0 y >0
x >0 y <0

y 0z >0

( a = 2 ) (b = 8 ) :
-9-

. b 4

- 10 -