Благодарю за контрольную по логике)
Информация о работе
Подробнее о работе
Контрольная работа по дисциплине «Логика» Солодухин
- 13 страниц
- 2014 год
- 221 просмотр
- 0 покупок
Гарантия сервиса Автор24
Уникальность не ниже 50%
Фрагменты работ
-
Задание 1 (2.3) 3
Задание 2 (3.1) 3
Задание 3 (3.6) 4
Задание 4 (4.2) 8
Задание 5 (4.16) 9
Список использованных источников 13
Задание 1 (2.3)
Определите, являются ли следующие поня¬тия единичными, общими, пустыми или не¬определенными.
Число, на которое не делится любое другое число. Положительный герой в романе Н. Гоголя «Мертвые души». Натуральное число, делимое лишь на само себя. Неопознанный летающий объект. Божественное начало. Наибольшее натуральное число. Образ Фа¬мусова в комедии «Горе от ума». Изменение объекта в момент времени. Неизменность объекта в момент времени. Автор романа «Золотой теленок». Шестой орган чувств. Логически возможная ситуация, в ко¬торой движущийся объект превышает скорость све-та. Равносторонний прямоугольный треугольник. Внеземная цивилизация. Пегас.
Решение
Задание 2 (3.1)
Определите, какие из приведенных выра¬жений представляют собой правильно по¬строенные формулы языка логики выска¬зываний.
(A→В→С); (В→(С˅D)); А→(B→(С→D));
┐А˅┐(ВÙС); (((А→B)→C)D˅E);
┐(┐(┐┐(┐А˅┐В)→┐(┐┐СÙD))); ┐(A);
((((АÙ┐В)┐)СÙ┐)C↔D); (А˅(В˅(┐В˅(С˅┐В)))).
Решение
Задание 3 (3.6)
Используя метод полных истинностных таб¬лиц, определите, являются ли следующие фор¬мулы логически истинными, логически лож¬ными или случайными?
А→┐А; А↔┐┐А; (┐А˅В)↔┐(АÙ┐В);
┐А→┐(┐ВÙС); ┐(А˅B)Ù┐(А↔В);
┐(А˅B)↔(┐АÙ┐В); ┐А˅┐(BÙ┐А);
┐(┐АÙ┐B)→(┐В˅А); (AÙВ)↔(┐А˅┐B);
(А→┐┐В)Ù┐((┐B˅C)→(┐C→┐A));
(┐А˅┐В)Ù┐(С→┐(B↔┐А));
┐(┐(┐(┐В˅C)˅┐(AÙ┐C))→┐┐(AÙB)).
Решение
Задание 4 (4.2)
Проверьте логическую корректность следу¬ющих рассуждений, подобрав подходящий пример перевода формул на естественный язык:
┐А→В, ┐А→┐В ⇒ А.
А→С, В→С, А˅В ⇒ С.
┐А˅В, ┐(BÙ┐С), ┐D→┐С, Е˅┐D ⇒ ┐Е→┐А.
┐В→┐А, С˅┐В, ┐(┐DÙс), D→Е ⇒ ┐(АÙ┐Е).
┐(А→B) ÙС ⇒ ┐(А→D)˅┐(D→(┐С˅B)).
Решение
Задание 5 (4.16)
Проверьте логическую корректность и надеж¬ность следующих простых категорических силлогизмов, предварительно представив их в стандартной форме. Проверку проведите по таблицам совершенных силлогизмов и ме-тодом круговых схем.
1. Только в споре рождается истина.
Нет такого спора, в котором бы один не был глупцом, а другой мошенником.
Истина открывается глупцам или мошенникам.
2. Некоторые высказывания противоречивы.
Лишь непротиворечивое возможно.
Существуют невозможные высказывания.
3. Если и есть любители получать двойки, то это не студенты.
Все студенты любят мороженое.
Некоторые любители мороженого не любят получать двойки.
Решение
1. Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика. – М.: Финансы и статистика, 2006. – 368 с.
2. Бочаров В.А., Маркин В.И. «Основы логики: Учебник для вузов». – М.: Инфра-М, 2002.
3. Войшвенко Е.К., Дегтярев М.Г. «Логика: Учебник для вузов». – М.: Владос-пресс, 2001.
4. Германова А.Д. «Логика: Словарь и задачник: Учебное пособие для студентов вузов». – М.: Владос-пресс, 1998.
5. Гуц А.К. Математическая лоrика и теория алrоритмов. – Омск: Издательство Наследие. Диалог-Сибирь, 2003. – 108 с.
6. Иванов Е.А. «Логика: Учебник для юридических вузов». – М.: Бек, 1996.
7. Ивин А.А. «Логика. Учебник для гуманитарных факультетов». – М.: Фаир-пресс, 1999.
8. Логика. Учебное пособие для студентов вузов. – Ростов-на-Дону. Изд. «Феникс», 1996.
9. Марков А. А., Нагорный Н. М. Теория алгорифмов, изд. 2. – М.: ФАЗИС, 1996.
10. Марков А. А. Элементы математической логики. – М.: Изд-во МГУ, 1984.
11. Светлов В.А. Логика: Учебник. – М.: Логос, 2012.
12. Свободная онлайн-энциклопедия Википедия [Электронный ресурс]. – Режим доступа: http://ru.wikipedia.org/
13. Сковиков А.К. Логика: учебник и практикум. Серия: Бакалавр. Базовый курс. – М.: Юрайт, 2014.
14. Судоплатов С.В., Овчинникова Б.В. Математическая логика и теория алгоритмов: Учебник – М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2004. – 224 с. – (Высшее образование).
15. В.А. Успенский, А.Л. Семёнов Теория алгоритмов: основные открытия и приложения – М., Наука, 1987, 288 c.
Форма заказа новой работы
Не подошла эта работа?
Закажи новую работу, сделанную по твоим требованиям
