Дедуктивное умозаключение

Слайд 1

Муниципальное казенное общеобразовательное учреждение средней общеобразовательной школы с.Вострецово Выполнила: ученица 10 класса Громова Наталья Проверил: учитель математики Громова Т.М. Презентация На тему: «Дедуктивное умозаключение» 2013 г.

Слайд 2

Содержание Определение дедукции. Разделительно-категорические умозаключения. Условные умозаключения. Дилеммы. Дополнение.

Слайд 3

Умозаключение - это форма мышления, посредством которой из одного или нескольких суждений, связанных между собой, с логической необходимостью выводится новое суждение. Логическая сущность умозаключения состоит в движении мысли от анализа имеющегося знания к синтезу нового знания. Это движение имеет объективный характер и определяется реальными связями действительности. Объективная связь, отраженная в сознании, обеспечивает логическую связь мыслей. Дедуктивное Индуктивное По аналогии Определение дедукции.

Слайд 5

Дедукция (лат. deductio — выведение) — метод мышления, при котором частное положение логическим путём выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждений), звенья которой (высказывания) связаны отношением логического следования. Началом (посылками) дедукции являются аксиомы или просто гипотезы, имеющие характер общих утверждений («общее»), а концом — следствия из посылок, теоремы («частное»). Если посылки дедукции истинны, то истинны и её следствия. Дедукция — основное средство доказательства. Противоположно индукции. Пример дедуктивного умозаключения: Все люди смертны. Сократ — человек. Следовательно, Сократ смертен.

Слайд 8

Разделительно-категорические умозаключения. Умозаключения, в которых одна из предпосылок является разделительным суждением, а вторая совпадает с одним из членов дизъюнктивного суждения (1) или отрицает все кроме одного (2). В заключении, соответственно, отрицаются все члены, кроме указанного во второй предпосылке (1), или утверждается пропущенный член (2). Формы правильных модусов разделительно-категорических заключений Утверждающе-отрицающий модус: (здесь требуется строго разделительное суждение). То есть: первая посылка: либо A, либо B, либо C …, вторая посылка: B; заключение (вывод): следовательно, не A, не C … . 2. Отрицающе-утверждающий модус: То есть: первая посылка: A или B или C …, вторая посылка: не A, не C …; заключение (вывод): следовательно, B.

Слайд 9

Умозаключения, посылки и заключения которых — условные суждения. Контрапозиция: То есть: посылка: если A, то B; заключение: следовательно, если не B, то не A. Сложная контрапозиция: То есть: посылка: если A и B, то C; заключение: следовательно, если A и не C, то не B. Транзитивность: То есть: первая посылка: если A, то B; вторая посылка: если B, то C; заключение: следовательно, если A, то C. Условные умозаключения.

Слайд 10

Особый вид умозаключений из двух условных суждений и одного разделительного. Виды правильных дилемм: конструктивные: (то есть: первая посылка: если A, то C; вторая посылка: если B, то C; третья посылка: A или B; заключение: следовательно, C); (сложная) (то есть: первая посылка: если A, то B; вторая посылка: если C, то D; третья посылка: A или C; заключение: следовательно, B или D); деструктивные: (то есть: первая посылка: если A, то B; вторая посылка: если A, то C; третья посылка: не B или не C; заключение: следовательно, не A); (сложная) (то есть: первая посылка: если A, то B; вторая посылка: если C, то D; третья посылка: не B или не D; заключение: следовательно, не A или не C). Дилеммы.

Слайд 11

Дополнение.