8565558676

-30-

2) zaprzeczenie tylko samego składnika istotnego warunku koniecznego

I stanowi jego zaprzeczenie logiczne, niekoniecznie równoznaczne z jego rzeczywistym zaprzeczeniem ze względu na zagrożenie bezwzględne występujące w środowisku pracy.

Wymienione założenia zostaną wykorzystane w rozdz.6 oraz dalszych i znajdą tam szersze uzasadnienie. Przykładowo    skutek gk implikuje

warunek konieczny E , z kolei na zasadzie symplifikacji dla alternatywy, (wzór 3.20) warunek konieczny E implikuje warunek półdeterministyczny E:

gk =* E = {ek^es } =* £ = (ek^A(es _ves )}    (jei=2, 3, . . n; neN),    (3.33)

kl    12

gdzie ek - zdarzenie kinetyczne, es_i~ zdarzenie statyczne,

(stanowiące przyczynę i warunek główny niepożądanego następstwa zdarzeń, czyli warunek konieczny),

es - możliwe warunki uboczne, które stanowią warunki progresywne, tzn ułatwiające zajście przykładowo zdarzenia es^, stanowiącego składnik istotny warunku koniecznego uzyskania rozpatrywanego, niepożądanego skutku gk (na obecnym etapie poznania występującego zagrożenia bezwzględnego).

Zgodnie z prawem transpozycji (wzór 3.18) oraz prawami de Morgana (wzory 3.11 i 3.12) zaprzeczenie warunku półdeterministycznego (wzór 3.33) implikuje zaprzeczenie skutku gk.

gk => E = {ekA(es_iVes₂ ^)} =*

r----1

=» [E = {ek_v(es_jVes₂ )} = (ek_v,es_i^Aes₂ ,} =* gk),    (3.34)

L____J

gdzie ek - zaprzeczenie logiczne przyczyny rozpatrywanego niepożądanego

następstwa zdarzeń, ^r— 7— ” 1

les Aes | - zaprzeczenie logiczne i rzeczywiste warunku głównego.

1    2. J

L____J

Zmiany w zakresie składników istotnych warunku koniecznego niepożądanego następstwa zdarzeń uzyskane przez odpowiedni dobór warunków ubocznych mogą wpłynąć na uzyskany skutek.