Pr-1st-1.1-m04-Slajd33

Z Studia Informatyczne
Wersja z dnia 15:52, 7 wrz 2006 autorstwa Szopen (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Bezpośrednie poprzedzanie

Bezpośrednie poprzedzanie

Jeżeli natomiast zachodzi predykat:

Parser nie mógł rozpoznać (nieznana funkcja „\nexistsM”): {\displaystyle M \prec ^+_{i,j} M' \land (\nexistsM'' :: ( M'' \ne M \land M'' \ne M' \land M \prec ^+_{i,j} M'' \land M'' \prec ^+_{i,j} M' }

to powiemy, że bezpośrednio poprzedza i fakt ten oznaczamy , tym samym:


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