В доступной форме излагается оригинальная математически обоснованная методика моделирования и анализа рассуждений на естественном языке. Установлена возможность объединения в логической модели не только методов логического вывода, но также методов проверки совместимости исходных посылок, формирования гипотез и получения индуктивных умозаключений. В основу книги положен авторский курс лекций по логике естественных рассуждений, предназначенный для студентов гуманитарных и технических специальностей. Для широкого круга читателей, интересующихся логикой, преподавателей и специалистов.
![Логика естественных рассуждений, Дюк В.А., Кулик Б.А., 2001 Логика естественных рассуждений, Дюк В.А., Кулик Б.А., 2001](/img/knigi/student/1468/146815.jpg)