8565558789

-66-

nkAtk AZ * l = {lkA(RZ_vRZ =ls ))

p k    p^v gw 1:2

RZ * K s {kkAks>

P »<

kk_vik =» J_k = <Jq₁:,vJ«^:i_lłl>

(AZ =>RZ )w(AZ =>RZ )_VRZ w RZ wAZ ) =* O = {iqwik>

1    1 ^v t t ^v gw^v gS^v s    k    ^v

AZ wikwją wys =* IH = {hq} c^{w w} 1*1 ^ł

iq_vks_vns => s {gk_vgq} hq_v(gk)_v(gq) =*    = {fq>

gk_vgq =>    = <ek_veq}

jq_iti_Vek_veq * <dq> fq_v(dq) =»    = {cq}

RZ_cVdq (B^ = {bq} cq_v(bq) =>    = {aq>

Zgodnie z prawem symplifikacji dla koniunkcji (wzór 3.21) skutki pośrednie zamieniają się w przyczyny (czasem i warunki główne) kolejnego lub przyszłego następstwa zdarzeń tworząc konieczny łańcuch zdarzeń, poprzedzający wypadek przy pracy.

W celu uzyskania większej przejrzystości zbiory zdarzeń (Z ...A ),

k k

wyselekcjonowane uprzednio, a stanowiące warunki konieczne występującego następstwa zdarzeń, pogrupowano w makrozdarzenia 0^ . .0 , stanowiące większe ogniwa rozpatrywanego łańcucha zdarzeń . Zastosowano trzy rodzaje nawiasów, które oznaczają:

- zbiory zdarzeń warunkujące konieczne następstwo zdarzeń,

składniki istotne warunku koniecznego następstwa

- objaśnienie dotyczące wcześniejszego następstwa zdarzeń