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

действительности в её существенных связях и отношениях. Мышление – открытие

новых свойств и признаков объекта через включение его в новые связи.

Логика - наука, изучающая законы и формы мышления, способы рассуждений и доказательств

из одного или нескольких суждений мы по определенным правилам

вывода получаем суждение-умозаключение

получение истинного заключения при условии одновременной истинности посылок. В

дедуктивном умозаключении между посылками и заключением имеет место отношение следования логического; логическое содержание заключения (т. е. его информация без учета значений нелогических терминов) составляет часть совокупного логического содержания посылок.

одна звезда не планета.

правильно,
если суждения А1, А2, ..., Аn и

В находятся
в отношении логического следования, т.е.
А1 А2 ... Аn ╞ B

Дедуктивные

Силлогизмы

Умозаключения логики суждений

Классификация умозаключений

(УРУ)
Условно-категорические умозаключения (УКУ)
Умозаключения логики суждений

условное суждение, а вторая посылка и заключение – импликанты

этого суждения или их отрицания. Условно-категорическими называются умозаключения, в которых одна посылка – условное суждение, а вторая посылка и заключение – импликанты этого суждения или их отрицания.

А→В

А – основание,
В – следствие,
А и В – импликанты.

А→В, А├ В
Умозаключения, совершаемые по схеме А→В, А├ В назовем умозаключениями от утверждения основания к утверждению следствия
modus ponendo ponens (modus ponens)

А→В, В├ А
Умозаключения, совершаемые по схеме А→В, В├ А назовем умозаключениями от отрицания следствия к отрицанию основания.
modus tollendo tollens (modus tollens)

и заключение представляют собой условные суждения.
А→В, B → C├

A →C

Пример:

Если студент хорошо занимается в течение семестра, то он хорошо сдает сессию.

Если студент хорошо сдает сессию, то он получает стипендию.

Следовательно:
если студент хорошо занимается во время семестра, то он получает стипендию.

– разделительное суждение, а другая посылка и заключение –

альтернативы этого суждения.

А, В – альтернативы суждения

AVB

Пример:
«Либо мы победим, либо все пойдет ко всем чертям! Но мы победим!»