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