wykrywania przyczyn. <br> ((...)) nazwiemy układem względnie odosobnionym (z uwagi na pewne jego własności, o których będzie mowa za chwilę), elementy A, -, A1 nazwiemy wejściami układu, element B nazwiemy (jedynym) wyjściem układu. Potrzebna nam jeszcze będzie symbolika na oznaczenie zajścia (czy też niezajścia) zdarzeń A, -, A1, B. Pisać będziemy odpowiednio A, -, A1, B(A, -, A1, B). Mówić będziemy, że zarówno wejścia, jak i wyjście układu mogą przybierać jeden z dwóch stanów wyróżnionych: 0 i 1.<br> Pod względem formalnym A, A, -, A1, B traktujemy jako klasy, których elementami są pewne konkretne obiekty (składające się na zakres zmienności zmiennych x, x, - ). Przyjmujemy tym samym tzw