Слайд 1ОСНОВНЫЕ ЗАКОНЫ
АЛГЕБРЫ ЛОГИКИ
Учитель информатики отделения основного общего образования ГОБУ
СПО ВО «Бутурлиновский механико-технологический колледж» г.Бутурлиновка Вылегжанина Татьяна Викторовна
Слайд 2Первые учения
о формах и
способах
рассуждений
возникли
в странах
Древнего
Востока
(Китай, Индия)
Слайд 3В основе современной
логики лежат учения,
созданные древнегреческими
мыслителями (Аристотель,
Геродот)
Аристотель 384-322 до н.э
Геродот ок 490-425 до н.э
Слайд 4ЛОГИКА –
наука о формах
и способах мышления
Слайд 5Законы мышления
отражают в
сознании человека свойства,
связи и отношения
объектов
окружающего мира
Слайд 6Высказывание
Понятие
Умозаключение
Слайд 7Высказывание –логическое
выражение, истинность
которого требуется доказать
Слайд 8Высказывание не может быть
выражено повелительным
или вопросительным
предложением
Слайд 9Высказывание
имеет 2 значения:
ложь – (false) – 0
истина – (true)
Слайд 10Высказывание –
обозначается большими
буквами латинского
алфавита (А, В, С)
Слайд 13Таблица истинности логического умножения
Слайд 14Дизъюнкция
(логическое сложение)
читается
обозначается А ν B
Дизъюнкция истинна,
когда хотя
бы одно
высказывание истинно
ИЛИ
Слайд 15Таблица истинности логического сложения
Слайд 16
Инверсия
(логическое отрицание)
читается
обозначается
А (не А)
НЕ
Слайд 17Таблица истинности логического отрицания
Слайд 18Импликация
(логическое следование)
обозначается А B
Импликация ложна,
тогда и только
тогда,
когда из истины следует
ложный вывод
Слайд 19Таблица истинности логической функции «импликация»
Слайд 20Эквивалентность
(логическое равенство)
обозначается А ~ B
Эквивалентность истинна,
тогда и
только тогда,
когда оба высказывания
одновременно либо
ложны, либо истинны
Слайд 21Таблица истинности логической функции эквивалентности
Слайд 22Логические выражения,
у которых последние столбцы
таблиц истинности совпадают,
называются
равносильными
Слайд 23Даны выражения:
и
Построить таблицы истинности и выяснить, равносильны ли данные
выражения
Слайд 24Список источников
1. Учебник «Информатика и ИКТ» Семакин И.Г., изд. Москва
«БИНОМ», 2014 г.
2. Изображение:
Древний Восток: http://www.yana.kiev.ua/img/resortsb/1965387912.jpg
http://apxeo.info/wp-content/uploads/2012/07/pers.jpg
Аристотель: http://modafix.ru/images/arist1.jpg
Геродот:
http://www.stadtwanderer.net/media/sherodot.jpg
Логика: http://gcvhf.biz/images/55daf80fc2ffc.jpg
http://www.stihi.ru/pics/2011/04/05/3574.gif