Логические действия

Выполнение логических действий. Запись выражения на языке логики высказываний. Составление таблиц истинности. Тавтологически истинное рассуждение. Использование кругов Эйлера. Определение соотношения объемов понятий. Индуктивное и дедуктивное рассуждения.

Рубрика Философия
Вид контрольная работа
Язык русский
Дата добавления 21.11.2013
Размер файла 18,6 K

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

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

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

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

Задача 1

Записать выражения на зыке логики высказываний, проставить порядок выполнения логических действий и для каждого логического знака при помощи скобок выделить объекты, над которыми производится это действие. Высказывания брать в соответствии с нижеследующей таблицей, где «N» - последняя цифра номера зачетки, «пример» - высказывания, записанные под буквами а - к, над которыми необходимо выполнить заданные операции. Здесь и далее буквами p, q, r, s заменены элементарные высказывания

в) r или q или р или s и r не эквивалентно r и не q

е) не (q влечет р или r) и q не влечет не р и r

и) s или (не р и r влечет s) или не не q и r не влечет р

Решение:

Запишем выражения на языке логики высказываний:

в) -( r v q v p v s^ r ) ? r^ - q

е) -( ( q > p v r) ^ (- > q (-p^ r)).

и) s v(-p^r>s) v- (-> (-q^r) p)

Задача 2

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

в) r или q или р или s и r не эквивалентно r и не q

е) не (q влечет р или r) и q не влечет не р и r

в) -( r v q v p v s^ r ) ?( r^ - q)

Построим таблицу истинности:

p r s q r v q r v p r v s s^ r r^ - q в)

И И И И И И И И Л Л

И И И Л И И И И Л Л

И И Л И И И И Л Л Л

И И Л Л И И И Л И Л

И Л И И И И И Л Л Л

И Л И Л Л И И Л Л Л

И Л Л И И И Л Л Л Л

И Л Л Л Л И Л Л Л Л

Л И И И И И И И Л Л

Л И И Л И И И И И И

Л И Л И И И И Л Л Л

Л И Л Л И И И Л И Л

Л Л И И И Л И Л Л Л

Л Л И Л И Л И Л Л Л

Л Л Л И И Л Л Л Л Л

Л Л Л Л Л Л Л Л Л Л

Почти всегда ложное выражение.

е) -( ( q > p v r) ^ (- > q (-p^ r)).

Построим таблицу истинности:

p r -p q p v r q > p v r -(q > p v r) -p^ r - > q (-p^ r) e)

И И Л И И И Л Л И И

И И Л Л И И Л Л Л Л

И И Л И И И Л Л И И

И И Л Л И И Л Л Л Л

И Л Л И И И Л Л И И

И Л Л Л И И Л Л Л Л

И Л Л И И И Л Л И И

И Л Л Л И И Л Л Л Л

Л И И И И И Л И Л И

Л И И Л И И Л И Л И

Л И И И И И Л И Л И

Л И И Л И И Л И Л И

Л Л И И Л Л И Л И Л

Л Л И Л Л Л И Л Л Л

Л Л И И Л Л И Л И Л

Л Л И Л Л Л И Л Л Л

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

Задача 3

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

в) «Если подозреваемый совершил эту кражу, то она была тщательно подготовлена и он имел соучастника. Если бы кража была подготовлена тщательно, то, если был бы соучастник, украдено было бы гораздо больше. Но последнее не имеет места. Значит подозреваемый не совершал этой кражи».

р - Подозреваемый совершил эту кражу

r- Кража была подготовлена

s- Подозреваемый имел соучастника

q - Украдено было бы больше

-((p>(r^s)) >- q) > p

p r s q - q r^ s p>(r^s)) -( p>(r^s)) -((p>(r^s)) >- q) А

И И И И Л И И Л И

И И И Л И И И Л Л

И И Л И Л Л Л И Л

И И Л Л И Л Л И И

И Л И И Л Л Л И Л

И Л И Л И Л Л И И

И Л Л И Л Л Л И Л

И Л Л Л И Л Л И И

Л И И И Л И И Л И

Л И И Л И И И Л И

Л И Л И Л Л И Л И

Л И Л Л И Л И Л И

Л Л И И Л Л И Л И

Л Л И Л И Л И Л И

Л Л Л И Л Л И Л И

Л Л Л Л И Л И Л И

Данное рассуждение не является тавтологически истинным. Однозначный вывод о связи подозреваемого с объемом украденного сделать нельзя.

Задача 4

Привести примеры общеутвердительных, общеотрицательных, частноутвердительных и частноотрицательных суждений. Выяснить, распределены или нет субъект и предикат в каждом из этих суждений.

1. Нормы права имеют принудительный характер.

Общеутвердительное суждение.

Все S есть Р.

Субъект - «нормы права».

Предикат - «принудительный характер».

Кванторное слово - «все»

Связка - «являются».

Общеутвердительное суждение - это суждение, общее по количеству и утвердительное по качеству.

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

2. Некоторые тела сужаются при нагревании.

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

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

Субъект - «тела».

Предикат - «при нагревании».

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

Связка - «сужаются».

Частноутвердительное суждение - суждение, частное по количеству и утвердительное по качеству.

Здесь субъект и предикат - оба нераспределены.

3. Ни один свидетель не должен давать ложных показаний.

Общеотрицательное.

Не все S не есть Р.

Субъект - «свидетель».

Предикат - «ложных показаний».

Кванторное слово - «не все»

Связка - «не должен давать».

Общеотрицательное суждение - суждение, общее по количеству и отрицательное по качеству.

Здесь субъект и предикат - оба распределены.

4. Некоторые птицы не летают на юг.

Частноотрицательное.

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

Субъект - «птицы».

Предикат - «на юг».

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

Связка - «не летают».

Частноотрицательное суждение - суждение, частное по количеству и отрицательное по качеству.

Здесь предикат и субъект - оба нераспределены.

Задача 5

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

· в) свидетель происшествия - виновник происшествия - водитель автомобиля - пешеход - крокодил - участник д.т.п.;

Участник д.т.п (Д) может быть свидетелем происшествия (А), виновником происшествия (В), водителем автомобиля(С), пешеходом(П), но нельзя сравнить с крокодилом (К).

Задача 6

Для каждого из нижеследующих понятий в соответствии с таблицей выполнить следующие действия:

1) записать объем и содержание для каждого понятия

2) выяснить (если это возможно), к какому виду это понятие относится

2.1. пустое, единичное или общее

2.2. регистрирующее или нерегистрирующее

2.3. конкретное или абстрактное

2.4. положительные или отрицательные

2.5. безотносительные или соотносительные.

· в) домовой, красота, непьющий шахтер.

Домовой - пустое, нерегистрирующее, абстрактное, положительное, безотносительное понятие.

Красота - общее, нерегистрирующее, абстрактное, положительное, безотносительное понятие.

Непьющий шахтер - единичное, регистрирующее, конкретное, положительное, безотносительное.

Задача 7

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

1.Дедуктивное рассуждение.

Все юристы имеют высшее образование.

Некоторые юристы - адвокаты.

Демонстративное, дедуктивное, опосредованное умозаключение.

2. Умозаключения по аналогии (аналогия) (от греч. analogia - соответствие) - это умозаключения, в которых на основе сходства предметов (объектов) в одних признаках делается вывод об их сходстве и в других признаках. Н

1. «Как у глаза есть веко, так у дурака есть самоуверенность для защиты от возможности поранения своего тщеславия. И оба чем более берегут себя, тем менее видят - зажмуриваются»(Л.Н. Толстой).

У глаза есть веко для защиты от поранения.

Веко бережет глаз и зажмуривается.

У дурака есть самоуверенность для защиты от возможности своего поранения.

Дурак бережет себя и зажмуривается.

Умозаключение по аналогии.

3. На Нюрнбергском процессе несколько особо опасных нацистских преступников были приговорены к смертной казни.

Прямое доказательство в форме индуктивного обоснования:

а1 - К. - особо опасный нацистский преступник, он приговорен на Нюрнбергском процессе к смертной казни.

а2 З. - особо опасный нацистский преступник, он приговорен на Нюрнбергском процессе к смертной казни.

а3 - Д. - особо опасный нацистский преступник, он приговорен на Нюрнбергском процессе к смертной казни.

Значит, на Нюрнбергском процессе несколько особо опасных нацистских преступников были приговорены к смертной казни.

Задача 8

Выполнить операцию деления над понятием, выбранным в соответствии с таблицей. Выделить делимое понятие, члены деления, основание деления. Затем выполнить операции деления данного понятия с нарушением каждого из нижеследующих правил (на каждое правило - свое деление): 1) требование соразмерности 2) требование последовательности 3) требование исключения членов деления друг другом 4) требование одного основания.

· в) начальник

Начальник - лицо, имеющее должность и руководство чем-либо.

Делимое понятие - начальник.

Члены деления - должность, руководство

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

Нарушение:

1) требование соразмерности

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

2) требование последовательности

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

3) требование исключения членов деления друг другом

Начальник - лицо, имеющее ум, должность и руководство чем-либо.

4) требование одного основания.

Начальник - лицо, имеющее должность и руководство чем-либо, российского гражданства.

Задача 9

логический высказывание истинность понятие

В соответствии с таблицей, решить одну из нижеследующих задач:

· в) Всю неделю на мосту дежурят семеро друзей. Каждый по одному дню. Известно, что Алексей дежурит сразу же после Степана. Владимир дежурит через два дня после того, который предшествует дежурству Михаила. Геннадий дежурит двумя днями раньше Петра. В четверг дежурит Иван. День его дежурства оказывается ровно посередине между днями дежурства Геннадия и Степана. Установите график дежурства друзей.

понедельник

вторник

среда

четверг

пятница

суббота

воскресенье

Михаил

Геннадий

Владимир

Иван

Петр

Степан

Алексей

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

1. Гетманова А. Д. Логика: Учебник по логике. М.: ЧеРо, 2000.

2. Ивин А. А.Логика. М., 2009.

3. Ивлев Ю. В. Логика для юристов. М., 2006.

4. Кириллов В. И., Старченко А. А. Логика. М., 2006.

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


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

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

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

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

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

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

    контрольная работа [40,9 K], добавлен 11.08.2009

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

    контрольная работа [37,9 K], добавлен 07.03.2011

  • Силлогизм - дедуктивное умозаключение, в котором из двух категорических высказываний выводится одно новое. Диаграмма Эйлера для терминов: государство, республика, монархия. Построение таблицы истинности для формулы. Определение фигуры и модуса силлогизма.

    контрольная работа [80,2 K], добавлен 29.03.2010

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

    контрольная работа [38,7 K], добавлен 10.07.2013

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

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

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