. , , ( ); , , A B, (), , (). , A B, . P() P(/) (. . , , , . . - ): P()=P(/) ( P(/), ).
V
: () (ºb) () (( É)É):
a | b | c | º b | ((a É c) | É ) |
. 30
, (A)=1/2 ( ()=1/2). , ( ):
a | b | c | º b | ((a É c) | É ) |
. 31
P(/): P((ºb)/((É)É)=1/2. , , (A)=P(/)=1/2, , ( ).
, , , , . . () ().
, : 1) P(/) P() (P(/)>P()), . . , , ; 2) P(/) P() (P(/)<P()): , . , , P(/) P() ( P()<P(/)): (A) (B1,..., Bn), . . , B1, ..., Bn ║= .
|
|
V
: , N , , . ((bÉ)Ù(É))É(dÉ) :
a | b | c | d | ((bÉ) | Ù | (É)) | (dÉ) |
. 32
: P(dÉ)=3/4 P((bÉ)Ù(É))=1/2. P(dÉ)/((bÉ)Ù(É))É(dÉ)) :
a | b | c | d | ((bÉ) | Ù | (É) | (dÉ) |
. 33
: 1) P(dÉ)/((bÉ)Ù(É))É(dÉ))=9/10; 2) ((bÉ)Ù(É)) (dÉ) , P(dÉ)<P(dÉ)/((bÉ)Ù(É))É(dÉ)), .
, . , : 1, ..., n │= ( ={1, ..., n } ), : B1, ..., Bn ║= ( ={B1, ..., Bn} ), . . ( , , , - ). , , , , A , .
|
|
V
, 100 , , , , , 100 , : 100 , , , 100 , , . ( modus tollens, ) ((Éb)ÙØb)ÉØa)) ((ØaÉ((Éb)ÙØb)) :
b | (( É b) | Ù | Øb) | Ø | ||
. 34
: P((Éb)ÙØb))=1/4 P(Ø)=1/2.
P((Éb)ÙØb)/(Ø):
b | (( É b) | Ù | Øb) | Ø | ||
. 35
, P((Éb)ÙØb)/(Ø)=1/2. , 1/2>1/4, . . .