Добавить материал и получить бесплатное свидетельство о публикации
версия для слабовидящих
Главная / Информатика / Презентация по информатике "Сложные высказывания. Построение таблиц истинности сложных высказываний.""

Презентация по информатике "Сложные высказывания. Построение таблиц истинности сложных высказываний.""

Основы логики. Логические высказывания и таблицы истинности.
Сложные (составные) высказывания. Высказывание - форма мышления, в которой чт...
Высказывание. Простое – не содержит в себе других высказываний. А=Идёт дождь....
Простое (элементарное) высказывание.
Предложения, не являющиеся высказыванием.
Высказывание. Составное – состоит из простых высказываний, объединённых в одн...
Составное высказывание.
Высказывание. Истинное – связь понятий правильно отражает свойства и отношени...
Простое (элементарное) высказывание.
Высказывание. Общее – начинается или может начинаться со слов все, всякий, ка...
Простое (элементарное) высказывание.
Алгебра логики наука об общих операциях, которые могут выполняться над логиче...
Для обозначения логических высказываний, им назначают имена – логические пере...
Формализация A – «Датчик № 1 неисправен». B – «Датчик № 2 неисправен». C – «Д...
Логическое выражение - это способ записи составного высказывания в виде форму...
Логическое выражение. Вычисление логического выражения производится слева нап...
Определить форму составного высказывания по имеющимся составным и простым, вх...
По форме высказывания и выраженным на естественном языке составляющим его про...
Порядок выполнения логических операций. Скобки Инверсия - ┐ Конъюнкция - & ил...
Задача1. Из двух простых высказываний построить все возможные высказывания, и...
Выполнить: Практикум: § 3.2 № 3.7 – 3.15
Логические выражения и таблицы истинности. Таблица истинности составного выск...
Алгоритм построения таблицы истинности Подсчитать количество переменных n в л...
Определить количество столбцов таблицы h: h=n + k; Построить таблицу истиннос...
Построение таблиц. Построить таблицу истинности для следующего сложного (сост...
Построение таблиц. D = ┐A ٨ (B ۷ C) Количество переменных n=3 Количество стро...
1	2	3	4	5	6 А	В	С	┐А	В ۷ С	┐А & (В ۷ С) 			┐1	2 ۷ 3	4 & 5 0	0	0	1	0	0 0	0	1	1...
Вычисление логических выражений Порядок вычислений: скобки НЕ И ИЛИ, исключаю...
Составление таблиц истинности A	B	C	A∙B	A∙C	B∙C	X 0	0	0				 0	0	1				 0	1	0...
Составление таблиц истинности Логические выражения могут быть: тождественно и...
‹‹
1 из 30
››

Описание презентации по отдельным слайдам:

№ слайда 1 Основы логики. Логические высказывания и таблицы истинности.
Описание слайда:

Основы логики. Логические высказывания и таблицы истинности.

№ слайда 2 Сложные (составные) высказывания. Высказывание - форма мышления, в которой чт
Описание слайда:

Сложные (составные) высказывания. Высказывание - форма мышления, в которой что-то утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними. Высказывание является повествовательным предложением, о котором можно сказать истинно оно или нет.

№ слайда 3 Высказывание. Простое – не содержит в себе других высказываний. А=Идёт дождь.
Описание слайда:

Высказывание. Простое – не содержит в себе других высказываний. А=Идёт дождь. В=Нам живётся весело.

№ слайда 4 Простое (элементарное) высказывание.
Описание слайда:

Простое (элементарное) высказывание.

№ слайда 5 Предложения, не являющиеся высказыванием.
Описание слайда:

Предложения, не являющиеся высказыванием.

№ слайда 6 Высказывание. Составное – состоит из простых высказываний, объединённых в одн
Описание слайда:

Высказывание. Составное – состоит из простых высказываний, объединённых в одно с помощью логических связок. Идёт дождь. У меня есть зонт. Идёт дождь, а у меня нет зонта.

№ слайда 7 Составное высказывание.
Описание слайда:

Составное высказывание.

№ слайда 8 Высказывание. Истинное – связь понятий правильно отражает свойства и отношени
Описание слайда:

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

№ слайда 9 Простое (элементарное) высказывание.
Описание слайда:

Простое (элементарное) высказывание.

№ слайда 10 Высказывание. Общее – начинается или может начинаться со слов все, всякий, ка
Описание слайда:

Высказывание. Общее – начинается или может начинаться со слов все, всякий, каждый, ни один и т.п. Частное – начинается или может начинаться со слов некоторый, большинство и т.п. Единичное – во всех остальных случаях.

№ слайда 11 Простое (элементарное) высказывание.
Описание слайда:

Простое (элементарное) высказывание.

№ слайда 12 Алгебра логики наука об общих операциях, которые могут выполняться над логиче
Описание слайда:

Алгебра логики наука об общих операциях, которые могут выполняться над логическими объектами - высказываниями. Формальная логика отвлекается от смысловой содержательности высказываний. Интересует один факт – истинно или ложно данное высказывание.

№ слайда 13 Для обозначения логических высказываний, им назначают имена – логические пере
Описание слайда:

Для обозначения логических высказываний, им назначают имена – логические переменные (прописные буквы латинского алфавита). А = В четверг был дождь В = В пятницу было солнечно Е = В четверг был дождь, а в пятницу было солнечно Е=А & В Здесь А, В – логические высказывания (могут быть либо истинными, либо ложными), & (и) – логическая связка. Формализация

№ слайда 14 Формализация A – «Датчик № 1 неисправен». B – «Датчик № 2 неисправен». C – «Д
Описание слайда:

Формализация A – «Датчик № 1 неисправен». B – «Датчик № 2 неисправен». C – «Датчик № 3 неисправен». Аварийный сигнал: X – «Неисправны два датчика». X – «Неисправны датчики № 1 и № 2» или «Неисправны датчики № 1 и № 3» или «Неисправны датчики № 2 и № 3». логическая формула Прибор имеет три датчика и может работать, если два из них исправны. Записать в виде формулы ситуацию «авария».

№ слайда 15 Логическое выражение - это способ записи составного высказывания в виде форму
Описание слайда:

Логическое выражение - это способ записи составного высказывания в виде формулы. В логическое выражение(формулу) входят логические переменные, обозначающие высказывания; знаки логических операций; круглые скобки, указывающие порядок выполнения действий.

№ слайда 16 Логическое выражение. Вычисление логического выражения производится слева нап
Описание слайда:

Логическое выражение. Вычисление логического выражения производится слева направо в соответствии с таблицей истинности и приоритетом выполнения операций. Порядок выполнения операций можно менять, используя круглые скобки.

№ слайда 17 Определить форму составного высказывания по имеющимся составным и простым, вх
Описание слайда:

Определить форму составного высказывания по имеющимся составным и простым, входящим в него, высказываниям: Пример 1. Е = Ваш приезд не является ни необходимым, ни желательным. Составляющие простые высказывания: А = Ваш приезд необходим; В = Ваш приезд желателен. Форма сложного высказывания: Е = ¬(А)&¬(В) Пример 2. Е = Поиски врага длились уже три часа, но результатов не было, притаившийся враг ничем себя не выдавал. Составляющие простые высказывания: А = Поиски врага длились три часа; В = Врага нашли (результат есть); С = Враг себя выдал. Форма сложного высказывания: Е = ¬С => А & ¬(В) Пример 3. Е = Вчера было пасмурно, а сегодня ярко светит солнце. Составляющие простые высказывания: А = Вчера было пасмурно, В = Сегодня ярко светит солнце. Форма сложного высказывания: Е=А& В.

№ слайда 18 По форме высказывания и выраженным на естественном языке составляющим его про
Описание слайда:

По форме высказывания и выраженным на естественном языке составляющим его простым высказываниям получить фразу на естественном языке. Пример 1. Е = НЕ(А) & НЕ(В) => НЕ(С) & D Составляющие простые высказывания: А = Человек с детства давал нервам властвовать над собой; В = Человек в юности давал нервам властвовать над собой; С = Нервы привыкнут раздражаться; D = Нервы будут послушны. Фраза на естественном языке: Е = Если человек с детства и в юности своей не давал нервам властвовать над собой, то они не привыкнут раздражаться и будут ему послушны. (К. Д. Ушинский.) Пример 2. Е = (В&НЕ(С))=>НЕ(А) Составляющие простые высказывания: А = Некто является врачом; В = Больной поговорил с врачом; С = Больному стало легче. Фраза на естественном языке: Е = Если больному после разговора с врачом не становится легче, то это не врач. (В. М. Бехтерев)

№ слайда 19 Порядок выполнения логических операций. Скобки Инверсия - ┐ Конъюнкция - & ил
Описание слайда:

Порядок выполнения логических операций. Скобки Инверсия - ┐ Конъюнкция - & или ٨ Дизъюнкция – ۷, исключающее ИЛИ Импликация – Эквивалентность -

№ слайда 20 Задача1. Из двух простых высказываний построить все возможные высказывания, и
Описание слайда:

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

№ слайда 21 Выполнить: Практикум: § 3.2 № 3.7 – 3.15
Описание слайда:

Выполнить: Практикум: § 3.2 № 3.7 – 3.15

№ слайда 22 Логические выражения и таблицы истинности. Таблица истинности составного выск
Описание слайда:

Логические выражения и таблицы истинности. Таблица истинности составного высказывания – таблица, показывающая какие значения принимает составное высказывание при всех сочетаниях значений входящих в него простых высказываний.

№ слайда 23 Алгоритм построения таблицы истинности Подсчитать количество переменных n в л
Описание слайда:

Алгоритм построения таблицы истинности Подсчитать количество переменных n в логическом выражении; Определить количество строк m в таблице: m=2n + 3 Подсчитать количество логических операций k в логическом выражении;

№ слайда 24 Определить количество столбцов таблицы h: h=n + k; Построить таблицу истиннос
Описание слайда:

Определить количество столбцов таблицы h: h=n + k; Построить таблицу истинности, обозначить столбцы, внести всевозможные наборы исходных данных логических переменных. Заполнить таблицу истинности, выполняя базовые логические операции в необходимой последовательности. Алгоритм построения таблицы истинности

№ слайда 25 Построение таблиц. Построить таблицу истинности для следующего сложного (сост
Описание слайда:

Построение таблиц. Построить таблицу истинности для следующего сложного (составного) логического выражения: D = ┐A ٨ (B ۷ C)

№ слайда 26 Построение таблиц. D = ┐A ٨ (B ۷ C) Количество переменных n=3 Количество стро
Описание слайда:

Построение таблиц. D = ┐A ٨ (B ۷ C) Количество переменных n=3 Количество строк m=23 + 3= 8+3=11 Количество логических операций k=3 Количество столбцов h=n + k=3+3=6 1 2 3

№ слайда 27 1	2	3	4	5	6 А	В	С	┐А	В ۷ С	┐А & (В ۷ С) 			┐1	2 ۷ 3	4 & 5 0	0	0	1	0	0 0	0	1	1
Описание слайда:

1 2 3 4 5 6 А В С ┐А В ۷ С ┐А & (В ۷ С) ┐1 2 ۷ 3 4 & 5 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 1 0 1 0

№ слайда 28 Вычисление логических выражений Порядок вычислений: скобки НЕ И ИЛИ, исключаю
Описание слайда:

Вычисление логических выражений Порядок вычислений: скобки НЕ И ИЛИ, исключающее ИЛИ импликация эквивалентность A B +  + B C  A С  1 4 2 5 3

№ слайда 29 Составление таблиц истинности A	B	C	A∙B	A∙C	B∙C	X 0	0	0				 0	0	1				 0	1	0
Описание слайда:

Составление таблиц истинности A B C A∙B A∙C B∙C X 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 2 3 4 5 6 7

№ слайда 30 Составление таблиц истинности Логические выражения могут быть: тождественно и
Описание слайда:

Составление таблиц истинности Логические выражения могут быть: тождественно истинными (всегда 1, тавтология) тождественно ложными (всегда 0, противоречие) вычислимыми (зависят от исходных данных) A B A·B X 0 0 0 1 1 0 1 1 0 1 2 3

  • Информатика
Описание:

Тема: Сложные высказывания. Построение таблиц истинности сложных высказываний.

Цель:

üввести понятие простых и сложных высказываний;

üсформировать у учащихся умение определять формы сложных высказываний;

üсформировать у учащихся умение строить таблицы истинности сложных высказываний.

План урока.

1.Проверка домашнего задания. Фронтальный опрос.

2.Изучение нового материала.

3.Выполнение заданий на закрепление.

4.Домашнее задание.

Автор Пастушук Галина Григорьевна
Дата добавления 23.01.2017
Раздел Информатика
Подраздел Презентации
Просмотров 925
Номер материала MA-069723
Скачать свидетельство о публикации

Оставьте свой комментарий:

Введите символы, которые изображены на картинке:

Получить новый код
* Обязательные для заполнения.


Комментарии:

Популярные курсы