8565558795

-67-

W przypadku wielokrotnego wykorzystania tej samej wielkości nawiasu w celu odróżnienia zastosowano numerację nawiasów.

Zgodnie z prawem przechodniości implikacji, którą wyraża prawo sylogizmu hipotetycznego (wzór 3.16) pomiędzy poszczególnymi ogniwami, które też są zdarzeniami, zachodzi zależność implikacji przyczynowej.

W ■* U * ^

o => zw => o =*

k 6    k 5

[lkA(kk_vRZ_gw)]_vRZ_tVRZ_jVRZ_qsVAZ_s *

=*    [iq_vks_vns]Ahq * 0    => [jq _vek_veq]Afq =»

KO    JL 1

0    * [RZ _vdq]Acq =» 0

aqAbq.

(5.18)

Po rozpisaniu wzór (5.18) przyjmuje następującą postać:

0 =■

={ZWAZU >

=> ZW =*

f (		(		( (	i
0 - J	AZ	=>X	AZ	=•( tkARZ =»1N ={nkAns}	i
^ks (“ l		^k l	W	k \ w[ k	i

v ^A^|^S^4^lkA[^RZpHk^5{kkAkS>)v^RZgw]} vAZ_sVAZ_lVAZ_t}

	i r
AZ	s{hq> A RZ rz
c	{ k J i c^v gsj

}