Mimo dokładnej znajomości omawianego zjawiska, przejawiającej sic
ustaleniem znacznej liczby waiunkow tworzenia obłoku pierwotnego pyłu
węglowego, nie można jeszcze z całą pewnością stwierdzić, że został już poznany warunek wystarczający do negacji obłoku pierwotnego, ponieważ w warunkach ruchowych zdarzają się nieraz zaskakujące inicjacje wybuchu pyłu węg1 owego (132].
Przeprowadzona wówczas dokładna analiza retrospektywna zaistniałej aktywizacji zagrożenia ujawnia nieraz warunki uboczne tworzenia obłoku pierwotnego dotychczas nieznane, a dotyczące przykładowo różnych sytuacji ruchowych. Takie doświadczenia uzupełniają wiedzę na temat tworzenia się obłoku pierwotnego w warunkach ruchowych, wobec czego mogą powstać nowe, bardziej szczegółowe przepisy bezpieczeństwa dotyczące zagrożenia wybuchem pyłu węglowego.
W rozpatrywanym przykładzie można by stwierdzić, że nastąpiło uzupełnienie półdeterministycznego warunku następstwa zdarzeń, w wyniku którego tworzy się obłok pierwotny w warunkach ruchowych.
Wyodrębniony w dalszych rozważaniach warunek następstwa zdarzeń, przykładowo zbiór zdarzeń E, przedstawia półdeterministyczny warunek zajścia niepożądanego skutku gk (na obecnym etapie poznania występującego zagrożenia bezwzględnego). Wymaga to jednak przyjęcia następujących dodatkowych założeń:
[ - składniki istotne warunku koniecznego, czyli przyczyna i warunki główne następstwa zdarzeń poprzedzającego skutek, przyjmują zawsze wartość logiczną 1 (prawda),
- warunki progresywne, czyli mogące wystąpić warunki sprzyjające niepożądanemu następstwu zdarzeń, przyjmują również wartość logiczną 1,
- zaprzeczenie składnika istotnego warunku koniecznego lub/i warunku
I progresywnego przyjmuje wartość logiczną 0, przy czym rozróżnia się
dwie możliwości:
1) jednoczesne zaprzeczenie składnika istotnego warunku koniecznego niepożądanego następstwa zdarzeń i przypisanego mu warunku progresywnego stwarza warunki regresywne dla niepożądanego następstwa zdarzeń, powodujące zaprzeczenie zarówno logiczne, jak i rzeczywiste składnika istotnego warunku koniecznego (zdarzenie takie zostanie ujęte w ramki przerywane [ ]),