D P 1, P 2,..., Pn. P 1, P 2,..., Pn , D .
, , . . P 1Ù P 2Ù... Ù Pn D .
, (. . 1), , . .
:
P 1, P 2,..., Pn
D
1.7.
.
) , . . , .
: = " "; B = " ". :
Ø B, B
Ø
, (( Ø B)Ù B)Ø . , :
(( Ø B)Ù B)Ø º Ø(( Ø B)Ù B)ÚØ A º (A Ù B)ÚØ B ÚØ A º
º (Ø Ú Ø B Ú A)Ù(Ø A ÚØ B Ú B) º 1.
, .
) , . , . . , .
: = ; B = . C = . :
B, Ø A , A .
Ø
(( B) Ù (Ø A ) Ù A) Ø C:
(( B) Ù (Ø A ) Ù A) Ø C º Ø(( B) Ù (Ø A ) Ù A) Ú Ø C º Ø( B) Ú Ø(Ø A ) ÚØ A) Ú Ø C º Ù Ø B Ú Ø A ÙØ ÚØ A ÚØ C º Ù Ø B Ú Ø A Ú Ø C º ( Ú Ø A Ú Ø C) Ù (Ø B Ú Ø A Ú Ø C) º Ø B Ú Ø A Ú Ø C.
- . , -, .
1. , , . .
2. , (, ).
|
|
1
1. (P Q) ((Q R) (P R)).
2. , . . , .
2
1. (P Q) ((P (Q R)) (P R)).
2. , . , . , , . , , , .
3
1. (P R) ((Q R) ((P Ú Q) R)).
2 , , . , , , . . , .
4
1. (Q R) ((P Ú Q) (P Ú R)).
2. , . , , . . , .
5
1. ((Q Ú (R Ø P)) (R Ù (P Q))) Ú Ø R.
2. . , . , , .
6
1. ((P Q) (Q R))Ù P R.
2. , . , . . , , .
7
1. (Q Ú (R P)) (R Ù (P Q)).
2. , . , . , . . , .
8
1. (P Q) ((Q R) (P R)).
2. , . , . , , .
9
1. (P Q) ((Q R) (P R)).
2. , . . , . . , .
10
1. ((Q Ú (R Ø P)) (R Ù (P Q))) Ú Ø R.
2. , . , . . .
11
1. (P Q) ((Q R) (P R)).
2. , , . , . , .
|
|
12
1. (P Q) ((P (Q R)) (P R)).
2. , . , , . , . , .
13
1. (P R) ((Q R) ((P Ú Q) R)).
2 , . , . , . , .
14
1. (Q R) ((P Ú Q) (P Ú R)).
2. , . , . . , , .
15
1. ((Q Ú (R Ø P)) (R Ù (P Q))) Ú Ø R.
2. , . , , , . . , , .
16
1. ((P Q) (Q R))Ù P R.
2. , . , . . , .
17
1. (Q Ú (R P)) (R Ù(P Q)).
2. , . , . . , .
18
1. (P Q) ((Q R) (P R)).
2. , . , . , .
19
1. (P Q) ((Q R) (P R)).
2. , . , . , , . , .
20
1. (R P) ((P Q) (R Q)).
2. , . , . . , .
2.