Использование кругов Эйлера

Порядок соотношения понятий: юрист, нотариус, депутат парламента, член правительства, с помощью кругов Эйлера. Определение типа суждения отношения между объемами субъекта и предиката, их распределенность. Процесс построения правильного силлогизма.

Рубрика Математика
Вид контрольная работа
Язык русский
Дата добавления 08.09.2013
Размер файла 29,5 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Размещено на http://www.allbest.ru/

Задание 1.

Соотнесите с помощью кругов Эйлера понятия: юрист, нотариус, депутат парламента, член правительства.

Ответ:

Введем обозначения:

Юрист - Ю, нотариус - Н, депутат парламента - Д, член правительства - Ч.

Соотнесем с помощью кругов Эйлера понятия:

Размещено на http://www.allbest.ru/

Видим, что понятия Юрист и Депутат парламента, Юрист и Член правительства, Нотариус и Депутат парламента, Нотариус и Член правительства находятся в отношении пересечения.

Понятие Нотариус подчиняется понятию Юрист, а понятие Депутат парламента подчиняется понятию Член правительства.

Задание 2.

Определите тип суждения, выразите с помощью кругов Эйлера отношение между объемами субъекта и предиката и установите их распределенность: Некоторые трудовые споры рассматриваются городскими судами.

Ответ:

Суждение - это мысль, в которой утверждается наличие или отсутствие свойств у предметов, отношений между предметами, связей между ситуациями.

Простым называется суждение, в котором нельзя выделить правильную часть, т.е. часть, не совпадающую с целым, в свою очередь являющуюся суждением.

Предмет, о котором говорится в категорическом высказывании, называется субъектом (S), а его признак - предикатом (P). Субъект и предикат именуются терминами категорического высказывания и соединяются между собой связками "есть" или "не есть" ("является" или "не является" и т.п.).

Термин считается распределенным, если в суждении речь идет о всех предметах, охватываемых этим термином, т.е. он мыслится во всем объеме. В противном случае он не распределен.

Если отвлечься от количественной характеристики, содержащейся в категорическом высказывании и выражающейся словами "все" и "некоторые", то получится два варианта таких высказываний: утвердительный и отрицательный. Их структура: "S есть P" и "S не есть P", где буква S представляет имя того предмета, о котором идет речь в высказывании, а буква P - имя признака, присущего или не присущего этому предмету. Некоторые трудовые споры (S) рассматриваются городскими судами (Р). Субъект (S) - трудовые споры;

Предикат (Р) - рассматриваются городскими судами;

Кванторное слово - некоторые.

Некоторые S есть Р.

Частноутвердительноесуждение.

Тип суждения I.

Субъект - не распределен, предикат - не распределен.

Размещено на http://www.allbest.ru/

Задание 3.

эйлер суждение силлогизм

Постройте правильный силлогизм и укажите заключение и посылки, средний, меньший и больший термины, меньшую и большую посылки. Определите фигуру силлогизма, его модус, сделайте вывод о его правильности. Изобразите в круговых схемах отношения между терминами. Заведомо незаконный арест наказывается лишением свободы. Заведомо незаконный арест - преступление против правосудия. Значит, некоторые преступления против правосудия наказываются лишением свободы.

Ответ:

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

Выявим термины силлогизма:

S - преступление против правосудия - меньший термин силлогизма;

М - заведомо незаконный арест - средний термин силлогизма;

Р - наказывается лишением свободы - больший термин силлогизма.

Имеем:

Заведомо незаконный арест (М+) наказывается лишением свободы (Р-). (А). Заведомо незаконный арест (М+) - преступление против правосудия (S-). (А). Значит, некоторые преступления против правосудия (S-) наказываются лишением свободы (Р-). (I)

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

М+аР-

М+аS-

S-i Р-

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

Проверим силлогизм по правилам:

по крайней мере одна из посылок должна быть общим суждением - соблюдается;

по крайней мере одна из посылок должна быть утвердительной - соблюдается;

при одной частной посылке заключение должно быть частным - соблюдается;

при одной отрицательной посылке заключение должно быть отрицательным - соблюдается;

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

средний термин должен быть распределен по крайней мере в одной из посылок - соблюдается;

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

Поскольку соблюдаются все правила силлогизма, то силлогизм построен правильно.

Также можно отметить, что данный силлогизм относится к третьей фигуре, для которой модус ААI является правильным модусом, что еще раз подтверждает правильность построения простого категорического силлогизма.

Окончательно делаем вывод, что заключение сделано правильно.

Задание 4.

Сделайте вывод (если он отсутствует), определите степень вероятности заключения, найдите логические ошибки, если они содержатся в рассуждении. Чижов вчера опоздал на занятия, сегодня он тоже опоздал. Как видно, Чижов всегда и везде опаздывает.

Ответ:

Неполная индукция применяется в тех случаях, когда мы, во-первых, не можем рассмотреть все элементы интересующего нас класса явлений; во-вторых, если число объектов либо бесконечно, либо конечно, но достаточно велико; в-третьих, когда рассмотрение уничтожает объект. Тогда мы рассматриваем не все случаи изучаемого явления, а заключение делаем для всех.

В нашем случае наблюдается неполная индукция, поэтому вывод не следует с необходимостью, степень вероятности заключения низкая.

Задание 5.

В условной посылке укажите основание и следствие, сделайте вывод, определите модус и постройте его схему.

Обмен жилого помещения не допускается, если он носит фиктивный или корыстный характер. Данный обмен носит фиктивный характер.

Ответ:

1. Записываем суждения в качестве посылок:

Посылка: Обмен жилого помещения не допускается, если он носит фиктивный или корыстный характер.

Посылка: Данный обмен носит фиктивный характер.

2. Определяем простые суждения в составе посылок:

обмен жилого помещения не допускается - р;

обмен носит фиктивный характер- q.

обмен носит корыстный характер- s.

3. Из анализа смысла высказывания определяем, что союз «если…, то…» является логической связкой импликация.

4. Записываем логическую форму предполагаемого умозаключения в символической записи:

или

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

6. Форма заключения: р.

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

7. Полученная логическая форма умозаключения соответствует правильному модусу условно-разделительногоумозаключения. Следовательно, умозаключение правильное, а заключение следует с необходимостью (достоверное).

Обмен жилого помещения не допускается (следствие), если он носит корыстный или фиктивный характер (основание). Установлено, что обмен носит фиктивный характер.

Вывод: обмен жилого помещения не допускается.

Список использованной литературы

1. Бочаров В.А., Маркин В.И. Основы логики: Учебник. - М.: Инфра-М, Форум, 2009.

2. Ганс Е.С., Новиченко А.С., Фролова Т.Н. Логика: Учебное пособие для студентов юридических вузов. М., 2005.

3. Грядовой Д.И. Логика. Практический курс основ формальной логики. - М., Щит -М, 2010.

4. Грядовой Д.И. Логика: Структурированный учебник (для вузов). М.,2003.

5. Грядовой Д.И., Стрелкова Н.В. Логика: задачи и упражнения. Учебное пособие для ВУЗов.-М., Юнити-Дана, 2010.

6. Ивлев Ю.В. Логика юриста: Учебник - М.: Проспект, 2008.

7. Кириллов В.И., Старченко А.А. Логика: Учебник - М., 2008.

Размещено на Allbest.ru

...

Подобные документы

  • Изобретение Леонардом Эйлером геометрической схемы, с помощью которой можно изобразить отношения между подмножествами. Изучение частного случая кругов Эйлера — диаграммы Эйлера—Венна, изображающей все 2^n комбинаций n свойств (конечную булеву алгебру).

    презентация [595,0 K], добавлен 16.02.2015

  • Определение отношений между понятиями, изображение их с помощью кругов Эйлера. Установление видов данных суждений, их отношений по логическому квадрату. Определение правильности простого категорического силлогизма. Установление правильности энтимемы.

    контрольная работа [131,8 K], добавлен 09.05.2016

  • Изучение истинности суждений. Определение отношений понятий с использованием иллюстрации кругов Л. Эйлера. Виды, структура сложных суждений. Противоположные и противоречащие модальности. Структурная схема силлогизмов. Определение правил доказательства.

    контрольная работа [34,4 K], добавлен 02.01.2011

  • Представление с помощью кругов Эйлера множественного выражения. Законы и свойства алгебры множеств, упрощение выражений. Система функций, ее возможные базисы. Минимизирование булевой функции. Метод Квайна – Мак-Класки. Определение хроматического числа.

    контрольная работа [375,6 K], добавлен 17.01.2011

  • Составление уравнения Эйлера, нахождение его общего решения. Нахождение с использованием уравнения Эйлера-Лагранжа оптимального управления, минимизирующего функционал для системы. Использование метода динамического программирования для решения уравнений.

    контрольная работа [170,3 K], добавлен 01.04.2010

  • Объединенная классификация суждений, их анализ и практическое применение круговых схем Эйлера. Установление вида сложного суждения, оценка его составных частей и составление его логической схемы. Определение формально-логического закона и его нарушений.

    контрольная работа [48,3 K], добавлен 26.08.2011

  • Алгоритм построения многочлена Жегалкина по совершенной дизъюнктивной нормальной форме. Диаграмма Эйлера-Венна, изображение универсального множества и подмножества. Проверка самодвойственности, монотонности и линейности логической функции двух переменных.

    контрольная работа [227,5 K], добавлен 20.04.2015

  • Доказательство тождества с помощью диаграмм Эйлера-Венна. Определение вида логической формулы с помощью таблицы истинности. Рисунок графа G (V, E) с множеством вершин V. Поиск матриц смежности и инцидентности. Определение множества вершин и ребер графа.

    контрольная работа [463,0 K], добавлен 17.05.2015

  • Выпуклые многогранники, теорема Эйлера. Свойства выпуклых многогранников. Определение правильного многогранника. Понятие полуправильных многогранников. Свойства ромбокубооктаэдра, кубооктаэдра, тетраэдра, октаэдра, икосаэдра, додекаэдра и куба.

    методичка [638,2 K], добавлен 30.04.2012

  • Математическое объяснение метода Эйлера, исправленный и модифицированный методы. Блок-схемы алгоритмов, описание, текст и результаты работы программы. Решение обыкновенных дифференциальных (нелинейных) уравнений первого порядка с начальными данными.

    курсовая работа [78,1 K], добавлен 12.06.2010

  • Соотношения между операторами дифференцирования и конечных разностей. Разностная аппроксимация дифференциальных уравнений. Интерполяционные рекуррентные формулы, метод Эйлера. Интерполяция конечными разностями "назад". Рекуррентные формулы Адамса.

    реферат [156,8 K], добавлен 08.08.2009

  • Составление диагональной системы способом прогонки, нахождение решения задачи Коши для дифференциального уравнения на сетке методом Эйлера и классическим методом Рунге-Кутта. Построение кубического сплайна интерполирующей функции равномерного разбиения.

    практическая работа [46,1 K], добавлен 06.06.2011

  • Аналитическое и компьютерное исследования уравнения и модели Ван-дер-Поля. Сущность и особенности применения методов Эйлера и Рунге-Кутта 4 порядка. Сравнение точности метода Эйлера и Рунге-Кутта на одном графике, рисуя фазовые траектории из 1 точки.

    курсовая работа [341,7 K], добавлен 06.10.2012

  • Класс функций, представимых в виде собственного либо несобственного интеграла, зависящего не только от формальной переменной, а и от параметра. Эти функции называются интегралами зависящими от параметра. К ним относятся гамма и бета функции Эйлера.

    курсовая работа [851,0 K], добавлен 03.07.2008

  • Характеристики метода Эйлера. Параметры программы, предназначенной для решения систем линейных уравнений и ее логическая структура. Блок-схема программы и этапы ее работы. Проведение анализа результатов тестирования, исходя из графиков интераций.

    курсовая работа [866,0 K], добавлен 27.03.2011

  • Общее понятие, основные свойства и закономерности графов. Задача о Кенигсбергских мостах. Свойства отношения достижимости в графах. Связность и компонента связности графов. Соотношение между количеством вершин связного плоского графа, формула Эйлера.

    презентация [150,3 K], добавлен 16.01.2015

  • Операции логики с понятием "суд". Объединённая классификация суждений, их логические обозначения. Составные части сложного суждения, запись их с помощью символов, пропозициональных союзов. Полный разбор силлогизма. Запись формально-логического закона.

    контрольная работа [131,4 K], добавлен 23.10.2013

  • Метод Эйлера: сущность и основное содержание, принципы и направления практического применения, определение погрешности. Примеры решения задачи в Excel. Метод разложения решения в степенной ряд. Понятие и погрешность, решение с помощью метода Пикара.

    контрольная работа [129,0 K], добавлен 13.03.2012

  • Доказательство гипотезы Гольдбаха-Эйлера. Гипотезы о том, что любое четное число, большее двух, может быть представлено в виде суммы двух простых чисел и любое нечетное число М, большее семи, представимо в виде суммы трех нечетных простых чисел.

    задача [28,3 K], добавлен 07.06.2009

  • Проверка справедливости тождеств или включений с использованием алгебры множеств и диаграмм Эйлера-Венна. Изображение графа и матрицы отношения, обладающего свойствами рефлексивности, транзитивности и антисиммеричности. Изучение неориентированного графа.

    контрольная работа [1,3 M], добавлен 05.05.2013

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.