Vous êtes sur la page 1sur 2



 

.

(A B ) (A B

et B A )

( A et B ) ( B et A )

( A ou B ) ( B ou A )

( 6)

( A et B ) et C A et ( B et C )

( 7)

A ou ( B ou C ) ( A ou B ) ou C

( 8)

[ A B et B C ] (A C )

( 9)
   ,$  %&+ (10)

( A B et B C ) A C

A et ( B ou C ) ( A et B ) ou ( A et C )

(11)

A ou ( B et C ) ( A ou B ) et ( A ou C )

(12)
.%& &+ (13)
7 ( A et B ) ( 7A ou 7B ) (*)
7 ( A ou B ) ( 7 A et 7B ) (*)

- .   !/ %&+ (15)

( A B ) ( 7 B 7 A)

7 ( A B ) ( 7A et 7B ) (16)
0 %&+ (17)

( (7A 7B )et B ) A

/ $ %&+ (18)

( A C et B C ) ( A ou B ) C

.// !/ 1 (V
:    ,$  / !/ (1
B

A B

       

A 

   
.  

:- .   !/ / !/ (2


. 7 B 7 A     A B    

:0 / !/ (3
7  :  A!    A     
.8 4 A.!

:/  / !/ (4
   ( x E ) : A ( x )     E = E 1 E 2 !
.   A ( x ) B) x E  #7 (*
:  
.   A ( x ) B) x E  #7 (*
1

:2*  / !/ (5


n n0

      
n = n0

P (n)

    
: 
        (*

. n      P  A! (*


. n + 1      P    (*

    (I

(4
( 5)



 
       (1
.     ! "#
 x %!  "!  &     (2
. E     x '   ( E  

 (II
. E    )   A ( x ) !

 x ./   " ,! ( x E ) : A ( x ) : (1


. A ( x ) 1,  E  x  ./   ! " A ( x ) 0 
."
   2
. A ( x )  E  x  3 " ,! ( x E ) : A ( x )  (2
. A ( x ) 1, ! E  4  !
. 
   2
E

.    (III


 (1
 ! ! 7 A 5 3 2 !  6 A   (a
.   A 8 #7 9  ! 9 A 8 #7   
" A  : 6 7 A " : 
." ( x E ) : 7 A ( x ) "  6 " ( x E ) : A ( x ) "   (b
." ( x E ) : 7 A ( x ) "  6 " ( x E ) : A ( x ) "   (c

 (2
5 3 2 !  6 B  A ! ;
    A 8 #7 ,)     ! ! (A  B)
.    B

 (3
5 3 2 !  6 B  A ! )
 ! = 7 8 #7     ! ! (A  B)
.   ./

  !" (4
( A B ) 5 3 2 !  6 B  A !
2!

.9 B    A 8 #7 ,) 9  ! !


.( B
2!! A ,!)
#$  (5
B
A
! >) !
( A B ) 5 3 2 !  6 
.,,  . : B  A  8 #7 ,)     ! !
.( B >) ! A ,!)

.  %  & (IV


:  (1
! 8       , . 
?#6 ,, . 8 3    ! , 
.8
.  %  & () * (2
7 ( 7 A) A
( A B ) (7A ou B ) (2)
( 1)

( A B ) ( 7 A 7 B ) ( 3)