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