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

Упражнение 1. Определите модус и правомерность выводов в данных умозаключениях. Запишите их в виде формул (символов логики высказываний):Например:

Модус отриц-утвержд.

Облигации могут быть предъявительскими (f) или именными (m) f

Данная облигация не является предъявительской( f).

Данная облигация именная (m).

1) Приговор суда может быть либо обвинительным, либо оправдательным. Следовательно, этот приговор не является оправдательным. 2) Жалоба на действия администрации может быть подана в устной или письменной форме. Н. не жаловался на действия администрации устно. Следовательно, он подал жалобу в письменной форме. 3) Мировоззрение может быть или материалистическим, или идеалистическим, или религиозным. Н. придерживается религиозного мировоззрения. Следовательно, Н. не придерживается ни материалистического, ни идеалистического мировоззрения. 4) Бригада строителей не выполнила дневного задания, потому что или не работал подъемный кран, или не был доставлен вовремя раствор. Установлено, что раствор был доставлен вовремя. Следовательно, бригада не выполнила дневного задания потому, что не работал кран. 5) Стрелка амперметра, включенного в электрическую цепь, не отклоняется от нуля, потому что либо к цепи не подключен источник тока, либо амперметр неисправен. Установлено, что к цепи источник тока не подключен. Следовательно, амперметр исправен. 6) По количеству суждение может быть либо общим, либо частным. Суждение «Минск — крупный город Белоруссии» не является общим. Следовательно, это суждение является частным. 7) Наказуемым деянием может быть или преступление, или проступок, нарушающий общественный порядок, или кража имущества. Действия Н. квалифицированы судом как кража имущества. Следовательно, действия Н. не являются ни преступлением, ни проступком, нарушающим общественный порядок. 8) Обнаружить логическую ошибку в софизме может человек, обладающий логической или математической строгостью мышления. Н., обнаруживший ошибку в софизме, обладает логической строгостью мышления. Следовательно, Н. не обладает математической строгостью мышления.

Упражнение 2. Придумайте умозаключения построенные по формулам:

f f m

m m f

Упражнение 3. В следующих энтимемах разделительно-категорического силлогизма восстановите разделительные посылки и определите правомерность выводов:

1. Гегель не был субъективным идеалистом, так как он принадлежал к лагерю объективного идеализма. 2. Таежный лес является хвойным, так как он не является лиственным. 3. Н., успешно сдавший экзамен по логике, является способным студентом, следовательно, Н. не является прилежным студентом. 4. Кража является умышленным преступлением, так как она не относится к неосторожным преступлениям. 5. Студент Н.- не сдал экзамен на «отлично», значит, он сдал экзамен на «хорошо».

Упражнение 4. Составьте примеры разделительно-категорического силлогизма по отрицающее - утверждающему модусу из следующих разделительных суждений.

- Мир лучше или война; Смерть произошла по причине болезни или халатности врача; Мужья верят своим женам или не верят; Либо ты идешь в милицию с повинной, либо они сами найдут тебя.

Упражнение 5. Составьте примеры разделительно-категорического силлогизма по утверждающе - отрицающему модусу из следующих разделительных суждений.

- Сделка или состоится или не состоится; Больной симулирует или действительно болен; Я вытяну счастливый билет или уйду на пересдачу экзамена; Потерпевший находился дома или был у любовницы; Простить обиду или мстить за нее.