Высказывания и логические выражения, операции, величины. - презентация

1 Высказывания и логические выражения, операции, величины

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

3 Логика – это наука о формах и способах мышления

4 Формальная логика Основатель – Аристотель отделил логические формы мышления от его содержания

5 Выделяют три основные: понятие, формы, умозаключение. Понятие – форма мышления, в которой отражаются существенные признаки отдельного объекта или группы объектов. Форма – это суждение, мысль, в которой что- то утверждается или отрицается от предмета. Умозаключение – это мышление, при котором из исходных знаний получают новые знания.

6 Логическое высказывание – это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно Логическое высказывание

7 Не всякое предложение является логическим высказыванием! Не являются логическими высказываниями предложения повелительные, вопросительные, бессмысленные и не информативные.

8 Истинным будет высказывание, в котором связь понятий правильно отражает свойства отношения реальных вещей. Ложным будет высказывание, соответственно, если противоречит реальной действительности.

9 Логические константы – принимают операции истинные или ложные. Логическая переменная – простое высказывание, содержащее только одну мысль.(обозначаются, например, A,B,C,D,E,F)

10 Значением логической переменой могут быть только константы ИСТИНА(1) и ЛОЖЬ(0). Например, Сегодня пасмурная погода А= истина X >=0 B= истина 2

11 Простое логическое выражение – состоит из одного высказывания. Например, 4>=7. Сложное логическое выражение состоит из простых высказываний или выражений соединенных знаками логической операций Например, кошки любят плавать И зимой холодно

12 Логическое умножение (конъюнкция) (И, and, ^,*, &) Логическое умножение высказываний истинно в том случае, если истинны все высказывания. ABA и B

13 Логическое сложение(дизъюнкция) (ИЛИ, or) Логическое сложение высказывания истина в том случае, если, истинно хотя бы одно высказывание. ABA или B

14 Логическое отрицание (инверсия) (не, not,¬). Делает истинное высказывание ложным и наоборот, ложное – истинным AA=F 01 10

15 Импликация (следование ()) Операция, которую можно выразить с помощью слов, если …,то …. из ….,следует…. Импликация ложна тогда, когда из истины следует ложь. ABИз A B

16 Эквивалентность () Выражается связками, тогда и только тогда, необходимо и достаточно, равносильно Эквиваленция высказываний истина в том случае, если оба высказывания одинаковы. ABA B

17 Основные операции сравнения знак операция =равно <>не равно >больше <меньше >=больше или равно <=меньше или равно

18 Домашнее задание Знать материал в тетради Выполнить задания на листочках