логика
.docxМинистерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего образования
«Тульский государственный университет»
Контрольная работа по дисциплине: Логика
Выполнила___________
Проверил____________
Тула
1. Деление по видообразующему признаку:
Ядерные взрывы делятся на воздушные, наземные, подводные, подземные;
Паразиты делятся на эктопаразитов и эндопаразитов;
Экономическая система бывает традиционная, командная, смешанная и рыночная;
Углы делятся на прямые, острые, тупые;
Денежные знаки можно разделить на бумажные и кредитные.
2. Лиса
Обобщение: Хищное млекопитающее семейства собачьих, хищное млекопитающее, млекопитающее, животное, организм
Ограничение: мраморная лисица, мраморная лисица, проживающая в домашних условиях
Береза
Обобщение: лиственное дерево, дерево, растение
Ограничение: каменная береза, каменная береза Камчатки
Река
Обобщение: пресный проточный водоем, пресный водоем, водоем
Ограничение: река во Франции, река впадающая в Ла-Манш, река в Париже, река Сена
Город
Обобщение: населенный пункт
Ограничение: город европейского государства, город Италии, Рим
Учебник
Обобщение: книга, содержащая систематическое изложение знаний в определенной области, книга
Ограничение: учебник по математике, учебник по математике для высшей школы, учебник по линейной алгебре
3. а) A- целое число
B- положительное число
C- число
D- четное число
б) A- игрушка
B- пистолет
C- пазл
D- игрушки для мальчика
4. Лампа - источник света (несоразмерность, источником света может быть свеча, Солнце)
Автомобиль - устройство для перевозки людей (определение слишком узкое, можно перевозить грузы; определение слишком широкое, людей можно перевозить на поезде, на самолете)
Идеалист - человек идеалистических убеждений (тавтология, слово "идеалист" объясняется через слово "идеалистический", значение которого мы не знаем)
5. 1) Суждение А - общеутвердительное. Его структура: “Все S суть Р”.
В суждении “Все щуки - рыбы” субъектом является понятие “щука”, а предикатом - понятие “рыба”. Квантор общности - “все”. Субъект распределен, так как речь идет о всех щуках, т.е. его объем полностью включен в объем предиката. Предикат не распределен, так как в нем мыслится только часть рыб, которые совпадают с щуками; речь идет лишь о той части объема предиката, которая совпадает с объемом субъекта.
2) Суждение I - частноутвердителъное. Его структура: “Некоторые S суть Р”.
В суждении “Некоторые взрослые - спортсмены” термины такие: S - “взрослый”, Р - “спортсмен”, квантор существования - “некоторые”. Субъект не распределен, так как в нем мыслится только часть взрослых, т. е. объем субъекта лишь частично включается в объем предиката. Предикат тоже не распределен, так как он также лишь частично включен в объем субъекта (только некоторые спортсмены являются взрослыми).
3) Суждение Е - общеотрицательное. Его структура: “Ни одно S не суть Р”.
В суждении: “Ни одна белка не есть хищное животное” - термины такие: S- “белка”, Р- “хищное животное” и кванторное слово - “ни один”. Объем субъекта полностью исключается из объема предиката, и наоборот. Поэтому и S, и Р распределены.
4) Суждение О - частноотрицательное. Его структура: “Некоторые S не суть Р”.
В суждении: “Некоторые студенты не являются водителями” - такие термины: S - “студент”, Р -“водитель” и квантор существования - “некоторые”. Субъект не распределен, так как мыслится лишь часть студентов, а предикат распределен, ибо в нем мыслятся все водители, ни один из которых не включен в ту часть студентов, которая мыслится в субъекте.
6. Конъюнкция
На подоконнике сидит кошка и собака.
Состоит из двух суждений:
А = На подоконнике сидит кошка
В = На подоконнике сидит собака
А^В = На подоконнике сидит кошка и собака
А |
B |
A^B |
Истинность |
0 |
0 |
0 |
Л |
0 |
1 |
0 |
Л |
1 |
0 |
0 |
Л |
1 |
1 |
1 |
И |
Операция конъюнкции истинна тогда и только тогда, когда оба высказывания истинны, и ложна, когда хотя бы одно высказывание ложно. (0 х 0 = 0; 0 х 1= 0; 1 х 0 = 0; 1 х 1 = 1.)
Дизъюнкция
Девушка едет в машине или едет на самокате.
Состоит из двух суждений:
А = Девушка едет в машине
В = Девушка едет на самокате.
АvВ = Девушка едет в машине или на самокате.
А |
B |
AvB |
Истинность |
0 |
0 |
0 |
Л |
0 |
1 |
1 |
И |
1 |
0 |
1 |
И |
1 |
1 |
1 |
И |
Операция дизъюнкции ложна тогда и только тогда, когда оба высказывания ложны, и истинна, когда хотя бы одно высказывание истинно. (0 + 0 = 0; 0 + 1= 1; 1 + 0 = 1.)
Импликация.
Если слово дано, то оно должно выполняться.
Состоит из двух суждений:
А = Слово дано.
В = Оно должно выполняться.
АÉВ = Если слово дано, то оно должно выполняться. (Если А, то В)
А |
B |
AÉB |
Истинность |
0 |
0 |
1 |
И |
0 |
1 |
1 |
И |
1 |
0 |
0 |
Л |
1 |
1 |
1 |
И |
Импликация двух высказываний ложна, когда из истинного высказывания следует ложное.
Эквиваленция.
Число делится на 5 без остатка тогда и только тогда, когда сумма цифр данного числа делится нацело на 5.
А = Число делится на5 без остатка.
В = Сумма цифр числа делится нацело на 5.
А~В = Число делится на 5 без остатка тогда и только тогда, когда сумма цифр данного числа делится нацело на5.
А |
B |
A~B |
Истинность |
0 |
0 |
1 |
И |
0 |
1 |
0 |
Л |
1 |
0 |
0 |
Л |
1 |
1 |
1 |
И |
Эквивалентность двух высказываний истинна, когда оба эти высказывания истинны или оба ложны.
7. Алетическая модальность: На Луне, возможно, есть кислород.
Эпистемическая модальность: Доказано, что сбалансированное питание благоприятно влияет на организм.
Деонтическая модальность: Каждый имеет право на свободу и личную неприкосновенность.
Аксиологическая модальность: Хорошо, что я не опоздал на поезд.
8. Суждение частноутвердительное (I) нельзя противопоставить предикату.
1) Суждение А - общеутвердительное.
Все белки являются грызунами. (Все S есть Р). Преобразование путем противопоставления предикату: Все не грызуны не являются белками. (Ниодно не-Р не есть S) Превращение: Все белки не являются не грызунами. (Е, Ниодно S не есть не-Р). Обращение: Все не грызуны не являются белками. (Ниодно не-Р не есть S). 2) Суждение Е - общеотрицательное.
Все медузы не являются млекопитающими. (Ни одно S не есть Р). Преобразование путем противопоставления предикату: Некоторые не млекопитающие являются медузами. (Некоторые не-Р есть S).
Превращение: Все медузы являются не млекопитающими. (А, Все S есть не-Р) Обращение: Некоторые не медузы являются млекопитающими. (Некоторые не-Р есть S). 3) Суждение О - частноотрицательное.
Некоторые книги не являются учебниками. (Некоторые S не есть Р). Преобразование путем противопоставления предикату: Некоторые не учебники являются книгами. (Некоторые не-Р есть S) Превращение: Некоторые книги являются не учебниками. (I, Некоторые S есть не-Р). Обращение: Некоторые не учебники являются книгами. (Некоторые не-Р есть S).
9. 1) Все умные люди – блондины. Некоторые добрые люди – неумные. Значит, некоторые добрые люди – не блондины.
2) Всякий научный эксперимент есть научная работа. Всякое исследование тоже есть научная работа. Значит, всякое исследование есть научный эксперимент.
3) Некоторые рыжие коты - толстые. Ни один рыжий кот не ест морковь. Следовательно, некоторые толстые коты не едят морковь.
4) Некоторые водители - кандидаты наук. Все кандидаты наук преподают. Следовательно, некоторые преподающие люди - водители.
10. а) Чисто условные.
Если человек не наденет шапку зимой (p), то он заболеет (q). Если человек заболеет (q), то у него будет болеть горло (s). Следовательно, если человек не наденет шапку зимой (p), то у него будет болеть горло (s). Символическая форма: ((p→q)˄(q→s))→(p→s)
б) Условно-категорические.
Если заявление о преступлении является письменным, то оно должно быть подписано лицом, от которого оно исходит. Заявление о преступлении является письменным – p Заявление должно быть подписано лицом, от которого оно исходит – q Символическая форма: (p→q) По утверждающему модусу: ((p→q)˄p)→q «Если заявление о преступлении является письменным, то оно должно быть подписано лицом, от которого оно исходит. Заявление о преступлении является письменным. Следовательно, оно должно быть подписано лицом, от которого оно исходит». Рассуждение строится от утверждения основания к утверждению следствия. По отрицающему модусу: ((p→q)˄¬q)→¬p Если заявление о преступлении является письменным, то оно должно быть подписано лицом, от которого оно исходит. Заявление не подписано лицом, от которого оно исходит. Заявление о преступлении не является письменным. Это рассуждение строится на основе отрицания следствия к отрицанию основания.
в) Разделительно-категорические.
Когда я понял, что в комнату невозможно проникнуть ни через дверь, ни через окно, мое внимание сразу привлек дымоход.
Обитателю комнаты грозила опасность проникновения в комнату или через дверь, или через окно, или через дымоход.
В комнату невозможно проникнуть ни через дверь, ни через окно.
В комнату можно проникнуть через дымоход.
((p v q) ^ p) É q.
Модус отрицающе-утверждающий.
г) Условно-разделительные.
Конструктивная дилемма.
Если философ считает, что истинное знание можно получить только из разума, он принадлежит к лагерю рационализма; если же он считает, что только чувственный опыт есть единственный источник знания, то он принадлежит к лагерю эмпиризма. Но философ может признавать источником знания или разум, или чувственный опыт. Если философ признает источником разум (p) , значит, он принадлежит к лагерю рационализма (q); если же он считает источником чувственный опыт (s), то он принадлежит к лагерю эмпиризма (t). Но философ может признавать источником или разум (p), или чувственный опыт (s). Следовательно, философ принадлежит либо к лагерю рационализма (q), либо к лагерю эмпиризма (t). ((p→q)˄(s→t)˄(p˅s))→(q˅t)
Деструктивная дилемма. Гражданин вправе требовать по суду опровержения порочащих его честь( p), достоинство (q) или деловую репутацию сведений (s), если распространивший такие сведения не докажет, что они соответствуют действительности (⌐t)». «Гражданин С. не вправе требовать по суду опровержения сведений или порочащих (⌐p) его честь и достоинство (⌐q), или его деловую репутацию (⌐s). Следовательно, распространивший такие сведения докажет, что они соответствуют действительности (t). Символическую форму сложного суждения можно представить так: (⌐t→p)˄(⌐t→q)˄(⌐t→s)˄ (⌐p˅⌐q˅⌐s))→ t
11. 1) Мария водитель.
Прямое доказательство: Все водители учились в автошколе. Мария не училась в автошколе. Мария не водитель.
Косвенное доказательство: Если Мария водитель, то она знает ПДД. Мария не знает ПДД. Следовательно, Мария не водитель.
2) Мой брат не химик. Прямое доказательство: Все химики читали учебники по химии. Мой брат не читал учебники по химии. Мой брат не химик. Косвенное доказательство: Если мой брат химик, то он умеет смешивать растворы. Мой брат не умеет смешивать растворы. Следовательно, мой брат не химик.
3) В городе Н. плохая экология. Прямое доказательство: Если допустимая концентрация вредных веществ в атмосфере превышена, то это свидетельствует о плохой экологии. В городе Н. превышена допустимая концентрация вредных веществ. Следовательно, в городе Н. плохая экология.
Косвенное доказательство: Если экология в городе Н. хорошая, то в атмосфере нет отравляющих веществ. В их атмосфере города Н. есть отравляющие вещества. Следовательно, экология в городе Н. плохая.
4) Я не работаю хирургом.
Прямое доказательство:
Все, кто работают хирургами, получали медицинское образование. Я не получала медицинское образование. Следовательно, я не работаю хирургом. Косвенное доказательство: Если я работаю хирургом, то я работаю в больнице. Я не работаю больнице. Следовательно, я не работаю хирургом.