Теперь дадим неформальную оценку понятия вывода, которая будет напоминать неформальные рассуждения, лежащие в основе наших ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Белнап Н.N.
Логика вопросов и ответов
Теперь дадим неформальную оценку понятия вывода, которая будет напоминать неформальные рассуждения, лежащие в основе наших представлений о четырех значениях, задача которых следить за отметками Истина и Ложь. Выдвигать подобные требования при данной системе отметок вряд ли означает требовать слишком много.
