Pr-1st-1.1-m10-Slajd52

Dowód warunku C3 (2)

Stąd też, w przedziale tym do zbioru ${{𝒜}{𝒱}}_i$ mogły być co najwyżej dołączone dodatkowe wiadomości. W efekcie:

${{𝒜}{𝒱}}_i[{\tau }^x]\subseteq {{𝒜}{𝒱}}_i[{\tau }_i^{k+1}]$

Z własności monotoniczności predykatu $activat{e}_i$ możemy przy tym wnioskować, że skoro zachodzi $\mathrm{\neg }activat{e}_i({{𝒜}{𝒱}}_i)[{\tau }_i^{k+1}]$ to również zachodzi $\mathrm{\neg }activat{e}_i({{𝒜}{𝒱}}_i)[{\tau }^x]$

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