, (.. , ) (.. , ). , , , - .
, (, ) . (. thesis , ) , , , , (. demonstratio ) .
" ?" , (, ). . , , , .
(, ) " ?" , : . , . , . . , , . , , , , . .
" ?"). . . , . , , , .
- . ( , , ), ( ). , , ..
( ) , . ( ) , , , , . ,
|
|
, , , , , .
:
S 1 P 1, P 2, P 3,..., P n-1, P n.
S 2 P 1, P 2, P 3,..., P n-1
S 2 P n
S 1 S 2 , P 1, P 2, P 3,..., Pn -1 , S 1 S 2, Pn , S 1 S 2. [3].
, , ; , , . , .
. , (S 1) (S 2) : (P 1), (P 2), (P 3), (P 4) .. (P n). , (P n).
, , . , , , . , , . , . , , , , . , , . .
- . , , .
( . inductio ) , () , ().
, , , :
S 1 P
S 2 P
.
.
.
Sn P
S 1, S 2,... Sn S
S P
:
.
.
|
|
.
.
.
, , , ,
, , S P, S 1, S 2,..., Sn P : S 1 P, S 2 P .. : , .
, () , . . , , , , , , , . .
() . . ( .)
. , , , . . , , :
.
.
.
.
.
, , , , , , , :
.
, , . , , .
, . . , . . , - : , , , , .., , , .. , - , , . , , .
. , , , , .
, :
A → B | A → B |
_ _ B _ | _ Ø A |
A | Ø B |
() (). () (). , , , .
|
|
, :
A → B | A → B |
A | Ø B |
Ø A |
, , , , , , . , , , :
.
-
, .