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

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

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

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

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

Get Adobe Flash Player

Целью логического вывода является установление истинности нового утверждения, исходя из истинности ранее установленных утверждений. Крайне важно умение делать корректные выводы. Но истинность конечного утверждения зависит не только от корректности вывода. Если первоначальные утверждения, лежащие в основе любого вывода не верны, то и истинность заключительного утверждения не может считаться доказанной. Из неверных фактов и неверных правил нельзя вывести корректные следствия, каким бы корректным ни был вывод. С другой стороны, из истинных фактов и правил, нельзя сделать корректные заключения, если не пользоваться корректными правилами вывода.

< Лекция 1 || Лекция 2: 12
Андрей Гаевой
Андрей Гаевой

Просят указать функцию, при определённых аргументах дающую определённое значение. Типа при двух истинных аргументах и только при них, значение будет истиной.

Вопрос: в каком формате должен быть ответ?

Перебрал уже всё что знаю!

Сергей Волков
Сергей Волков

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

сергей юдин
сергей юдин
Ольга Бачище
Ольга Бачище
Россия, Barnaul, АлтГТУ