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