Автор работы: Пользователь скрыл имя, 16 Декабря 2012 в 11:34, контрольная работа
Логической формой получения выводных знаний является умозаключение.
Умозаключение - это форма мышления, состоящая в том, что из некоторых суждений выводится новое суждение. Любое умозаключение состоит из посылок, заключения и вывода.
Посылками умозаключения называются исходные известные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом.
План
1. Понятие непосредственного вывода.
2. Непосредственные умозаключения по логическому квадрату, умозаключения обращения, превращения и противопоставления.