Pr-1st-1.1-m10-Slajd70

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Dowód warunku C5 (3)

Dowód warunku C5 (3)


Dowód warunku C5 (c.d .)

Ponieważ dla każdego <math<Q_i</math>, różnica między rzeczywistym zbiorem a jego aproksymacją , może wynikać tylko z dotarcia pewnych wiadomości do procesów docelowych. Wówczas jednak odpowiedni nadawcy zostaną uwzględnieni w zbiorze . Tak więc, biorąc pod uwagę C6 możemy wnosić, że:

Dalej, z monotoniczności predykatu wynika, że dla każdego </math>Q_i</math>:

Oznacza to, że warunek C5 jest spełniony.


<< Poprzedni slajd | Spis treści | Następny slajd >>