Тверской государственный университет
Опубликован: 03.11.2014 | Доступ: свободный | Студентов: 3255 / 72 | Длительность: 14:38:00
Лекция 3:

Логический вывод – дедукция

< Лекция 1 || Лекция 3: 12

Смотреть лекцию на: ИНТУИТ | youtube.com

Если проблемы с видео, нажмите выше ссылку youtube

Get Adobe Flash Player

Дедукция

Дедуктивный метод вывода – это метод вывода "от общего к частному". Из истинности некоторого общего утверждения делается вывод об истинности частного случая. Следующие рассуждения являются классическим примером дедуктивного вывода, известным со времен античных философов:

  • Все греки – люди.
  • Сократ – грек.
  • Следовательно: Сократ – человек.

Вот более современный пример, использующий тот же метод вывода:

  • Каждый школьник изучает информатику.
  • Пётр – школьник.
  • Следовательно: Пётр – изучает информатику.

А вот пример некорректного вывода:

  • Каждый школьник изучает информатику.
  • Пётр – не школьник.
  • Следовательно: Пётр – не изучает информатику.

А этот вывод вполне корректен и соответствует правилам логики:

  • Каждый школьник изучает информатику.
  • Пётр – не изучает информатику.
  • Следовательно: Пётр – не школьник.
< Лекция 1 || Лекция 3: 12
Сергей Волков
Сергей Волков

Приведу пример из лекции "Знания в школе передавались устно, к счастью, один из учеников Пифагора составил три книги с записями его учения." Книги же начали делать гораздо позже. Или имеется ввиду, что сейчас этот объем знаний помещается в три книги?

Оксана Тычинская
Оксана Тычинская

У меня тот же вопрос, что и у Евгения: я решила задачу методом перебора, причем правильного ответа в предложенных вариантах теста к теме номер 2 не оказалось. Как предлагается решить эту задачу методом индукции - непонятно. Почему в тесте отсутсвует правильный ответ (а ведь посчитать число простых чисел в определенном диапазоне совсем несложно) - тоже непонятно.

Александр Ясенский
Александр Ясенский
Россия