‫ا

ــــــــــ‬ ‫او ع ر‬

.

‫ﻡ ارس‬
(A ⇔ B ) ⇔ (A ⇒ B et B ⇒ A ) (4    –   (I
( A et B ) ⇔ ( B et A ) ( 5)  
       (1
.   ! "#
( A ou B ) ⇔ ( B ou A ) ( 6)  x &!  "! %     (2
( A et B ) et C  ⇔  A et ( B et C )  ( 7)
. E    x '   ( E  

 A ou ( B ou C )  ⇔ ( A ou B ) ou C 
  (II
( 8)
. E    )   A ( x ) !
[ A ⇒ B et B ⇒ C ] ⇒ (A ⇒ C ) ( 9) E  x ./   " ,! ( ∃x ∈ E ) : A ( x ) : (1
 %% /)  %  . (10) . A ( x ) 1, E  x  ./   ! " A ( x ) 0
( A ⇔ B et B ⇔ C ) ⇒ A ⇔ C ."
  ∃ 2
 A et ( B ou C )  ⇔  ( A et B ) ou ( A et C )  . A ( x )  E  x  3 " ,! ( ∀x ∈ E ) : A ( x )  (2
(11)
. A ( x ) 1,! E  4  !
 A ou ( B et C )  ⇔ ( A ou B ) et ( A ou C ) 
(12) .
  ∀ 2
.   . (13)
.   (III
7 ( A et B ) ⇔ ( 7A ou 7B ) (*)
 (1
7 ( A ou B ) ⇔ ( 7 A et 7B ) (*) ! ! 7 A 5 3 2 !  6 A   (a
0  1 #$%&2  . (15) . A 7 #8 9 ! 9 A 7 #8 
( A ⇒ B ) ⇔ ( 7 B ⇒ 7 A) " A  : 6 7 A " :
." ( ∃x ∈ E ) : 7 A ( x ) "  6 " ( ∀x ∈ E ) : A ( x ) "   (b
7 ( A ⇒ B ) ⇔ ( 7A et 7B ) (16)
." ( ∀x ∈ E ) : 7 A ( x ) "  6 " ( ∃x ∈ E ) : A ( x ) "   (c
3  . (17)
 (2
( (7A ⇒ 7B )et B ) ⇒ A 5 3 2 !  6 B  A ! ;
2  !")  . (18)   A 7 #8 ,)  ! ! (A  B)
( A ⇒ C et B ⇒ C ) ⇒ ( A ou B ) ⇒ C  .  B
!" (3
.22%&2 4 (V 5 3 2 !  6 B  A ! )
: %% /) %  !2%&2 (1  ! =8 7 #8  ! ! (A  B)
B A⇔ B      A     . ./
. #$%&' (4
:0  1 #$%&2  !2%&2 (2 ( A ⇒ B ) 5 3 2 !  6 B  A !
2!
. 7 B ⇒ 7 A    A ⇒ B    .9 B  A 7 #8 ,) 9 ! !
: 3  !2%&2 (3 .( B
2!! A ,!)
8  : A!  A     () % (5
.7 4 A.! ( A ⇔ B ) 5 3 2 !  6 
B A ! >)!
:2  !" !2%&2 (4 .,, . : B  A  7 #8 ,)  ! !
.( B >)! A ,!)
  ( ∀x ∈ E ) : A ( x )    E = E 1 ∪ E 2 !
. A ( x ) B) x ∈ E  #8 (*
1 :   .  (IV
. A ( x ) B) x ∈ E  #8 (*
2 : % (1
:5-%  !2%&2 (5 ! 7      , . 
 n ≥ n0     P (n)
    ?#6 ,, . 7 3  ! , 
:  .7
n = n0       (* .  #+, - (2
. n    P  A! (* ( A ⇒ B ) ⇔ (7A ou B ) (2) 7 ( 7 A) ⇔ A ( 1)
. n + 1    P    (* ( A ⇔ B ) ⇔ ( 7 A ⇔ 7 B ) ( 3)