8565558840

-«4-

Jednoczesne stosowanie i utrzymywanie nakazanych poziomów bezpieczeństwa stanowi istotę fazy BZa (rozdział A).

BZa =    jpB^ApB A. . .Apg    (j=15),    (6.7)

gdzie    poziomy bezpieczeństwa ustanowione obowiązującymi przepisami BHP.

Wzór (6.7) wyraża definicję fazy bezzagrożeniowej na obecnym etapie poznania zagrożenia bezwzględnego. Fazy ZaU_vZaP stanowią zaprzeczenie fazy BZa:

BZa = BZa = {PB Apg ,../\PB } = {(Za _vSa )_v(Za _vSa )_v. . ,_v(Za _vSa )}.    (6.8)

12    J    l^v 1 ^v 2^V 2 ^{v v} J^v

Zaprzeczenie półdeterministycznego łańcucha niepożądanych zdarzeń (wzór 6.4), co jest równoznaczne z utrzymaniem nakazanych poziomów bezpieczeństwa PB^ (wzór 6.7), zgodnie z prawem de Morgana (wzór 3.11) i prawem transpozycji (wzór 3.18) implikuje zaprzeczenie rozpatrywanej szkodliwości.

WyCh *

w

(6.9)

Wzór (6.9) przedstawia tautologię rachunku zdań, co można sprawdzić sporządzając matrycę, z której wynika, że logiczne zajście zdarzenia WyCh implikuje półdeterministyczny łańcuch zdarzeń a logiczne zaprzeczenie łańcucha zdarzeń implikuje zaprzeczenie rozpatrywanych skutków WAch.

WyCh	Ł	L	WAch	WyCh=*Ł.	£ * WAch	WyCh^j t=*wAĆlj
1	1	0	0	1	1	1
0	1	0	1	1	1	1
1	0	1	0	0	0	1
0	0	1	1	1	1	1

Logiczne przerwanie łańcucha niepożądanych zdarzeń wyrażone przez wzór (6.9) następuje wskutek zaprzeczenia któregokolwiek ze składników istotnych warunku koniecznego, natomiast logiczne i rzeczywiste przerwanie łańcucha niepożądanych zdarzeń może nastąpić jedynie wskutek utrzymywanych poziomów bezpieczeństwa Pfi^ , stwarzających warunki regresywne dla niepożądanego następstwa zdarzeń, przez oddziaływanie na składniki istotne warunku koniecznego. I j. na przyczyny (lub i warunki główne).