Публикации

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

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

1. Установите отношение между данными понятиями и покажите их на общей диаграмме Венна: автобус (А), транспорт (Т), электропоезд (Э), грузовой транспорт (Г), рельсовый транспорт (Р).

Решение.

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

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

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

понятие Т подчиняет понятия А, Э, Г, Р. Понятие Р подчиняет понятие Э:

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

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

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

Решение.

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

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

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

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

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

Решение.

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

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

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

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

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

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

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

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

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

4. Проанализируйте данное рассуждение.
Число x четное и кратное 5. Когда число четное и кратное 5, то оно делится на 10. Значит, число x делится на 10.

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

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

А: «Число x четное 5»

В: «Число x кратное 5»

С: «Число x делится на 10»

Тогда получим: первое суждение (первая посылка) имеет структуру: A ∧ B; вторая посылка имеет структуру: (A ∧ B) ⊃ С; заключение: С.

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

A ∧ B, (A ∧ B) ⊃ С => С

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

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

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

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

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

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

Решение.

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

1) «глагол» - субъект; «подлежит склонению» - предикат;

2) «глагол» - субъект; «обозначают действие» - предикат.

Из этого видно: «глагол» - средний термин (M);

«обозначают действие» - меньший термин (S);

«подлежит склонению» - больший термин (P).

1) «Ни один М не есть P» (большая посылка)- общеотрицательное суждение E.

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

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

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

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

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