Cтраница 2
Дизъюнкт ( 1) задает базис рекурсии. [16]
Дизъюнкты, соответствующие этим предложениям, таковы. [17]
Дизъюнкт называется положительным, если он не содержит знаки отрицания. Дизъюнкт называется отрицательным, если любая входящая в него литера содержит знак отрицания. Дизъюнкт называется смешанным, если он не является ни положительным, ни отрицательным. [18]
Дизъюнкт, содержащий только стоп-преди-кат QH, мы будем называть стоп-дизъюнктом. [19]
Дизъюнкты ( 2), ( 4), ( 5) и ( 6) составляют множество поддержки. Следующий вывод является выводом с поддержкой. [20]
Дизъюнкт ( 6) снова не используется в приведенном выше выводе. [21]
Дизъюнкт ( 3) означает, что для всех х и для всех у, если у есть дед х, то у - наш ответ. [22]
Дизъюнкт ( 4) означает, что если имеется х такой, что у - - - - х у для всех у, то х является ответом. [23]
Дизъюнкт ( 8) показывает, что для любого v выражение h ( v, v) есть правая единица. [24]
Дизъюнкт ( 9) дает нам ответ. [25]
Дизъюнкт, содержащий предикат ANS, называется жизненным дизъюнктом. Переменная называется жизненной, если она входит в жизненный дизъюнкт. [26]
Дизъюнкт (4.6) дает ожидаемый ответ. [27]
Дизъюнкт в ранее покинутом мире, анализ которого; не был выполнен. [28]
Дизъюнкты D1 и D2 обязаны существовать по определению абстракции. [29]
Дизъюнкт в ранее покинутом мире, анализ которого; не был выполнен. [30]