Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Информатика / Презентации / Презентация по информатике на тему "Основы алгебры логики"

Презентация по информатике на тему "Основы алгебры логики"


До 7 декабря продлён приём заявок на
Международный конкурс "Мириады открытий"
(конкурс сразу по 24 предметам за один оргвзнос)

  • Информатика
Основы формальной логики Логика – наука, изучающая законы и формы мышления; у...
Высказывания простые составные А = «Два умножить на два равно четыре». В = «Д...
Основные операции алгебры высказываний Логическое умножение (конъюнкция). Объ...
Таблица истинности конъюнкции. «2 2 = 5 и 3  3 = 10», «2 2 = 5 и 3  3 = 9...
2. Логическое сложение (дизъюнкция). Объединение двух (или нескольких) высказ...
Таблица истинности дизъюнкции. «2 2 = 5 и 3  3 = 10», «2 2 = 5 и 3  3 = 9...
Логическое отрицание (инверсия). Присоединение частицы «не» к высказыванию на...
Таблица истинности инверсии. Пусть А = «Два умножить на два равно четырем» -...
Логическое выражение – это формула, в которую входят логические переменные (в...
1 из 9

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

№ слайда 1 Основы формальной логики Логика – наука, изучающая законы и формы мышления; у
Описание слайда:

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

№ слайда 2 Высказывания простые составные А = «Два умножить на два равно четыре». В = «Д
Описание слайда:

Высказывания простые составные А = «Два умножить на два равно четыре». В = «Два умножить на два равно пяти». А = 1, В = 0 Высказывания, состоящие из простых высказываний, Называются составными.

№ слайда 3 Основные операции алгебры высказываний Логическое умножение (конъюнкция). Объ
Описание слайда:

Основные операции алгебры высказываний Логическое умножение (конъюнкция). Объединение двух (или нескольких) высказываний в одно с помощью союза «и» называется конъюнкцией. Составное высказывание, образованное в результате операции конъюнкции, истинно, если истинны все входящие в него простые высказывания.

№ слайда 4 Таблица истинности конъюнкции. «2 2 = 5 и 3  3 = 10», «2 2 = 5 и 3  3 = 9
Описание слайда:

Таблица истинности конъюнкции. «2 2 = 5 и 3  3 = 10», «2 2 = 5 и 3  3 = 9», «2 2 = 4 и 3  3 = 10», «2 2 = 4 и 3  3 = 9». Какое из представленных выше высказываний истинно? А В F = A & B 0 0 0 0 1 0 1 0 0 1 1 1

№ слайда 5 2. Логическое сложение (дизъюнкция). Объединение двух (или нескольких) высказ
Описание слайда:

2. Логическое сложение (дизъюнкция). Объединение двух (или нескольких) высказываний в одно с помощью союза «или» называется дизъюнкцией. Составное высказывание, образованное в результате операции дизъюнкции, истинно, если истинно хотя бы одно из входящих в него простых высказываний.

№ слайда 6 Таблица истинности дизъюнкции. «2 2 = 5 и 3  3 = 10», «2 2 = 5 и 3  3 = 9
Описание слайда:

Таблица истинности дизъюнкции. «2 2 = 5 и 3  3 = 10», «2 2 = 5 и 3  3 = 9», «2 2 = 4 и 3  3 = 10», «2 2 = 4 и 3  3 = 9». Какие из представленных выше высказываний истинны? А В F = A  B 0 0 0 0 1 1 1 0 1 1 1 1

№ слайда 7 Логическое отрицание (инверсия). Присоединение частицы «не» к высказыванию на
Описание слайда:

Логическое отрицание (инверсия). Присоединение частицы «не» к высказыванию называется операцией логического отрицания или инверсией. Логическое отрицание или инверсия делает истинное высказывание ложным и, наоборот, ложное – истинным.

№ слайда 8 Таблица истинности инверсии. Пусть А = «Два умножить на два равно четырем» -
Описание слайда:

Таблица истинности инверсии. Пусть А = «Два умножить на два равно четырем» - истинное высказывание. Тогда высказывание F = «Два умножить на два НЕ равно четырем», образованное с помощью операции логического отрицания, - ложно. A F =  A 0 1 1 0

№ слайда 9 Логическое выражение – это формула, в которую входят логические переменные (в
Описание слайда:

Логическое выражение – это формула, в которую входят логические переменные (высказывания), и знаки логических операций (логические функции). Запишем в форме логического выражения составное высказывание, содержащее 2 простых высказывания: «(2  2 = 5 или 2  2 = 4) и (2  2  5 или 2  2  4)»


57 вебинаров для учителей на разные темы
ПЕРЕЙТИ к бесплатному просмотру
(заказ свидетельства о просмотре - только до 11 декабря)

Автор
Дата добавления 02.11.2015
Раздел Информатика
Подраздел Презентации
Просмотров149
Номер материала ДВ-117139
Получить свидетельство о публикации
Похожие материалы

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