Pr-1st-1.1-m10-Slajd52

Dowód warunku C3 (2)

Stąd też, w przedziale tym do zbioru ${\mathcal {AV}}_{i}$ mogły być co najwyżej dołączone dodatkowe wiadomości. W efekcie:

${\mathcal {AV}}_{i}[\tau ^{x}]\subseteq {\mathcal {AV}}_{i}[\tau _{i}^{k+1}]$

Z własności monotoniczności predykatu $activate_{i}$ możemy przy tym wnioskować, że skoro zachodzi $\neg activate_{i}({\mathcal {AV}}_{i})[\tau _{i}^{k+1}]$ to również zachodzi $\neg activate_{i}({\mathcal {AV}}_{i})[\tau ^{x}]$

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