Pr-1st-1.1-m04-Slajd33

Z Studia Informatyczne
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 >>