Публикации

Контрольная работа по логике №1

 В работе дается решение следующих задач: установить отношение между понятиями и показать на диаграмме Венна; установить и сформулировать отношения между суждениями; проанализировать рассуждение; найти правильные модусы с данными посылками. 
  1. Установите отношение между данными понятиями и покажите их на общей диаграмме Венна: красный предмет (К), чёрный предмет (Ч), деревянный предмет (Д), круглый предмет (О), предмет (П).
  2. Два суждения заданы своими логическими формулами: а) установите отношения между этими суждениями; б) сформулируйте суждения, которые соответствуют этим формулам: F1 = A ∨ (B ⊃ C) и F2 = ¬ A ∧ C ⊃ B
  3. Отметьте штриховкой на диаграмме Венна область правдивости логической функции: ¬ (¬ A(x) ∨ ¬ B(x))
  4.  Проанализируйте данное рассуждение. Ребёнок больной или переутомился. Ребёнок является больным тогда и только тогда, когда у него повысилась температура. Температура у него не повышенная. Значит, ребёнок переутомился.
  5. Найдите правильные модусы с данными посылками: Некоторые растения являются хвойными деревьями. Все хвойные деревья – хвойнозелёные.

1. Установите отношение между данными понятиями и покажите их на общей диаграмме Венна: красный предмет (К), чёрный предмет (Ч), деревянный предмет (Д), круглый предмет (О), предмет (П).

Решение.

Между понятиями могут существовать следующие отношения: равнозначность, пересечение, подчинение, противоположность, противоречие.

Для установления отношений более чем двух понятий сначала определяются отношения для каждой пары, а затем вычерчивается общая схема (диаграмма Вена), выражающая эти отношения.

Обозначим отношения между понятиями в каждой паре.

Понятия К и Д, К и О, Ч и Д, Ч и О, Д и О пересекаются:

Доступ к материалу ограничен

Оформите покупку для приобретения полноценной работы

2. Два суждения заданы своими логическими формулами: а) установите отношения между этими суждениями; б) сформулируйте суждения, которые соответствуют этим формулам: F1 = A ∨ (B ⊃ C) и F2 = ¬ A ∧ C ⊃ B

Решение.

Между суждениями могут существовать следующие отношения: эквивалентная совместимость (полная совместимость), частичная совместимость (субконтрарность), подчинение (логическое следование), противоположность, противоречие.

Для определения вида отношения построим общую таблицу истинности для обеих формул.

Доступ к материалу ограничен

Оформите покупку для приобретения полноценной работы

3. Отметьте штриховкой на диаграмме Венна область правдивости логической функции: ¬ (¬ A(x) ∨ ¬ B(x))

Решение.

Пускай ЕА– область правдивости А(x);

ЕВ – область правдивости В(x);

Е – область правдивости F(x);

Область правдивости Е логической функции F(x) можно найти разными способами. 

Первый способ. Найдём условия, при которых логическая функция F(x) переходит в логическое суждение. Другими словами решим логическое уравнение: ¬ (¬ A(x) ∨ ¬ B(x)) = И.

Использовавши определения тех логических операций, при помощи которых образована F(x), получим:

Доступ к материалу ограничен

Оформите покупку для приобретения полноценной работы

4. Проанализируйте данное рассуждение:
Ребёнок больной или переутомился. Ребёнок является больным тогда и только тогда, когда у него повысилась температура. Температура у него не повышенная. Значит, ребёнок переутомился. 

Данное рассуждение складывается из четырёх суждений, первые три суждения – посылки, четвёртое – заключение. Проанализировать рассуждение – это значит выяснить, выводится ли данное заключение из данных посылок.

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

А: «Ребёнок больной»

В: «Уребёнка повысилась температура»

С: «Ребёнок переутомился»

Тогда получим: первое суждение (первая посылка) имеет структуру: А∨ С; вторая посылка имеет структуру: А ↔ В; третья посылка имеет следующую структуру: ¬ В; заключение: С.

Логическая структура всего рассуждения будет выглядеть следующим образом:

А ∨  С, А ↔ В, ¬ В => С

Выяснить, является ли правильным полученное логическое следствие можно двумя способами.

Первый способ. Допустим, что данное следствие неправильное. Это значит, что существует такой набор значений А, В, С, при которых три посылки одновременно истинные, а заключение – ложное.

Получим систему логических уравнений:

Доступ к материалу ограничен

Оформите покупку для приобретения полноценной работы

5. Найдите правильные модусы с данными посылками:
Некоторые растения являются хвойными деревьями. Все хвойные деревья – хвойнозелёные.

Решение.

1. Обозначим логическую структуру данных посылок. Каждая из посылок – категорическое суждение.

1) «растения» - субъект; «хвойные деревья» - предикат;

2) «хвойные деревья» - субъект; «хвойнозелёные» - предикат.

Из этого видно: «хвойные деревья» - средний термин (M);

«растения» - меньший термин (S);

«хвойнозелёные» -больший термин (P).

Для удобства анализа силлогизма расположим посылки в определённой последовательности: большую посылку – на первом месте, меньшую – на втором.

Тогда структура посылок будет выглядеть следующим образом:

1) «Все M есть P» (большая посылка) - общеутвердительное суждение A.

2) «Некоторые S есть M» (меньшая посылка) - частноутвердительное суждение I.

Данным посылкам соответствует фигура 1 AI:

Доступ к материалу ограничен

Оформите покупку для приобретения полноценной работы

Похожие работы