Постижение науки логики дает возможность:
узнать законы, правила и приемы мышления;
анализировать правильность рассуждений;
оценивать истинность полученных заключений.
Совокупность (сотни миллионов) существующих в настоящее время в мире персональных компьютеров
Пример
☜ Книга по информатике.
☜ Метеорологический прогноз.
☜ Как мелодичны вы, песни, Украины!
☜ Верно ли, что сегодня теплая погода?
☜ 5 +X =12
☜ X + Z < 1
☜ Число Y кратно 3
Практическое применение алгебры логики
Обозначение:
А & В, А^В, А∙B,
А и В, А*В, А and B
Примеры конъюнкции:
А= «Сегодня солнечный день и мы пойдем гулять»
В= «Богдан был победителем, а Степан занял второе место»
Конъюнкция (логическое умножение)
Обозначение: А V В, А+В,
А или В, А | В, А or B.
Примеры дизъюнкции:
А= «Снег пойдет ночью или утром»
В= «Он приедет сегодня либо завтра»
Дизъюнкция (логическое сложение)
Обозначение:
Ā, ¬А, неА, notА
Примеры инверсии:
А= «Неверно, что у меня есть компьютер»
В= «Я не знаю языка программирования»
Обозначение: А → В, А⇒ В
Таблица истинности:
Примеры импликации:
А= «Если число делится на 9, то оно делится на 3»
В= «Если на улице дождь, то асфальт мокрый»
Обозначение : А~В, А ↔ В, А⇔ В, А=В, А≡В,
Таблица истинности:
Примеры эквивалентности:
А= «Число кратно 3 тогда и только тогда, когда сумма цифр числа делится нацело на 3»
В= «Угол называется прямым тогда и только тогда, когда он равен 90°»
Обозначим простые высказывания через логические переменные:
А – Петя поедет в деревню;
В – Будет хорошая погода;
С – Он пойдёт на рыбалку.
Запишем высказывание в виде логического выражения, учитывая порядок действий:
A&(B→C)
Если не удалось найти и скачать презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:
Email: Нажмите что бы посмотреть