Tekst źródłowy strony Pr-1st-1.1-m10-Slajd52

==Dowód warunku C3 (2)==

[[Image:Pr-1st-1.1-m10-Slajd52.png|Dowód warunku C3 (2)]]



Stąd też, w przedziale tym do zbioru <math>\mathcal{AV}_i</math> mogły być co najwyżej dołączone dodatkowe wiadomości. W efekcie:
:<math>\mathcal{AV}_i[\tau ^x] \subseteq \mathcal{AV}_i[\tau _i^{k+1}]</math>

Z własności monotoniczności predykatu <math>activate_i</math> możemy przy tym wnioskować, że skoro zachodzi <math>\neg activate_i(\mathcal{AV}_i)[\tau _i^{k+1}]</math> to również zachodzi 
<math>\neg activate_i(\mathcal{AV}_i)[\tau ^x]</math>


[[Pr-1st-1.1-m10-Slajd51 | << Poprzedni slajd]] | [[Pr-1st-1.1-m10-toc|Spis treści ]] | [[Pr-1st-1.1-m10-Slajd53 | Następny slajd >>]]