Редуктивный вывод - Большая Энциклопедия Нефти и Газа, статья, страница 1
Закон Сигера: все, что в скобках, может быть проигнорировано. Законы Мерфи (еще...)

Редуктивный вывод

Cтраница 1


Редуктивный вывод не сохраняет истину, но с его помощью можно получать новую информацию. К редукции можно отнести как индуктивный, так и абдуктивный вывод.  [1]

Заметим, что по всякому редуктивному выводу тг соответствующий вывод в Red восстанавливается фактически однозначно.  [2]

Заметим, что, как и в случае редуктивных выводов, по всякому индуктивному выводу соответствующий вывод в Ind восстанавливается фактически однозначно. Это позволяет, в частности, корректно определить индуктивную сложность ind ( Tr) для индуктивного вывода тг - количество вершин дерева вывода в исчислении Ind для вывода тг.  [3]



Страницы:      1