ДСМ-метод: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Строка 332:
К полученному на n-м шаге набору примеров опять применяются правила первого, а затем второго рода. Этот процесс продолжается до тех пор, пока не будут доопределены все <math>\tau</math>-примеры.
ДОПОЛНЕНИЯ ЧИТАТЕЛЯ:
Множество С5 также имеет аргументы того, что О2 является (-)-примером. А автор утверждает другое.это ошибка автора или что?
===Проверка каузальной полноты===
| |||