5.1. .
5.2. .
5.3. .
5.4. , .
6. .
6.1. , .
6.2. , , (.)
7 . . , . , .
7.1. . 7.2. .
. .
, .
8.1., , . . , .
8.2. , .. : , . . , .
3
, .
. . . . . . . . . . . . . .. .
2. . , , .
2.1. , , .
2.2. , .
2.3. .
2.4. .
, , . , . .
3.1. .
3.2.. .
3.3.. .
3.4.. .
4. . .
1. , .
2. - .
3. , .
5. , .
4.1. (P Λ Q) → R. 4.2. P → (QΛR). 4. 3. (PΛQ)→(RΛS).
|
|
5.. .
5.1. , . , , .
5.2. , , , , , , - (. . ).
- , , , .
6.1. , .
6.2. , .