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

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

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

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

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

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

Как называется грамматика в классификации по Хомскому, если для всех правил α →​ выполняется ?

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

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

Алгоритм эвристического поиска с функцией h₁(x) называется более информированным по сравнению с алгоритмом с функцией h₂(x), если:

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