WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     | 1 |   ...   | 7 | 8 || 10 |

6. Логический союз «ТОГДА И ТОЛЬКО ТОГДА, КОГДА» (эквиваленция). Обозначение:,. Пример: «В нормальных условиях вода замерзает тогда и только тогда, когда температура опускается ниже нуля градусов по Цельсию». Символически такое суждение можно записать так: АВ.

Задание 19. Переведите на символический язык сложные суждения3:

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

Пример:

«Если у человека много доброго и мало злого, то он – достойный муж. Если у человека ничего доброго и много дурного, то он – низкий человек». (Из наследия Чжан Чао).

Решение:

Обозначим: А – «У человека много доброго», В – «У человека мало злого», С – «Человек – достойный муж», D – «У человека много дурного», Е – «Человек – низкий».

((АВ)С) ((¬АД)Е).

Задание 21 и 22. Построить таблицы истинности. Определить, является ли выражение логическим законом.

Теория:

Таблицы истинности.

А) Таблица истинности для отрицания:

А ¬А И Л Л И Напомним: суждение считается истинным, если оно соответствует действительности. Например, «уголь черный» - истинное суждение. Суждение А может быть истинным, или ложным. Если А – истинно, то отрицание А – ложно, и наоборот.

Для остальных операций составим общую таблицу истинности:

А В АВ АВ АВ АВ АВ И И И И Л И И И Л Л И И Л Л Л И Л И И И Л Л Л Л Л Л И И Запомнить эту таблицу легко, если понять как она заполняется:

А В. «В корзине у Нелли лежат подберезовики и подосиновики». А – «В корзине у Нелли лежат подберезовики», В – «В корзине у Нелли лежат подосиновики». Тут может быть четыре варианта ситуаций. Рассмотрим эти ситуации – «смотрим в корзину». Первая ситуация: в корзине, действительно, есть подберезовики. – А - И; и, действительно, есть подосиновики В - И. Значит, общее суждение (АВ) будет истинным. Вторая ситуация: в корзине есть подберезовики, но нет подосиновиков. А – И, а В – Л. Значит, общее суждение, что лежат те и другие, - ложное. Третья ситуация аналогична второй. Четвертая ситуация: нет ни тех, ни других. Значит, общее суждение, что лежали те и другие – ложное.

А В. «В корзине у Нелли лежат подберезовики или подосиновики». Рассмотрим ситуации: 1) АИ, В-И. Значит А В – истинно. 2) А-И, В-Л. Значит, А В (лежат подберезовики или подосиновики) – истинно. 3) А-Л, В-И. Значит, А В – тоже истинно. 4) А-Л, В-Л. Нет ни того, ни другого.

Значит, АВ – ложь.

А В. «В корзине у Нелли лежали либо подберезовики, либо подосиновики». Рассмотрим ситуации: 1) А-И, В-И. Общее суждение в случае строгой дизъюнкции будет ложным. 2) А-И, В-Л. А В –истинно. 3) А-Л, В-И. А В –истинно. 4) А-Л, В-Л. А В – ложь.

АВ. «Если через проводник проходит электрический ток, то проводник нагревается». Рассмотрим ситуации: 1) А-И (через проводник, действительно, проходит электрический ток), В – И (проводник нагревается). Общее суждение АВ будет истинным. 2) А-И (через проводник, действительно, проходит электрический ток), но В – Л (проводник не нагревается). Такая ситуация невоз можна, поэтому АВ – ложь. 3) А-Л, В-И: АВ – считается истинным, потому что проводник может нагреваться и по другим причинам. 4) А-Л, В-Л: АВ – истина.

АВ. «В нормальных условиях вода замерзает тогда и только тогда, когда температура опускается ниже нуля градусов по Цельсию». Обозначим: А – «Вода замерзает», В – «Температура ниже нуля градусов». Рассмотрим ситуации: 1) А-И, В-И. Общее суждение будет истинным. 2) А - И, В -Л:

Вода замерзает, а температура не ниже нуля градусов. А В – ложно. 3) А - Л, В - И: А В – ложно. 4) А - Л, В – Л (вода не замерзает, температура не ниже нуля градусов): А В – истинно.

Пример 1: Составить таблицу истинности для выражения: ((АВ) ¬В)¬А.

Решение: Сначала определяем порядок выполнения операций. Ясно, что мы не можем выполнить конъюнкцию сразу, сначала нужно выполнить (АВ) [1]и ¬В [2]. После конъюнкции [3] вычисляем ¬А [4]. И затем вычисляем значения главного знака [5]. Для выполнения каждой операции смотрим в таблицу истинности соответствующих операций. Третье действие – конъюнкция «(АВ)¬В» [столбец 3] в первой строке интерпретаций принимает значение «Л», так как И [1] Л [2] = Л.

1 3 2 5 Порядок операций А В (АВ) ¬В ¬А И И И Л Л И Л И Л Л Л И И Л Л И И Л Л И И Л Л И И И И И В столбце 5 – главный знак выражения - импликация - принимает значение «истина» при любых интерпретациях А и В. Значит, данная формула является логическим законом.

Пример 2: Составить таблицу истинности для выражения ((АВ)(ВС))(АС). Определить, является ли выражение логическим законом.

Теория: Выражение принимающее значение «истина» при любых интерпретациях переменных, является логическим законом.

Решение: Так как в данном выражении три суждения – А, В и С, то в таблице необходимо рассмотреть 8 интерпретаций значений переменных.

1 3 2 5 Порядок операций А В С ((АВ) (ВС)) (АС) И И И И И И И И И И Л И И И И И И Л И Л Л И И И И Л Л Л Л Л И И Л И И И И И И И Л И Л И И И Л Л Л Л И И И И И И Л Л Л И Л Л И Л В главном знаке (столбец 5) выражение принимает значение «ложь» в шестой строке интерпретаций. Поэтому, данная формула не является логическим законом.

Задание 22. Произведите отрицание следующих суждений таким образом, чтобы результаты отрицания не содержали внешних знаков отрицания. (Используя законы пронесения отрицания.) Теория:

Законы пронесения отрицания:

¬ (А В) ¬А ¬В;

¬ (А В) ¬А ¬В;

¬ (А В) А ¬В;

¬ ¬ А А.

Пример: «Он хорошо играет в шашки или в шахматы».

Неверно, что «Он хорошо играет в шашки или в шахматы» эквивалентно «Он плохо играет в шашки и плохо играет в шахматы».

Теория к 23 заданию:

Отношение логического следования.

Для решения многих логических задач необходимо выяснить: является ли одна формула логическим следствием других.

Определение: Из формулы Ф1 логически следует формула Ф2 тогда и только тогда, когда их импликация (Ф1Ф2) – является логическим законом.

Например, пусть формула Ф1: АВ, а Ф2: АВ. Определить, следует ли из Ф1 формула Ф2.

Составим таблицу истинности для формулы (АВ) (АВ):

1 3 Порядок операций А В (АВ) (АВ) И И И И И И Л Л И И Л И Л И И Л Л Л И Л Импликация (здесь: главный знак формулы) всегда принимает истинное значение. И, так как импликация Ф1Ф2 всегда истинна, значит, из формулы Ф1 логически следует формула Ф2.

Сокращенный метод.

Для установления отношения логического следования таблицы истинности составлять не обязательно.

Применим рассуждение от противного. Допустим, формула (Ф1Ф2) не всегда истинна, т.е. она принимает значение ложь при какой-нибудь интерпретации ее аргументов. Тогда в этом случае формула Ф1 должна принимать значение истина: (АВ) = И, а Ф2 – ложь: (АВ) = Л. Из первой формулы следует, что А=И и В=И, а из второй формулы следует, что хотя бы один из аргументов (А или В) должен принимать значение ЛОЖЬ. Пришли к противоречию. Значит, нет таких интерпретаций аргументов А и В, при которых эта формула принимает значение ЛОЖЬ. Значит, формула (Ф1Ф2) всегда истинна. Если бы нашлись такие А и В, при которых не было противоречия, то данная формула не была бы тождественно истинной, а значит, не было бы отношения логического следования.

Теория к заданию 24. Тема «Основные законы мышления».

Основные законы мышления называются так, потому что их выполнение важно в любом процессе мышления. Первые три закона сформулировал Аристотель. А четвертый был сформулирован Г.

Лейбницем.

1. Закон тождества: «Всякая мысль в процессе рассуждения должна оставаться тождественной самой себе».

Символическая запись: АА.

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

2. Закон непротиворечия: «Два противоположных или противоречащих суждения об одном и том же предмете, взятом в одно и то же время, в одном и том же отношении не могут быть вместе истинными».

Символическая запись: ¬(А¬А).

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

3. Закон исключенного третьего: «Два противоречащих суждения не могут быть вместе ложными:

одно из них истинно, другое – ложно, а третьего не дано».

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

4. Закон достаточного основания: «Ни одно суждение не может признано истинным без достаточного обоснования».

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

Задание 25. Построить непосредственные умозаключения - обращение, превращение, противопоставление субъекту и противопоставление предикату.

Теория:

Непосредственные умозаключения – это умозаключения из одной посылки.

1. Обращение - преобразование простого суждения путем перестановки его субъекта и предиката местами. При этом качество его не меняется, а количество может измениться. Частноотрицательные суждения не обращаются.

2. Превращение – это преобразование суждения путем введения двойного отрицания – первый раз перед связкой, а второй – перед предикатом.

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

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

Пример : «Все адвокаты – юристы».

Решение:

Обращение: «Некоторые юристы – адвокаты». – Меняем местами субъект и предикат.

Превращение: «Ни один адвокат не есть не-юрист». - Вводим двойное отрицание: перед связкой и перед предикатом.

Противопоставление субъекту: «Некоторые юристы не могут быть не адвокатами».

Противопоставление предикату: Ни один не-юрист не может быть адвокатом.

Задания 26-30. Тема «Простой категорический силлогизм».

Теория:

Простой категорический силлогизм (ПКС) – это умозаключение, в котором обе посылки и заключение являются простыми категорическими суждениями. Силлогизм от гр. Syllogismos - рассуждение, состоящее из двух суждений (посылок), из которых следует третье суждение – вывод.

Пример 1: М Р Все адвокаты – юристы.

S М Р S М Петров – адвокат.

S Р Значит, Петров – юрист.

Структура ПКС:

В ПКС различают три термина: меньший, больший и средний. Меньший термин – S – субъект заключения. Больший термин – Р – предикат заключения. Средний термин – М – термин, входящий в посылки, и не входящий в заключение. Меньшая посылка – посылка, в которую входит S. Большая посылка – посылка, в которую входит Р.

Общие правила простого категорического силлогизма:

Правила посылок:

1. Из двух отрицательных суждений нельзя сделать определенного вывода.

/ Пример 2: «Сухое дерево – не проводник. Железо – не сухое дерево. Значит(), железо – не проводник» / 2. Если одна посылка отрицательная, то и заключение будет отрицательным.

/Пример 3: «Все адвокаты – юристы. Петров – не юрист. Значит, он - не адвокат» / 3. Из двух частных суждений нельзя сделать определенного вывода.

/Пример 4: «Некоторые люди – милосердные. Некоторые люди – людоеды. Значит (), людоеды – милосердные» / 4. Если одна посылка частная, то и заключение будет частным.

/ Пример 5: «Все млекопитающие – позвоночные. Некоторые земноводные – млекопитающие. Значит, некоторые млекопитающие – позвоночные» / Правила терминов:

1. В силлогизме должно быть только три термина.

/ Пример 6: «Все адвокаты – юристы, а Киркоров – звезда эстрады» - нет общего термина, поэтому нет никакой связи между этими суждениями и нельзя сделать никакого вывода/.

/Пример 7: «Материя вечна. Шелк – материя. Следовательно, шелк вечен» - слово «материя» обозначает здесь два разных понятия./ 2. Средний термин должен быть распределен хотя бы в одной из посылок.

3. Крайний термин (S, Р) распределен в заключении тогда и только тогда, когда он распределен в посылках.

Пример 8: P+ М «Все преступники должны нести ответственность за свои деяния».

S+ М «Петров должен нести ответственность за свои деяния».

S+ Р- «Петров – преступник».

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

Правила фигур:

В зависимости от расположения среднего термина выделяют четыре фигуры ПКС.

1 фигура: М Р 2 фигура: Р М 3 фигура: МР 4 фигура: Р М S_ M S M MS M S Правило первой фигуры: Большая посылка должна быть общим суждением, а меньшая – утвердительным.

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

Правило третьей фигуры: Меньшая посылка – утвердительное суждение, а заключение – частное.

Правило четвертой фигуры: Если большая посылка – утвердительное суждение, то меньшая посылка – общее суждение. Если одна из посылок – отрицательная, то большая посылка является общим суждением.

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

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

Задание 29: Энтимема. Восстановить в полный простой категорический силлогизм, и проверить его.

Теория: Энтимема – это сокращенный силлогизм. Различают энтимему с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением. Суждения, составляющие энтимему, соединяются между собой выражениями: так как, потому что, ибо, поскольку, следовательно, значит, поэтому и, а, но, да и т.д.

Пример :Угон автомобиля карается законом, так как всякая кража карается законом.

Pages:     | 1 |   ...   | 7 | 8 || 10 |



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.