Основы логики 10 класс. Содержание 1.Определение логики. 2.Формы мышления. 3.Высказывание. 4.Алгебра высказываний. 5.Базовые логические операции. 6.Равносильность. - презентация

1 Основы логики 10 класс

2 Содержание 1.Определение логики. 2.Формы мышления. 3.Высказывание. 4.Алгебра высказываний. 5.Базовые логические операции. 6.Равносильность высказываний. 7.Задания для самостоятельной работы. 8.Домашнее задание. 9.Источники информации.

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

4 Логика рассматривает три различные формы, в которых осуществляется мышление: понятие высказывание умозаключение

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

6 Примеры : Понятие Персональный компьютер – это универсальное устройство для автоматической обработки информации. Высказывание Процессор является устройством обработки информации. Умозаключение Все углы треугольника равны. Этот треугольник равносторонний.

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

8 Из двух простых высказываний постройте сложное высказывание, используя логические связки «И», «ИЛИ». Например: Все ученики изучают математику. Все ученики изучают литературу. Все ученики изучают математику и литературу.

9 1.Марина старше Светы. Катя старше Светы. 2.В кабинете есть учебники. В кабинете есть справочники. 3.Часть туристов любит чай. Остальные туристы любят молоко. 4.Слова в предложении начинаются на букву Ч. Слова в предложении начинаются на букву А.

10 Алгебра высказываний

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

12 Пример: А = «2 Х 2 = 4» В = «2 Х 2 = 5»

13 А = «2 Х 2 = 4» В = «2 Х 2 = 5» А=1 В=0

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

15 Базовые логические операции

16 Конъюнкция (логическое умножение ) Конъюнкция - объединение двух высказываний в одно с помощью союза «и». А & В

17 Конъюнкция истинна тогда и только тогда, когда истинны все входящие в него простые высказывания.

18 Пример: А=«2 Х 2 = 4» В=«3 Х 3 = 10» А & B «2 Х 2 = 4 и 3 Х 3 = 10» - ложно, т.к. А – истинно, В - ложно

19 Таблица истинности: АВА & В

20 Таблица истинности: АВА & В

21 Таблица истинности: АВА & В

22 Таблица истинности: АВА & В

23 Таблица истинности: АВА & В

24 Дизъюнкция (логическое сложение ) Дизъюнкция - объединение двух высказываний с помощью союза «или». А B

25 Дизъюнкция истинна тогда, когда истинно хотя бы одно из входящих в него простых высказываний.

26 Пример: А=«2 Х 2 = 4» В=«3 Х 3 = 10» А V B «2 Х 2 = 4 или 3 Х 3 = 10» - истинно, т.к. А – истинно, В - ложно

27 Таблица истинности: АВ А В

28 Таблица истинности: АВ А В

29 Таблица истинности: АВ А В

30 Таблица истинности: АВ А В

31 Таблица истинности: АВ А В

32 Инверсия (логическое отрицание ) Присоединение частицы «не» к высказыванию называется операцией логического отрицания или инверсией. A

33 Пример: А=«2 Х 2 = 4» _ А «не 2 Х 2 = 4» - ложно, т.к. А – истинно.

34 Таблица истинности: А А 0 1

35 А А 01 1

36 А А 01 10

37 Порядок выполнения логических операций: 1.Инверсия 2.Конъюнкция 3.Дизъюнкция Изменить порядок действий можно с помощью скобок.

38 Выполните действия: 1)((1 & 0) V 1) & (1 V А) =

39 Выполните действия: 1)((1 & 0) V 1) & (1 V А) = 0

40 Выполните действия: 1)((1 & 0) V 1) & (1 V А) = 0 1

41 Выполните действия: 1)((1 & 0) V 1) & (1 V А) = 0 1 1

42 Выполните действия: 1)((1 & 0) V 1) & (1 V А) =

43 Выполните действия: 1)((1 & 0) V 1) & (1 V А) =

44 Выполните действия: 2) ((0 & 0) V 0) & (1 V А) =

45 Выполните действия: 2) ((0 & 0) V 0) & (1 V А) = 0

46 Выполните действия: 2) ((0 & 0) V 0) & (1 V А) = 0 0

47 Выполните действия: 2) ((0 & 0) V 0) & (1 V А) = 0 0 1

48 Выполните действия: 2) ((0 & 0) V 0) & (1 V А) =

49 Выполните действия: 2) ((0 & 0) V 0) & (1 V А) =

50 Составьте таблицу истинности логического выражения: _ (A V B) & A

51 AB _A_AA V B _ (A V B) & A

52 AB _A_AA V B _ (A V B) & A

53 AB _A_AA V B _ (A V B) & A

54 AB _A_AA V B _ (A V B) & A

55 AB _A_AA V B _ (A V B) & A

56 AB _A_AA V B _ (A V B) & A

57 AB _A_AA V B _ (A V B) & A

58 Равносильность высказываний

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

60 Пусть имеются простые высказывания А, В. Доказать: _ _ _____ A & B A В. Построим таблицы истинности высказываний.

61 AB A B A & B

62 AB A B

63 AB A B

64 AB A B

65 AB A B

66 AB A B

67 AB A B

68 AB A B ____________ A B

69 AB ____________ A B

70 AB ____________ A B

71 AB ____________ A B

72 AB ____________ A B

73 Вывод: Последние столбцы таблиц истинности высказываний совпадают, значит высказывания равносильны.

74 Источники информации Литература Угринович Н.Д. «Информатика и информационные технологии 10-11», Москва Бином. Лаборатория знаний г. Семакин И., Хеннер Е. «Задачник-практикум» Москва, Лаборатория Базовых Знаний, 2001 г. Коляда М.Г. «Окно в удивительный мир информатики», Д. : Сталкер, 1999 г. Босова Л.Л. «Разноуровневые дидактические материалы по информатике», Москва «Информатика и образование», 2001 г. Ресурсы сети Интернет logica-logica-8.htmlhttp:// edu/katalog-math-logica-logica-8.htmlhttp:// logica-logica-8.htmlhttp:// edu/katalog-math-logica-logica-8.html