Формула F называется выполнимой, если:
Если формула F истинна во всех интерпретациях, то она называется:
Если формула F истинна хотя бы в одной интерпретации, то она называется:
Формула B следует из формулы A, если:
Подстановка называется унификатором для формул или термов F и G, если:
Укажите условное обозначение утверждения, что формула B следует из формулы A:
Алгоритм эвристического поиска с функцией h1(x) называется более информированным по сравнению с алгоритмом с функцией h2(x), если:
Если для формул A и B, в любой интерпретации, для которой истинно A, оказывается истинным и B, то:
Если для любых вершин u,v лежащих на одном пути, |h(u)-h(v)| меньше либо равен стоимости пути от u до v, то:
Если для всех вершин графа x имеет место h1(x) больше либо равен h2(x), в этом случае:
