GNU Free Documentation License . .

: ,
: «5» 1/6

́ ( )  .

,   , , . . ,   , , , , 1/2. , .

. , , ,   . [1]

[]

( ) . P, X, . .

  • \mathbf P(X) = 1, \; \mathbf P(\varnothing) = 0.
  • \forall A \subset X \colon \mathbf P(A) \geqslant 0.
  • P (-): A1, A2, , An, , \mathbf P(A_1 \cup A_2 \cup \ldots \cup A_n \cup \ldots) = \mathbf P(A_1) + \mathbf P(A_2) + \ldots +\mathbf P(A_n)+...

, P : A1 A2 , \mathbf{P}(A_1 \cup A_2) = \mathbf{P}(A_1)+\mathbf{P}(A_2). A3, A4, .

X. - \Omega, X. X, - \Omega.

[]

, , - , , ,   . , , , ( ) .[2]

, . , , , , , , , , ; : probatio plena ( ),   probatio minus plena,   probatio semiplena major , , probatio semiplena minor.[2]

, , , ( ) , , . , , - ( XVI ) , (. ).[2]

, . ( ), - , ( ), , , ( «» «»); , , , , , 1/2, . , . , , : 80 ? , , , ( , , , , , , , - , , ,   , , ,  ); ; , ; 80 . ( ) a priori; , . , , 10000 80 45; , , 45 10000, , 80 , 0,0045.   .[2]

[] .

[]

  1.    
  2. 1 2 3 4 . .  // : 86 (82 . 4 .).  ., 18901907.

[]