Proprietăți ale operațiilor cu propoziții

1. ( p  q )  r  p  ( q  r ) Proprietatea de asociativitate a conjuncției (conjuncția este asociativă)

( p  q)  r  p  (q  r ) Proprietatea de asociativitate a disjuncției (disjuncția este asociativă)
2. p  q  q  p Proprietatea de comutativitate a conjuncției (conjuncția este comutativă)
pq  q p Proprietatea de comutativitate a disjuncției (disjuncția este comutativă)
3. p  ( q  r )  ( p  q )  ( p  r ) Proprietatea de distributivitate a conjuncției față de disjuncție
p  (q  r )  ( p  q)  ( p  r ) Proprietatea de distributivitate a disjuncției față de conjuncție
pq  pq
4. Legile lui De Morgan
pq  pq
5. p → q  p  q
6. p → q  p  q Legea negării implicației
7. p → q  q → p Principiul contrapoziției
8. p  q  ( p → q )  ( q → p )
9. ( p → q )  ( q → r ) → ( p → r ) Regula silogismului (proprietatea de tranzitivitate a implicației)
10. p  ( p → q ) → q Regula concluziei (modus ponens)
( p  q)  p → q
11. Modus tollendo ponens (negând un termen al disjuncției se afirmă celălalt)
( p  q)  q → p
12. p  p Principiul negării negației
13. p  p Principiul terțului exclus
14. p  p Principiul necontradicției
( p  q)  p  p
15. Proprietățile de absorbție
( p  q)  p  p

p q
0 0
0 0
0 1
0 1
1 0
1 0
1 1
1 1
r pq ( p  q)  r qr p  (q  r )
0 0 0 0 0
1 0 0 0 0
0 0 0 0 0
1 0 0 1 0
0 0 0 0 0
1 0 0 0 0
0 1 0 0 0
1 1 1 1 1

p q pq q p
0 0 0 0
0 1 0 0
1 0 0 0
 1 1 1 1

p q r pq ( p  q)  r qr p  (q  r )
0 0 0 0 0 0 0
0 0 1 0 1 1 1
0 1 0 1 1 1 1
0 1 1 1 1 1 1
1 0 0 1 1 0 1
1 0 1 1 1 1 1
1 1 0 1 1 1 1
1 1 1 1 1 1 1

p q r p→q q→r ( p → q)  (q → r ) p→r ( p → q)  (q → r ) → ( p → r )

0 0 0 1 1 1 1 1
0 0 1 1 1 1 1 1
0 1 0 1 0 0 1 1
0 1 1 1 1 1 1 1
1 0 0 0 1 0 0 1
1 0 1 0 1 0 1 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1

p q pq pq p q pq

0 0 0 1 1 1 1
0 1 0 1 1 0 1
1 0 0 1 0 1 1
1 1 1 0 0 0 0

Operații cu predicate. Mulțimi.

p ( x) : , xE


A = x  E p ( x) 

1. p ( x ) : , xE - Negația predicatului p ( x )


A = CE A = x  E p ( x )   CE A = x  E x  A

2. p ( x ) : , xE 
A = x  E p ( x) 
q ( x) : , xE B = x  E q ( x )

p ( x)  q ( x) : , xE - Conjuncția predicatelor p ( x ) și q ( x )

 
A  B = x  E p ( x)  q ( x)   A  B =  x  E x  A , x  B

3. p ( x ) : , xE 
A = x  E p ( x) 
q ( x) : , xE B = x  E q ( x )
p ( x)  q ( x) : , xE - Disjuncția predicatelor p ( x ) și q ( x )


A  B = x  E p ( x)  q ( x)   A  B =  x  E x  A sau x  B

4. p ( x ) : , xE 
A = x  E p ( x) 
q ( x) : , xE B = x  E q ( x )

p ( x)  q ( x) : , xE - Implicația predicatelor p ( x ) și q ( x )

A B x  E p ( x )  q ( x )  A B x  E x  A → x  B
5. p ( x ) : , xE 
A = x  E p ( x) 
q ( x) : , xE B = x  E q ( x )

p ( x)  q ( x) : , xE - Echivalența predicatelor p ( x ) și q ( x )

A= B x  E p ( x )  q ( x )  A= B x  E x  A  x  B
6. A − B =  x  E x  A , x  B

Proprietăți ale operațiilor cu mulțimi

1. ( A  B )  C = A  ( B  C ) Proprietatea de asociativitate a intersecției
( A  B)  C = A  ( B  C ) Proprietatea de asociativitate a reuniunii
A  B  C = ( A  B)  C = A  (B  C )
A  B  C = ( A  B)  C = A  (B  C )
2. A  B = B  A Proprietatea de comutativitate a intersecției
A B = B  A Proprietatea de comutativitate a reuniunii
3. A  ( B  C ) = ( A  B )  ( A  C ) Proprietatea de distributivitate a intersecției față de reuniune
A  ( B  C ) = ( A  B)  ( A  C ) Proprietatea de distributivitate a reuniunii față de intersecție
CE ( A  B ) = CE A  C E B
4. Legile lui De Morgan
CE ( A  B ) = CE A  C E B
5. CE ( CE A ) = A Principiul negării negației
6. A  CE A = E Principiul terțului exclus. În plus: A  CE A =  .
7. CE ( A  CE A ) = E Principiul necontradicției, adică CE  = E .
A  B
8. A = B  
B  A
( A  B)  A = A
9. Proprietățile de absorbție
( A  B)  A = A
xE

p ( x )  q ( x ) − T . D . − teorema directă
q ( x )  p ( x ) − T . R . − teorema reciprocă

p ( x )  q ( x ) − T . C . − teorema contrară

q ( x )  p ( x ) − T . C . R . = T . R . C . − teorema contrară reciprocei ( teorema reciprocă contrarei )

teoreme − rezultate remarcabile ( poartă un nume )


 propozitii − nu poartă un nume

Teoreme  lemă − rezultat auxiliar ( rar poartă un nume )
 consecintă (corolar ) −

 observatie ( comentariu ) −

Metoda inducției matematice

p  ( p → q ) → q Regula concluziei (modus ponens)
p → q adev.
  q adev.
p adev. 
p q p→q
1 0 0
1 1 1

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

Metoda inducției matematice

P ( 0 ) adev. 

  P ( n ) adev. , ( ) n  0
P ( k ) → P ( k + 1) , (  ) k  0


P (1) adev. 
  P ( n ) adev. , ( ) n  1
P ( k ) → P ( k + 1) , ( ) k  1


P ( 2 ) adev. 

  P ( n ) adev. , ( ) n  2
P ( k ) → P ( k + 1) , ( ) k  2

P ( l ) adev. 

  P ( n ) adev. , ( ) n  l
P ( k ) → P ( k + 1) , ( ) k  l 

Variantă.

P ( 0 ) , P (1) adev.  
  P ( n ) adev. , ( ) n  0
P ( k )  P ( k + 1) → P ( k + 2 ) , ( ) k  0


P ( l ) , P ( l + 1) adev. 

  P ( n ) adev. , ( ) n  l
P ( k )  P ( k + 1) → P ( k + 2 ) , ( ) k  l 

Altă variantă

P ( 0 ) adev. 
  P ( n ) adev. , ( ) n  0
P ( 0 )  P (1)   P ( k ) → P ( k + 1) , (  ) k  0


P ( l ) adev.  
  P ( n ) adev. , ( ) n  l
P ( l )  P ( l + 1)   P ( k ) → P ( k + 1) , (  ) k  l 


n ( n + 1)
1+ 2 + 3 + +n= , () n  

n ( n + 1)( 2n + 1)
12 + 22 + 32 + + n2 = , ( ) n  

n 2 ( n + 1)
2

1 +2 +3 +
3 3 3
+n = 3
, () n  

Obs. 13 + 23 + 33 + + n3 = (1 + 2 + 3 + + n ) , () n  
2

n ( n + 1)
P ( n ) :1 + 2 + 3 + +n=
2
I. (Etapa de verificare)
1(1 + 1)
P (1) : 1 = adev.  P (1) adev.
2
P (k ) :
II. (Etapa de demonstrație) P ( k ) → P ( k + 1) , (  ) k  1 , adică:
P ( k + 1) :

k ( k + 1)
P (k ) : 1+ 2 + +k =
2
pentru k  1
P ( k + 1) : 1 + 2 + + k + ( k + 1) =
( k + 1)( k + 2 )
2
 P( k )
k ( k + 1) k ( k + 1) + 2 ( k + 1) ( k + 1)( k + 2 )
Avem: 1 + 2 + + k + ( k + 1) = + ( k + 1) = = .
P( k )
2 2 2

III. (Etapa concluziei)

P (1) adev.  n ( n + 1)
  P ( n ) adev. , ( ) n  1  1 + 2 + +n= , () n  1
P ( k ) → P ( k + 1) , ( ) k  1
 2

n ( n + 1)( 2n + 1)
P ( n ) :12 + 22 + 32 + + n2 =
6
I. (Etapa de verificare)
1(1 + 1)( 2 1 + 1)
P (1) : 12 = adev.  P (1) adev.
6
P (k ) :
II. (Etapa de demonstrație) P ( k ) → P ( k + 1) , (  ) k  1 , adică:
P ( k + 1) :
k ( k + 1)( 2k + 1)
P ( k ) : 12 + 22 + + k2 =
6
pentru k  1
P ( k + 1) : 1 + 2 +
2 2
+ k + ( k + 1)
2 2
=
( k + 1)( k + 2 )( 2k + 3)
6

k ( k + 1)( 2k + 1)
P( k )
k ( k + 1)( 2k + 1) + 6 ( k + 1)
2

Avem: 1 + 2 + + k + ( k + 1) = + ( k + 1) = =
2 2 2 2 2

P( k )
6 6

k ( k + 1)( 2k + 1) + 6 ( k + 1)
2
( k + 1) ( 2k 2 + k + 6k + 6 ) ( k + 1) ( 2k 2 + 4k + 3k + 6 )
= = = =
6 6 6
( k + 1) ( 2k ( k + 2 ) + 3 ( k + 2 ) ) ( k + 1)( k + 2)( 2k + 3)
= =
6 6

III. (Etapa concluziei)

P (1) adev.   n ( n + 1)( 2n +1)
  P ( n ) adev., ( ) n 1  1 + 2 + + n2 = , (  ) n 1
2 2

P ( k ) → P ( k + 1) , ( ) k  1
 6

1 1 1 n
E2 / 58 c) P ( n ) : + + + =
1 4 4  7 ( 3n − 2 )( 3n + 1) 3n + 1

I. (Etapa de verificare)
1 1
P (1) : = adev.  P (1) adev.
1  4 3 1 + 1
1 1 2
P ( 2) : + = adev.  P ( 2 ) adev.
1 4 4  7 3  2 + 1
1 1 1 3
P ( 3) : + + = adev.  P ( 3) adev.
1 4 4  7 7 10 3  3 + 1
 P (k ) :
II. (Etapa de demonstrație) P ( k ) → P ( k + 1) , (  ) k  1 , adică:
P ( k + 1) :
1 1 1 k
P (k ) : + + + =
1 4 4  7 ( 3k − 2 )( 3k + 1) 3k + 1
pentru k  1
1 1 1 k +1
1
P ( k + 1) : + + + + =
1 4 4  7 ( 3k − 2 )( 3k + 1) ( 3k + 1)( 3k + 4 ) 3k + 4

Avem:
1 1 1 1 P( k )
k 1 k ( 3k + 4 ) + 1
+ + + + = + = =
1 4 4  7 ( 3k − 2 )( 3k + 1) ( 3k + 1)(3k + 4 ) 3k + 1 ( 3k + 1)( 3k + 4 ) (3k + 1)(3k + 4 )
P( k )

=
3k 2 + 4k + 1
=
( k + 1)( 3k + 1) = k + 1
( 3k + 1)( 3k + 4) ( 3k + 1)( 3k + 4) 3k + 4

III. (Etapa concluziei)

P (1) adev.   1 1 1 n
  P ( n ) adev., ( ) n 1  + + + = , (  ) n 1
P ( k ) → P ( k + 1) , ( ) k  1
 1  4 4  7 ( 3n − 2 )( 3n + 1) 3n + 1

E3. / 58 b)
1 2 1 − 2
P (1) :1 − 2 =
1 2 1 − 1
 1  1  22 − 2
P ( 2 ) : 1 − 2 1 − 2  =
 2  3  2  2 − 1
 1  1  1  23 − 2
P ( 3) : 1 − 2 1 − 2 1 − 2  =
 3  4  5  2  3 − 1
 1  1  1  1  24 − 2
P ( 4 ) : 1 − 2 1 − 2 1 − 2 1 − 2  =
 4  5  6  7  2  4 − 1
 1  1  1  1  1  2 5 − 2
P ( 5 ) : 1 − 2 1 − 2 1 − 2 1 − 2 1 − 2  =
 5  6  7  8  9  2  5 − 1

 1  1   1  2n − 2
P ( n ) : 1 − 2  1 −  1 − =
 n   ( n + 1)   ( 2n − 1)2  2n − 1
2
 

I. (Etapa de verificare)
 1  1  22 − 2
P ( 2 ) : 1 − 2 1 − 2  =  P ( 2 ) − adev.
 2  3  2  2 − 1
 P (k ) :
II. (Etapa de demonstrație) P ( k ) → P ( k + 1) , (  ) k  2 , adică:
P ( k + 1) :

 1  1   1  2k − 2
P ( k ) : 1 − 2  1 −  1 − =
 k   ( k + 1)   ( 2k − 1)  2k − 1
2 2
 
pentru k  2
 1  1   1  2k
P ( k + 1) : 1 −  1 −  1 − =
 ( k + 1)2  ( k + 2 )2   ( 2k + 1)  2k + 1
2
    

 1  1   1 
Avem: 1 −  1 −  1 − =
 ( k + 1)2  ( k + 2 )2   ( 2k + 1)2 
    

P( k )

 1  1  1   1  1  1 
1 − 2  1 − 2 
1− 2  1 − 2 
1− 2 
1− 2 
 k   ( k + 1)  ( k + 2 ) 
  ( 2k − 1)  ( 2k )  ( 2k + 1) 
   =
=
 1 
1 − 2 
 k 
 1  1 
1 − 2  1 − 2 
2k − 2  4k   ( 2k + 1)  2k − 2 4k 2 − 1 4k 2 + 4k k 2
=  =    2 =
2k − 1 − ( + ) −
2 2
1 2 k 1 4 k 2 k 1 k 1
1− 2
k
2 ( k − 1) ( 2k − 1)( 2k + 1) 4k ( k + 1) k2 2k
=    =
2k − 1 ( 2k + 1) ( k − 1)( k + 1) 2k + 1
2 2
4k

III. (Concluzia)
P ( 2 ) adev. 

  P ( n ) adev., ( ) n  2 
P ( k ) → P ( k + 1) , ( ) k  2

 1  1   1  2n − 2
 1 − 2  1 −  1 − = , ( ) n  2
 n   ( n + 1)   ( 2n − 1)2  2n − 1
2
 

 1  1   1  2 n−1  1  2 n−1 k 2 − 1
 ( 2n − 1)2  
Obs. 1. 1 − 2  1 −  1 −  =  1 − 2 
= 2 =
 n   ( n + 1)  k =n  
2
  k k =n k

=
2 n −1
( k − 1)( k + 1) = 2n−1 k − 1  k + 1 = 2n−1 k − 1  2n−1 k + 1 =  n − 1  n n +1 2n − 3 2n − 2 
k =n k 2 k =n k k

k =n k

k =n k

 n

n +1 n + 2
 
2n − 2 2n − 1 

 n +1 n + 2 n + 3 2n − 1 2n  n − 1 2n 2n − 2
    =  =
 n n +1 n + 2 2n − 2 2n − 1  2n − 1 n 2n − 1
  1  1  1  1  n+1  1  n+1 k 2 − 1
 ( n + 1)2   1 − 2  =  2 =
2. 1 − 2 1 − 2 1 − 2  1 − =
 2  3  4    k =2  k  k =2 k

=
n +1
( k − 1)( k + 1) = n+1 k − 1  k + 1 = n+1 k − 1  n+1 k + 1 =  1  2  3 n −1 n 
k =2 k 2 
k =2 k k

k =2 k
k =2 k

2 3 4
 
n n +1 

3 4 5 n +1 n + 2  1 n+2 n+2
    =  =
2 3 4 n n +1  n +1 2 2n + 2

2n  n 2 , (  ) n  5 2n  n 2 , (  ) n  4

P ( n ) : 2n  n 2

I. (Etapa de verificare)
P ( 5 ) : 25  52  P ( 5 ) − adev.

II. (Etapa de demonstrație) P ( k ) → P ( k + 1) , (  ) k  5 , adică:

P ( k ) : 2k  k 2
pentru k  5
P ( k + 1) : 2k +1  ( k + 1)
2

Avem:
2k +1 = 2  2k  2k 2 = k 2 + 2k + 1 + k 2 − 2k − 1 = ( k + 1) + k ( k − 3) + k − 1  ( k + 1)  2k +1  ( k + 1)
2 2 2

0
0

III. (Concluzia)
P ( 5) adev. 
  P ( n ) adev., ( ) n  5  2  n , (  ) n  5
n 2

P ( k ) → P ( k + 1) , ( ) k  5

 2n  n3 , (  ) n  10

P ( n ) : 2n  n3

I. (Etapa de verificare)
P (10 ) : 210  103  P (10 ) − adev.

II. (Etapa de demonstrație) P ( k ) → P ( k + 1) , (  ) k  10 , adică:

P ( k ) : 2k  k 3
pentru k  10
P ( k + 1) : 2k +1  ( k + 1)
3

Avem:
2k +1 = 2  2k  2k 3 = k 3 + 3k 2 + 3k + 1 + k 3 − 3k 2 − 3k − 1 = ( k + 1) + k 3 − 7k 2 + 4k 2 − 4k + k − 1 =
3

= ( k + 1) + k 2 ( k − 7 ) + 4k ( k − 1) + k − 1  ( k + 1)  2k +1  ( k + 1)
3 3 3

0
0 0

III. (Concluzia)
P (10 ) adev. 
  P ( n ) adev., ( ) n 10  2  n , (  ) n 10
n 3

P ( k ) → P ( k + 1) , ( ) k  10
