{ (a, a), (a, b), (a, d), (b, b), (c, c), (d, d), (b, a) }

{ (a, b), (b, b), (c, c), (d, d), (b, a), (d, a), (c, d) }

{ (a, a), (a, b), (a, d), (b, b), (c, c), (d, d), (b, a), (d, a) }

{ (a, a), (b, b), (c, c), (d, d), (a, b)}

виконується

в усіх інтерпретаціях

не

виконується в жодній інтерпретації

виконується

хоч би в одній інтерпретації

виконується

в декількох інтерпретаціях

найкоротший шлях знайдено

у графі відсутній шлях від джерела до витоку

роботу алгоритму треба продовжувати

квантор існування () 

висловлювання  вигляду x P(x), де x- змінна, P(x) - предикат

логічні операції 

квантор загальності ()

висловлювання P(1, x), якщо відомо, що P(x,y) є висловлюванням “x = y”

8

4

1

16

2

мостами

суміжними

висячими

інцидентними

впорядкованими

11111

01010

9

8

29

11

12