Тема 8 (занятие 10 неделя 11). Логическая информация

Тема 8 (занятие 10 неделя 11). Логическая информация и основы логики 1

Формы мышления Первые учения о формах и способах рассуждений возникли в странах Древнего Востока, но в основе современной логики лежат учения , созданные древнегреческими мыслителями. Основы формальной логики заложил Аристотель, впервые отделив логические формы мышления от его содержания. Логика – это наука о формах и способах мышления. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны. Мышление всегда осуществляется в каких-то формах. Основные формы мышления – понятие, высказывание, умозаключение. 2

Понятие выделяет существенные признаки объекта, которые отличают его от других объектов. Объекты, объединенные понятием, образуют некоторое множество. Пример: понятия «компьютер» , «автомобиль» . Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта. Понятие имеет две стороны: содержание и объем. Содержание понятия составляет совокупность существенных признаков объекта. Раскрыть содержание понятия – найти признаки, необходимые и достаточные для выделения объекта из множества всех объектов. Объем понятия определяется совокупностью предметов, на которую он распространяется. Пример: « персональный компьютер» . 3

Высказывание Свое понимание окружающего мира человек формули-рует в форме высказываний (суждений, утверждений). Высказывание (суждение) – это повествовательное предложение, построенное на основе понятий, в котором что-либо утверждается или отрицается. Высказывания могут быть выражены не только на естественных, но и на формальных языках (2*2=4; 6>8). По поводу любого высказывания можно сказать, истинно оно или ложно. Истинным будет высказывание, в котором связь понятий правильно отражает свойства и отношения реальных вещей. Ложным высказывание будет, если оно не соответствует действительности. Пример: «У слона есть хобот. Мыши ловят кошек. » Иногда истинность некоторых 4 высказы-ваний является относительной. Пример: «Я учусь в

Высказывание – это форма мышления, в котором что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание может быть либо истинно либо ложно. На основании простых высказываний могут быть построены составные высказывания. Истинность или ложность простых высказываний устанавливается в результате соглашения на основании здравого смысла, а истинность или ложность составных высказываний вычисляется с помощью алгебры высказываний (алгебры логики). Высказывания бывают общими, частными или единичными. Общее высказывание начинается (или можно начать) со слов: все, всякий, каждый, ни один. Частное высказывание начинается (или можно начать) со слов: некоторые, большинство и т. п. Во всех других случаях высказывание 5 называется единичным.

Пример 1. Определить значения истинности для следующих высказываний: «Лед – твердое состояние воды» – истинное высказывание. «Рим – столица Китая» – ложное высказывание. Пример 2. Определить тип следующих высказываний: «Все рыбы умеют плавать» – общее высказывание. «Некоторые медведи – бурые» – частное высказывание. «Буква А – гласная» – единичное высказывание. Задача 1: Какие из этих предложений являются высказываниями? Определите их истинность. Задача 2: Какие из этих предложений являются высказываниями? Определите их тип. 6

Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение). Посылками умозаключения по правилам могут быть только истинные суждения. Тогда, если умозаключения проводятся в соответствии с правилами формальной логики, то оно будет истинным. В противном случае можно прийти к ложному умозаключению. 7

Задача 1: Какие из следующих предложений являются высказываниями? Определите их истинность: 1. Число 6 – четное. 2. Посмотрите на доску. 3. У каждой лошади есть хвост. 4. Кто отсутствует? 5. Есть кошки, которые дружат с собаками. 6. Не все золото, что блестит. 7. Х 2 > 0. 8. Выразите 1 час 45 минут в минутах. 9. Наполеон был французским императором. 10. Не нарушайте правил дорожного движения! 11. Полярная звезда находится в созвездии Кита. 8

Задача 2: какие из приведенных высказываний являются общими, частными, единичными: 1. Не все книги содержат полезную информацию. 2. Кошки являются домашними животными. 3. Некоторые ученики получают двойки. 4. Моя собака любит гулять. 5. Все лекарства горькие. 6. У некоторых змей нет ядовитых зубов. 7. Все матросы умеют плавать. 8. Все металлы проводят тепло. 9. Никто не любит лечить зубы. 10. Любой неразумный человек ходит на руках. 11. Большинство людей ночью спят. 12. А – первая буква в алфавите. 9

Задача 3: определите истинность высказываний: 1. Не все книги содержат полезную информацию. 2. Кошки являются домашними животными. 3. Некоторые ученики получают двойки. 4. Моя собака любит гулять. 5. Все лекарства горькие. 6. У некоторых змей нет ядовитых зубов. 7. Все матросы умеют плавать. 8. Все металлы проводят тепло. 9. Никто не любит лечить зубы. 10. Любой неразумный человек ходит на руках. 11. Большинство людей ночью спят. 12. А – первая буква в алфавите. 13. Каждый человек – художник. 10

Алгебра высказываний была разработана для того, чтобы можно было определять истинность или ложность составных высказываний, не вникая в их содержание. В алгебре высказываний простые высказывания (суждения) обозначаются именами логических переменных (прописными буквами латинского алфавита), которые могут принимать лишь два значения: «истина» (1) и «ложь» (0). В алгебре высказываний над высказываниями можно производить определенные логические операции, в результате которых получаются новые, составные высказывания. 11

Логические величины, операции, выражения Логические величины – это понятия, выражаемые словами ИСТИНА, ЛОЖЬ (true, false). Т. е. истинность высказываний выражается через логические величины. Логическая константа : ИСТИНА или ЛОЖЬ. Логическая переменная: символически обозначенная логическая величина, может принимать значения только ИСТИНА или ЛОЖЬ. Логическое выражение – простое или сложное высказывание. Сложное высказывание строится из простых с помощью логических операций (связок). Логические операции (функции) – принимают значения 0 ( «ложь» ) или 1 ( «истина» ). Значения логической функции можно определить с помощью таблицы истинности данной функции, которая показывает, какие значения принимает логическая функция при всех возможных наборах ее аргументов. 12

Логические операции Конъюнкция (логическое умножение). Объединение двух (или нескольких) высказываний в одно с помощью союза «и» называется операцией логического умножения или конъюнкцией. Составное высказывание, образованное в результате операции логического умножения (конъюнкции), истинно тогда и только тогда, когда истины все входящие в него простые высказывания. В русском языке конъюнкция выражается союзом И. В математической логике используются знаки & или ^. Конъюнкция – бинарная (двухместная) операция, записывается в виде А & B А В А&B 0 0 1 13

Логические операции Дизъюнкция (логическое сложение). Объединение двух (или нескольких) высказываний в одно с помощью союза «или» называется операцией логического сложения или дизъюнкцией. Составное высказывание, образованное в результате операции логического сложения (дизъюнкции), истинно тогда и только тогда, когда истинно хотя бы одно входящее в него простое высказывание. В русском языке дизъюнкция выражается союзом ИЛИ. В математической логике используются знаки √ или +. Дизъюнкция – бинарная (двухместная) операция, записывается в виде А √ B А В А√B 0 0 1 1 14

Логические операции Инверсия (логическое отрицание). Присоединение частицы «не» к высказыванию называется операцией логического отрицания или инверсией. Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное – истинным. В русском языке инверсия выражается союзом НЕ. В математической логике используются знаки Ā или ¬А. Инверсия – унарная (одноместная) операция. А Ā 0 1 1 0 15

Логические операции Импликация (логическое следование). Логическое следование (импликация) образуется соединением двух высказываний в одно с помощью оборота речи «если…, то…» . Составное высказывание, образованное в результате операции логического следования (импликации), ложно тогда и только тогда, когда из истинной предпосылки (первого высказывания) следует Вложный языке выражается союзами русском вывод (второе выск. ) если …, то…; когда … тогда…; коль скоро…, то… и т. п. Первая часть выражения называется основанием условного высказывания, а вторая часть следствием. В математической логике используются знаки → или =>. Импликация – бинарная (двухместная) операция. А В А →B 0 0 1 1 1 0 0 1 16

Логические операции Эквивалентность (логическое равенство). Логическое равенство (эквивалентность) образуется соединением двух высказываний в одно с помощью оборота речи «… тогда и только тогда, когда …» . Составное высказывание, образованное в результате логической операции эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны. В русском языке выражается союзами если и только если…, тогда и только тогда, когда … В математической логике используются знаки Ξ , или <¬>. Эквивалентность – бинарная (двухместная) операция. А В А ΞB 0 0 1 0 1 0 0 1 17

Порядок логических операций Последовательность выполнения операций в логических формулах определяется старшинством операций. В порядке убывания старшинства логические операции расположены: отрицание конъюнкция дизъюнкция импликация эквивалентность. Кроме того, на порядок операций влияют скобки, которые можно использовать в логических формулах. Пример: расставить порядок действий (А и В) или (не А и В) или (А и не В следует не В) 18

Задача 1: Из двух простых высказываний постройте сложное высказывание, используя логические связки «И» и «ИЛИ» : 1. Марина старше Светы. Оля старше Светы. 2. Слова в этом предложении начинаются на букву «А» . Слова в этом предложении начинаются на «Ч» . Задача 2: Определите значение истинности следующих высказываний: 1. Приставка – это часть слова, и она пишется раздельно со словом. 2. Буква «а» – первая буква в слове «аист» или «сова» . 3. Луна – планета или 2+3=5. 4. Данное число четно или число, большее его на 1 четно. 19

Задача 3: Используя логические операции, запишите высказывания, которые являются истинными при выполнении следующих условий: 1. Неверно, что 0 < X ≤ 3 и Y > 5. 2. X является max(X, Y). 3. Z не является max(X, Y, Z). 4. Каждое из чисел X, Y, Z положительно. 5. Хотя бы одно из чисел X, Y, Z не является положительным. 6. Только одно из чисел X, Y, Z больше 10. Задача 4: Записать логические выражения (формулы), истинные при соблюдении следующих условий: 1. Точка с координатами (X, Y) принадлежит первой четверти единичного круга с центром в начале координат. 20 2. Положение переменной Х:

Задача 5: Определите значение логического выражения а) не (X > Z) и не (X = Y), если: 1. X = 3, Y = 5, Z = 2. 2. X = 5, Y = 0, Z = -8. б) не (X < Z) или (X > Y), если: 1. X = 3, Y = 5, Z = 2. 2. X = 5, Y = 0, Z = -8. Задача 6: Записать в виде логической формулы следующие высказывания: 1. Если Иванов здоров и богат, то он здоров. 2. Число является простым, если оно делится только на единицу и само на себя. 3. Спортсмен подлежит дисквалификации, если он некорректно ведет себя по отношению к сопернику или 21 судье, или если он принимал «допинг»