Talamidi.

com ‫ﺗﻢ ﺗﺤﻤﻴﻞ ﻫﺬﺍ ﺍﻟﻤﻠﻒ ﻣﻦ ﻣﻮﻗﻊ‬

‫ا ــــ ــــــ‬
(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 ) ⇔ ( 7A et 7B ) (*)  ! ! 7 A 5 3 2 !  6 A   (a
- .   !/ %&+ (15) .   A 8 #7 9  ! 9 A 8 # 7   
( 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
0 %&+ (17)
 (2
( (7A ⇒ 7B )et B ) ⇒ A 5 3 2 !  6 B  A ! ;
/ $ %&+ (18)     A 8 #7 ,)     ! ! (A  B)
( A ⇒ C et B ⇒ C ) ⇒ ( A ou B ) ⇒ C  .  B
 (3
.// !/ 1 (V 5 3 2 !  6 B  A ! )
:    ,$  / !/ (1  ! = 7 8 #7     ! ! (A  B)
B A⇔ B         A      .   ./
.     !" (4
:- .   !/ / !/ (2 ( A ⇒ B ) 5 3 2 !  6 B  A ! 2!
. 7B ⇒ 7 A     A ⇒ B     .9 B    A 8 #7 ,) 9  ! !
:0 / !/ (3 .( B 2!! A ,!)
7  :  A!    A      #$  (5
.8 4 A.! ( A ⇔ B ) 5 3 2 !   6 B  A ! >) !
:/  / !/ (4 .,,  . : B  A  8 #7 ,)     ! !
.( B >) ! A ,!)
   ( ∀x ∈ E ) : A ( x )     E = E 1 ∪ E 2 !
.   A ( x ) B) x ∈ E  #7 (*
1 :   .  %  & (IV
.   A ( x ) B) x ∈ E  #7 (*2 :  (1
:2*  / !/ (5 ! 8       , . 
 n ≥ n0        P (n)
     ?#6 ,, . 8 3    ! , 
:  .8
n = n0         (* .   %  & () * (2
. n      P  A! (* ( A ⇒ B ) ⇔ (7A ou B ) (2) 7 ( 7A) ⇔ A ( 1)
. n + 1      P    (* ( A ⇔ B ) ⇔ ( 7 A ⇔ 7 B ) ( 3)