. (F(A,B)). .
1. ùù <=> ( " ": .)
ù | ùù | ùùA<=>A | |
, .
2. (( => ) & ù) => ùA ( " ": , , .)
A | B | A=>B | ùB | (A=>B)&ùB | ùA | ((A=>B)&ùB)=>ùA |
( ) , .
,
: , . : ) , , , : ; ) - , ; ) - ( ) , . , .
17. . .
. , . , .
. , . .
1. . , .
2. , , . , .
3. , , , , . , . , - . . :
- ;
- ;
- ;
- .
. , . .
1. , . , . , , .
. , .
. , .
2. , . , . , . , .
. : , , . , XII :
-, -I (), - (). I-O (), -I - .
|
|
18. . .
, - .
, / : , , ..
, , , .
:
1) ;
2) ;
3) . , , .
, , .
, , , - .
, .
, :
1) , ;
2) , , .
- , , (- ). , .
-,. .
: 1. 2. 3. .
:
1. : " ?"
2. .
: " ?"
: ", ?"
:
1. ( ).
2. .
3.
|
|
19. .
.
1. . . ( ).
.
2. .
, ().
" "
" "
3. . : , .
, .
4. . , .
, .
. ""?
(), (), , ( , , , ).
20. " ", " , ", . .
: , .
, . , , -.
, - . , , .. .
- , , . , .
. , .
[3] :
; () , , ; , ( ) - " ", " , ", . .
: , .
, . , , -.
, - . , , .. .
- , , . , .
. , .
[3] :
; () , , ; , ( ) - " ", " , ", . .
: , .
, . , , -.
, - . , , .. .
- , , . , .
. , .
[3] :
; () , , ; , ( ) - " ", " , ", . .
: , .
, . , , -.
, - . , , .. .
- , , . , .
. , .
[3] :
; () , , ; , ( ) - " ", " , ", . .
: , .
, . , , -.
, - . , , .. .
- , , . , .
. , .
[3] :
; () , , ; , ( ) - " ", " , ", . .
: , .
, . , , -.
, - . , , .. .
- , , . , .
. , .
[3] :
; () , , ; , ( ) - " ", " , ", . .
: , .
, . , , -.
, - . , , .. .
- , , . , .
. , .
[3] :
; () , , ; , ( ) -
|
|
|
|
|
|
" ", " , ", . .
: , .
, . , , -.
, - . , , .. .
- , , . , .
. , .
[3] :
; () , , ; , ( ) -
21-22. ; . .
: ; . : , - ( , .
() . : , : b, -b. , .
, , , . .
. () , I .
( ). ( : -).
23. .
- , , , , .
: , , .
() .
( ) .
, , .
, .
( ), ( ) . , . . . . .
.
24
- , .
-
-
-
, , - .
25. : .
1. - .
- ( ).
- . - ( I).
:
- - .
I - - . - .
.
2. - , .
- .
.
,
I O, O I
26. - , , , , .
, , - . , , , I, .
S л, : S л.
:
:
.
.
:
S .
S -.
: .
-.
S .
S -.
I: .
-.
S .
S -.
: .
-.
S .
S -.
27. - , .
: , .
( ), ; , .
:
: .
- .
- .
S .
S.
. ( ) .
.
:
S, S, .
S.
: ( ).
.
.
S .
S.
I: .
- .
- .
S .
S.
:
, , .
.
S, S, .
S.
: .
. . , . , - . . - .
, , , , :
S .
- S.
. . , , : "S ", "S -", "- S". . , . ; ; ; . .
29. .
- 2 , .
:
* S : ( );
* P : ( );
* M : , .
4 3 .
:
1. .
2. - .
3.
4. .
:
1. 3 , - . ( . - . )
2. . , .
3. , .
.
1. M-----P
S-----M
2. P-----M
S-----M
3. M-----P
M-----S
4. P-----M
M-----S
30.. .
. :
-
-
-
- ( )
-
- ,
- ,
.
: , EAE, AII, EIO.
(Barbara) () () ()
(Celarent) -() () ()
AII (Darii) -() (I) S (I) S
EIO (Ferio) -() (I) S () S
, - , . - ( S ) - ( S )J - ( S ) - ( S )1. - , .
, .
31. ) .
1. , . , . , , , . : . . , . : , .
2. , , . , . , , . , - , , . (. 3).
, ( ) ( ), .
3. , , . -: . . , . (. 4).
) .
4. . , . , : - . ( ) - (), , 5.
5. , .
: - - . , - , .
6. .
, . : - .
7. , . : . . , . (. 6). " ", " , ", . .
: , .
, . , , -.
, - . , , .. .
- , , . , .
. , .
:
; () , , ; , ( ) -
32. .
. :
-
-
-
- ( )
-
- ,
- ,
33. , .
/
, , : , . :
,
:
1- ( )
() ()
(S) ()
(S) ()
, , , .
.
34. ( ) , .
.
.
.
( ) .
(). , , , , . , , , , , .
, , , .
A A C, A B [ B C].
O D A, D E [ E A]
O D C [ B].
1:
(A) , , (C), (A) (B) [ (B) (C)].
:
(induction complete)
(inductio incomplete per enumerationem simplicem).
; , , ; . , .
:
: 1, 2, 3, , n.
1
2
3 n
, .
, . , . , . , , .
:
: 1, 2, 3, , n.
1
2
3 k B
, , k+1 .
:
, .
, .
, .
. , , , , . , .
. (per enumerationem simplicem, ubi non reperitur instantia contradictoria) , -, , . . , , , , . . . , , , . . , , .
, , , , . , ( ) , , , .
, , , ; , , , , , . , ., , , , , , , , , . ; , ; . , , , , , . .
, . , ; , ; , , . , , ; , . , , , . post hoc ergo propter hoc[2], , .
- . . . , . . .
1. , , , - - , , , . :
, , d.
,F, d.
, , d.
-, d.
, - ( , , . .), , .
2. -, , , - ; , . :
, , d.
, d.
, d.
, , , , . , .
3. , , . :
, , d.
, , d.
, d.
, d.
, d.
, , .
4. , . .
, . , . : , - ( ). , . -, - .
:
, , d.
1, , d1.
2, , d2.
-, d.
, , . , , . , , . , d- - .
5. , , . :
, , ,b, .
- .
- b.
, .
: , , , () .
.
37. , . . .
- .
:
1. - ( )
2. - . - .
:
1. - . , . , . ( , 3 1- - = 3- 2- -, - . - .
2. - , ( -.) .
3. . .
. -
.
.
1) ;
2) ;
3) .;
4) , .
.
-, . . . -