, . , . , . , . .
-
, , , . 2 : .
( ) , 2- .
⊃
100 . Ÿ . .
.
⊃
, . , . .
( ).
⊃
ß-
Ā
, . . .
. .
⊃
Ā.
ß-
, . . .
-
, () , .
-. 2- , . ((p ⊽ q ⊽ z) ⋀ p) ⊃ q-,z-. , , . . .
, : .
-. , ( ) , ((p ⋁ q ⋁ z) ⋀ p- ⋀ q-) ⊃ z.
: 1) , . . P, S. S, P
() .
p ⊽ q
p1 ⊽ p2 ⊽ p3 ⊽
p1 ⊽ p2 ⊽ p3 ⊽ q.
,
,,
|
|
,,,
.
. .
, ( ). , . , .
- 2- [2].
4) (. inductio ) . , , .[1]
.
, , , , , , . .
:
(induction complete)
(inductio incomplete per enumerationem simplicem).
[]
5)
; , , ; . , .
:
: 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], , .
6) - . . . , . . .
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.
, .
: , , , () .
|
|
.
, .
- , . , - , . , - .
, , , , 100 95 . , , , 95:100, .. 95%.
, , :
Ø ;
Ø ;
Ø , ;
Ø ;
Ø , , .
, . , () . - . , , , , . .
. -, , , . -, , (, , , , . .). , .
- , . , , , . , , . , , , - , ( ).
: , , .
. , (, , , ), , ( ). , , ; , , .
, , , , , , . . , , - , , , . , , , , .
|
|
, , , . , . - .
7) , . ( ) , () , , , , , . :
, , , , : . ( ), , , . , , , , . , , , .
, , - , , . , , (), , , , .. , .
, , . , , , .. . , , , , , R. - , , , , , .
, : , .
, , "", "", "", "", "", "", "" ..
.
, IIIII . . ., , "", "" .. , "", "" .. " ., . :
, ..
. .
, , :
,
=z, =q
.: z, q.
. , , , , . , ; , , . , , , , :
.
, . : (, , ) , . : () , , () , , , .
:
, , , , , ,
, , , , ,
.: .
, , . - , , .. , , , , , , , , , , :
, , , -
() , , ,
, .
, , - . , , , . 2+3 3+2, 2 x 3 3 x 2; : 6 9, 10 15.
8)
[1] .., .. : . . . . . .: -, 2001. . 131.
[2] . . .: , 1996. . 120.