.
14.2. , .
.
,?
XV. , .
, . : , , ? .
XVI. . , ?
, .
3
I. : , , , , , .
II. , .
) .
) , , .
) .
) .
) .
) .
III. ?
: ,
:
IV. :
, , .
V. . : ) , ) , ) , ) , ) .
VI. ?
6.1. ;
6.2. .
VII. , , , .
7.1. .
7.2. .
7.3. .
7.4. , .
7.5. , .
7.6. , , .
VIII. , . ? , , .
8.1. : .
8.2. .
8.3. , , , , , , .
IX. , , , , :
|
|
9.1. .
9.2. .
9.3. .
9.4. .
X. ( )
) .
.
) .
.
XI. , .
, . , . , .
XII. :
) ,
) ,
) ,
) .
, , , .
XIII. , , , ( ):
13.1. ((p → q) ^ q) → q
13.2. (p V q V r) = p ^ q ^ r
XIV. , . , . , , .
14.1. .
.
.
14.2. , , , . , .
14.3. , . , , , X = .
,
(. . ).
XV. , .
, ,
(. -).
XVI. . , ?
, (. ).
4
I. : , , , , , .
II. , .
2.1. .
2.2. .
2.3. .
2.4. 1911 .
2.5. XIX .
III. ?
, , , , , , , ; , .
|
|
IV. : , , , , .
V. . :
5.1. , , ,
5.2. , , ,
5.3. , ; , ; , ; , .
VI. ?
6.1. , , , , .
6.2. , , , , .
VII. , , , .
7.1. ,
7.2. ,
7.3. ,
7.4.
7.5. , !
7.6.
VIII. , . ? , , .
8.1. .
8.2. , .
8.3. , , , , .
8.4. , .
8.5. , .
IX. , , , , :
9.1. .
9.2. , .
9.3. .
9.4. .
9.5. , , .
9.6. .
9.7. .
X. ( )
10.1 .
.
10.2. .
, - .
XI. , .
, . , . , .
XII. :
12.1. , .
12.2. , .
XIII. , , , ( ):
13.1.((p V q)) → (p ^ q)
13.2. (p → q) → (p ^ q)
XIV. , . , . , , .
14.1. , XVII . .
14.2. , , , I. , I, .
|
|
14.3.
?
XV. , .
, . , , . , . . , ; , , . . , . , . , , .
XVI. . , ?
, .
5
I. : , , , , , .
II. , .
5.4. .
5.5. .
5.6. .
5.7. .
5.8. .
III. ?
! - . - , -, ? - , !. ? - . , ? , . ( .. .)
IV. : , , , , .
V. . :
5.1.1. , , , , , .
5.2. , , , , , ., . .
5.3. , , , , .
VI. ?
6.1. , , .
6.2. , , , .
VII. , , , .
7.1. .
7.2. , .
7.3. , .
7.4. -.
7.5. .
7.6. .
VIII. , . ? , , .
8.1. .
|
|
8.2. .
8.3. .
8.4. , , .
8.5. ( ).
8.6. .
IX. , , , , :
9.1. .
9.2. .
9.3. .
9.4. .
9.5. .
9.6. .
9.7. .
X. ( )
10.1 .
.
10.2. .
.
XI. , .
, . . , , , .
XII. :
12.1. , .
12.2. , .
XIII. , , , ( ):
13.1. (p → q) º (p ^ q)
13.2. ((p → q) ^ (p → q)) → p
XIV. , . , . , , .
14.1. , , . , . ,.
14.2. , . . ,
14.3. .
.
?
XV. , .
... ... ; , , , , , , (. )
XVI. . , ?
, .. .