. , , , , , , .
, , - , . , , .
: , . . . , .
1. (. obversio) , , .
. , , . : . , , . ( ) .
, , , .
, . :
( )
( ).
, , , :
1. "
2. "
3. "
4. "
, , , , - , , . : ; , .
2. (. conversio)
.
, , , , . , , . .
|
|
, , - , ( : 1) , 2) , 3) , 4) , . , : 1) ; 2) . .
: , , , .
. . , , .
, . , , , .
:
.
, , , .
. . : , ( ), : , ( ).
, , , (. ).
3. (. opposition praedicati) ‑ , .
, , . .
: 1) , , ; 2) , , .
, .
|
|
, . . .
, , . , , . , .
: ; , .
, , ó . , , , , .
(. syllogismos ) , , . .
, , , .
, , :
1) ( . kategorikos , , ), . : ( M), (M P), , ( P);
2) , () , (, , ). : , ; ; , ;
3) , , , . : , D; ; , D.
, , , . , , .
(, , ), , ( ∕ ), .
, , , , , . , , ( medius ).
, : , ό , , - . , ό , ό , .
, , , . , .
(moods), () ( ) (, , ). :
|
|
- | ∀A ‑ B | SḁΡ | ||
- | ∃A ‑ B | SiΡ | ||
∀Ā ‑ ~B | SeΡ | |||
∃A ‑ ~B | SoΡ |
, , ( ∀), ( ∃, , ( ~ ¯) , . , .
, . , , . , , . .
() .
.
.
.
:
M P P M M P P M
S M S M M S M S
1- 2- 3- 4-
, , . , 16 . , ό : , , , . , 64 . , 256 . 19 , , , .
: ) ) , .
:
1. (, ό, ).
2. .
3. , .
4. , , .
5. .
6. .
7. .
8. , .
9. .
|
|
:
1. ό , .
2. ό , , .
3. , .
4. ; - .
, , , I, . :
1- ‑ , , I I, I ;
2- , , I O, ;
3- I, I A I, A I I, E A O, O A O, E I O;
4- ‑ A A I, A E E, I A I, E A O, E I O.
(ό ), . , 19 . . : л, : ̻. , ( ; , , ).
, . , . .
. , :
1. .
2. .
: .
: - ; M.
- ; SaM.
- ; SaP.
, − , , , .
:
1. , . :
.
.
.
, , : , − . , .
2. . :
.
− .
.
3. . :
.
.
.
. , , , . , , .
, . , , , . . , , , − . :
.
.
.
.
.
.
:
.
.
.
, , , , . , , . , : − , ( , , . .): , .
|
|
, , , , . . , , , , . . , , . , , , − . . ( ) ( ) . , , , .
, . . , , . , . , , ( ) . :
− .
− .
− .
− .
− .
. , :
− .
− .
− .
− .
− .
:
:
1. ; ; , .
D 2. ; D; , D.
D 3. D; D ; , .
− :
D :
D 1. D ; D; , .
2. ; ; , .
3. ; ; , .
, − , . , ( ) .
- :
1) - (modus ponendo tollens)
, .
.
;
2) - (modus tollendo ponens)
, .
.
.
. - . , - , N , , , - N , N .
. , . , , , D , ѻ, − », ѻ , D .
, , .
, D.
D, F.
, F.
, () , () , . , , , , . , . .
- - .
). - ( ) ( , ).
- : ) ) .
) , . ) , .
, . , .
, . , .
; , .
, , () (). .
, , () () . .
, , , - (modus tollendo ponens) .
, .
, .
, .
, .
, R.
, R.
R.
). - . .
- . . .
) (modus ponens) ) (modus tollens):
) , D. ) , D.
. D.
D. .
. .
, , , . : , . . , . , , .
: , . . , .
, , , , , , , , , , .
- :
1. .
2. .
3. .
4. .
, .
, . , (. ).
). − , . : ) ) .
) )
: 1). : , , . 2). : , , , , , .
, , , (), ().
10. ?
11. ?
12. ?
13. , .
14. ?
) . .
:
1). . . xRy = R(x,y).
2). . . .
3). . . S P.
4). . . S P.
1). a = a(t). 2). . 3). . 4). . 5). , .
) : , ; , . , . , ; , . , , ; , , ( . ., 1993. .167).
). : , .
). : : , .
). , : . . .
4.
, . ; , , , − . , (. induction − ). , .
, , . - , , , . , , , , , , .
; ; :
() .
:
1 ,
2 ,
.
n ,
1^ 2^.. n ,
.
. , , .
.
, , , .
, , , , .
:
1 ,
2 ,
.
n ,
1^ 2^.. n ,
, .
: 1) , 2) , .
, . : , .
, . , , , . , .
, , . , . , , . , , , , , . , , , , . , , . .
, , .
. , - . . , . , .
:
1 ,
2 ,
.
n ,
.
1^ 2^.. n ,
, .
, , .
, , , . . , , ..
, - . , . , , . .
1. ?
2. ?
3. ?
4. ?
). , , : 1). . 2). . 3). . 4). .
). , , : 1). . 2) . 3). . 4) .5). Ҹ .
5.
, , . , - .
, . .
, , , . . , .
, , , . , .
: , , , , . , . .
. . , , . , , , , .
, .
, . , . , , ; , . , , , , , . , , , , , .
, :
,
,
, .
, , ; , . , , , , .
. .
: , , , . , , . , , . , . , , , , , , . , , , . : , , , , , , , , ( ) :
,
- -,
, .
. , .
. , ‑ , . ό, . , , , , , , ; .