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

Размещено на 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