Суждение ( Логика). Вариант 1 Суждение.docx Логика. 1. Образование сложных суждений
Скачать 47.2 Kb.
|
Классификация сложных суждений. Вид сложного суждения зависит от союза. Общий вид: [(S –P)(«и», и «или», «либо, либо», «если, то..»)(S-P)], или: p(&, , , ≡) q Основными видами сложных суждений являются: Соединительное (или конъюктивные) сложное суждение (конъюнкция) образуется из двух или более простых суждений, соединенных логическим союзом конъюнкции (&, ˄, •). Структура конъюнкции: [(S есть P) & (S есть P)] или на языке исчисления предикатов: p & q. Союзы «а», «но», «да», «и» и др выражают конъюнкцию в естественном языке. Например: «США – федеративное государство и оно состоит из 50 штатов». Данное суждение состоит из двух простых суждений («США – федеративное государство» и «оно состоит из 50 штатов») и соединительного союза «и». В естественном языке конъюнктивные суждения могут принимать вид суждения со сложным объектом; S1,S2, S3 есть Р. Например: «Первая, вторая и третья курсовые работы являются исследованиями в области искусственного интеллекта». Разъединительное (дизъюнктивное) сложное суждение (дизъюнкция) образуется из двух и более простых суждений. Структура дизъюнкции: [(S есть P) (S есть P)]. Можно также записать: p q. Дизъюнкции соответствуют союзы «либо либо», «или»и др. Например: «Он является гением или он – сумасшедший». Данное суждение состоит из двух простых суждений («Он является гением» и «он – сумасшедший») и разделительного союза «или». В логике различают слабую (неисключающую, нестрогую) и сильную (исключающую, строгую) дизъюнкцию. Слабая дизъюнкция выражается соединительно-разделительным союзом «или» и допускает истинность обоих простых суждений, которые она связывает. Например, «Любой человек знает стихи или хотя бы имя А.С Пушкина». Символически: p v q. Сильная дизъюнкция выражается соединительно-разделительным союзом «либо либо» и не допускает одновременной истинности входящих в ее состав простых суждений. Например, «Либо Вы сдаете задолженность, либо Вы будете отчислены». Символически: p q. Союз «либо» может выражаться и через союз «или», но по смыслу означать строгую дизъюнкцию. Условное (импликативное) сложное суждение (импликация) образуется из двух и более простых суждений, соединенных логическим союзом импликации (→, ⸧). Структура импликации (S есть P) → (S есть P), или p→q «если, то», «когда, тогда» и др Например: «Если вы определились с темой курсового проекта, то можете приступать к работе». В струкутуре импликативного суждения выделяют основание импликации (антецедент) и следствие импликации (консеквент).. Основание следует после слова «если». В нашем примере основание импликации «Если вы определились с темой курсового проекта». Следствие стоит после слова «то». В нашем примере следствие импликации: « Вы можете приступать к работе». Условные суждения выражаются в естественном языке при помощи слов «если то», «только, если», «тогда, когда», «постольку, поскольку» и обозначают: - причинно – следственную связь «Если лампу выключить, то она погаснет»; - обоснование «Если фирма является экспертом, то она имеет лицензию». Эквивалентные (взаимообусловленные) суждения (эквиваленция) состоят из двух и более простых суждений, связанных логическим союзом эквиваленции (≡, ↔, → ). Структура эквиваленции: (S есть P) ≡ (S есть P) также можно записать: p ≡ q «тогда и только тогда, когда» и др. Например: « Золотая медаль присуждается учащемуся тогда, когда…», «если у данного прямоугольника стороны равны, то это – квадрат». 2. Установление логического значения сложных суждений при помощи таблиц истинности. Условия истинности сложных суждений, состоящих из простых категорических суждений, основываются на допущении двузначности и задаются при помощи таблиц истинности. Таблица истинности — это таблица, задающая логическую функцию. 2.1. Таблица истинности для конъюнкции:
p, q – пропозициональные переменные, обозначающие простые суждения, т.е р – (S есть P) и q - (S есть P). Буква И означает истину, а буква Л означает ложь. Каждой строке таблицы соответствует сложное суждение. Соединительные (конъюнктивные) суждения истинны тогда, когда истинны все входящие в них простые суждения (члены конъюнкции). Конъюнкция ложна, если ложен хотя бы один из ее членов.2.2. Таблица истинности для дизъюнкции:
Слабая дизъюнкция истинна, когда истинен хотя бы один из членов дизъюнкции, и ложна, когда все ее члены – ложны. 2.2.1. Таблица
Сильная дизъюнкция истинна только при разных логических значениях членов дизъюнкции и ложна при одинаковых. 2.3 Таблица истинности для импликации:
Импликативные суждения истинны во всех случаях, кроме одного, когда антецедент – истинен, а консеквент – ложен. То есть в случае, когда причина возникла, а следствие не наступает, вся импликация является ложной. 2.4. Таблица истинности для эквиваленции:
Эквивалентные суждения являются равнозначными. Поэтому они истинны при равных значениях членов эквиваленции и ложны – при разных. 2.5.Таблица истинности для отрицания:
«Отрицание» – унарный союз. Если исходное суждение истинно, то его отрицание – ложно, и наоборот. Сложное суждение может не только состоять из нескольких простых суждений, но и включать в себя несколько логических союзов: (p&q)→p. Чтобы установить истинность такого суждения, необходимо установить главный логический союз, указывающий на вид суждения, и построить соответствующую таблицу истинность: 2.6 Таблица
Главный логический союз (в данном случае – импликация) всегда находится в последней колонке таблицы. 3. Практические задания: 1. Установите вид следующих сложных суждений и определите их истинность при помощи таблиц истинности: 1.1. Редакция вправе увеличить или уменьшить размер гонорара. - Дизъюнкция сильная (т.к. одновременно увеличить и уменьшить гонорар невозможно) - Разъединительное сложное суждение - Выражает: выбор - Структура: p q Сильная дизъюнкция истинна только при разных логических значениях членов дизъюнкции. Ложна при одинаковых логических значениях
Выражение истинно. 1.2. Банан – пищевое растение и источник доходов для экспортирующих стран. -Конъюнкция со сложным предикатом - Соединительное сложное суждение -Выражает: одновременность -Структура: p&q Соединительные (конъюнктивные) суждения истинны тогда, когда истинны все входящие в них простые суждения (члены конъюнкции). Конъюнкция ложна, если ложен хотя бы один из ее членов.
Выражение истинно. 1.3. Он сейчас находится в Минске или в Петербурге. - Дизъюнкция сильная - Разъединительное сложное суждение - Выражает: альтернатив - Структура: p q Сильная дизъюнкция истинна только при разных логических значениях членов дизъюнкции. Ложна при одинаковых логических значениях Предположим, что первая часть суждения истинна, значит, вторая - ложна, т.к. он не может одновременно находиться в разных городах.
Выражение истинно. 1.4. Кукушка хвалит петуха за то, что хвалит он кукушку. - Импликация - Условное сложное суждение - Выражает: причинно-следственную связь - Структура: p→q
Импликативные суждения истинны во всех случаях, кроме одного, когда антецедент – истинен, а консеквент – ложен. То есть в случае, когда причина возникла, а следствие не наступает, вся импликация является ложной. Выражение истинно. 1.5. Если к двум прибавить два, то получится четыре. - Импликация (суждения равнозначные) - Условное сложное суждение - Выражает: причинно-следственную связь - Структура: p→q
Импликативные суждения истинны во всех случаях, кроме одного, когда антецедент – истинен, а консеквент – ложен. То есть в случае, когда причина возникла, а следствие не наступает, вся импликация является ложной. Выражение истинно. 2. Постройте таблицу истинности для следующего выражения: (p → (pvq)).
Выражение является ложным. Главным логическим союзом данного выражения является (отрицание). Литература 1) Малыхина, Г.И Логика : Учебник для вузов / Г. И. Малыхина. – Минск : Выш. шк., 2013. – 334 с.: ил. 2) Кириллов В. И., Старченко А. А. Логика: учебник для юридических вузов / под ред. проф. В. И. Кириллова. — Изд. 6-е, перераб. и доп. - М. : ТК Велби, Изд-во Проспект, 2008. - 240 с. 3) Бочаров В.А., Маркин В.И. Основы логики: Учебник. М.: ИНБ 87 ФРА-М, 19 9 8 .-2 9 6 с. |