Укажите условное обозначение утверждения, что формула B следует из формулы A:

Формула B следует из формулы A, если:

Если для формул A и B, в любой интерпретации, для которой истинно A, оказывается истинным и B, то:

Если для любых вершин u,v лежащих на одном пути, |h(u)-h(v)| меньше либо равен стоимости пути от u до v, то:

Если для всех вершин графа x имеет место h₁(x) больше либо равен h₂(x), в этом случае:

Укажите условное обозначение общезначимой формулы:

Подстановка называется унификатором для формул или термов F и G, если:

Формула F называется выполнимой, если:

Формула F называется общезначимой, если:

Если формула F истинна во всех интерпретациях, то она называется:

Если формула F истинна хотя бы в одной интерпретации, то она называется: