Дизъюнкт

Cтраница 3

Дизъюнкт D является резольвентой С, и С2, и D. [31]

Точный дизъюнкт нередко выражает некоторое правило: негативные литеры соответствуют гипотезам ( которые представлены соответствующими высказываниями), а позитивная литера представляет заключение. [32]

Дизъюнкт D называется хорновским, если он содержит не более одной позитивной литеры. [33]

Дизъюнкт Пролога представляет собой совокупность литералов. [34]

Дизъюнкт вида А, - А, а именно А V - iA, является тавтологией. [35]

Дизъюнкта с, то G descrfc ] ] будет иметь только одно свойство и многие дизъюнкты могут ему удовлетворять. Таким образом, поскольку последовательность аналогий растет, каждый дизъюнкт будет иметь все уменьшающееся число образов кандидатов, удовлетворяющих его ограниченному описанию. [36]

Дизъюнктом называется формула вида I / i Vl / 2 V. [37]

Дизъюнктом ( clause) называется элемент в конъюнктивной нормальной форме от сколемизированной правильно построенной формулы. [38]

Дизъюнктом ( clause) называется конечный список литералов. [39]

К-литеральным дизъюнктом будем называть дизъюнкт, содержащий К литералов. [40]

Элиминируются дизъюнкты, описывающие аксиомы области; поэтому уменьшается число дизъюнктов и резольвент. [41]

Проверка выполнимости. [42]

Однако дизъюнкт с является здесь логическим следствием резольвенты г и, значит, может быть опущен. [43]

Каждый дизъюнкт, использованный в доказательстве 7, ассоциируется с одним или более дизъюнктов из информационной базы D, которые ZORBA-1 будет использовать при доказательстве теоремы ТА. [44]

На дизъюнкты ( 10) - ( 13) можно смотреть как на полное описание отношения вход-выход для программы. [45]

Страницы: 1 2 3 4