.

(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)