1. Дедуктивные выводы логики высказываний

Д1ЩШШ1Ы& УМОЗАКЛЮЧЕНИЙ

- ДеДуКШЕЛ bli 3bl£'jJ;bl г.ОГНКП Сг;1,1 4jal[.dHI.UI '• ТзбГЫЦЫ ИСТИННО'"!.! ■ J10! №6 !3Ni.K,cl"biRai-'.|.lii

■' Непосрел, твенныс умозаключений ' Категор!/1'.дс1'.1'й синлогизм

Умозаключешк -■ _ио пропесс поли ения нового суждения из одно-га лву\ или более суждении. Исходные суждения называются посылками умозаключения, нслучаемое сужлентк ею ипсиоченисм. Логика изуча-31 дедуктивные и индуктивные умозаключения, которые образуются на ■ к нове особ;, пносп'п логических форм посылок и заключения. Рассмот­рению индукпишь х умозаключении подушена следующая глава учеб­ника.

Дедуктивные умозаключения получили свое название от латинского слона «deduaio». которое переводится ко*, «выведение». В умозаключе­ниях этого вида связи между посылками и заключением представляют собой формально- югические законы и посредством дедукции выводят некоторую мысль из других мыслей. При наличии истинных посылок включение в зтом случае всегда будет истинным.

§ 1. Дедуктивные выводы логики высказываний

Выводы .югики высказывании — по умозаключения, в которых при осуществлении вывода внутренняя структура простых суждений не учиты­вается, и эти суждения обозначаются латинскими буквами А, /?, С и т. д.

Различают несколько видов выводов логики высказываний: это ус­ловно-категорические, разделительно-категорические, условные умо­заключения и дилеммы.

Условно-категорическими называются умозаключения, в которых первая посылка является условным суждением, вторая посылка совпа­дает с основанием либо следствием ото го условного суждения или же с результатом отрицания ею следствия либо основания, а заключение совпадает со следствием либо основанием условного суждения или же с результатом отрицания его основания либо следствия. Несмотря на многообразие форм условно-категорическою суждения, только две из них являются правильными:

modus ponens --- утверждающий молах такие умозаключения имеют форму

А ■> В. А

В

и modus fallens - отрицают nit модус, такие умозаключения имеют форм;

А -> В.^А_ -А

Пример

А.

Если на улице идет цождь. я возьму зонт. На улице идет дождь. Я возьму зонт.

Б.

Если на улице ед-т дождь, я возьму зонт. Я не возьму зонт. На улице нет дождя.

А-> В,В А-> Й.-Л

Умозаключения других форм: , и т. д. — являются

-Л В

неправильными.

Пример

Если студент успешно сдаст экзамены, то он перейдет на следующий курс. Студент не сдал экзамены успешно.

Он перешел на следующий курс.

Раздельно-категорическими называются умозаключения, одной из посылок которых является разделительное суждение, а другая совпадает либо с одним из членов этого суждения, либо с отрицанием одного из его членов. Заключение также совпадает либо с одним из членов разде­лительного суждения, либо с его отрицанием.

Существует несколько правильных форм раздельно-категорических сужде н и й:

Modusponendo-rollens - утверждаюше-отрииаюший модус

АуВ.В А у В. А

~-~Л~ ^В

В данных случаях утверждение о наличии ситуации, представленной одним из членов разделительного суждения, ведет к утверждению об от-

Университетская серия

Университетская серия

ifinbie у. оаключе