Рабочие листы
к вашим урокам
Скачать
1 слайд
Алгебра логики
Логика как наука. Основные законы алгебры логики.
2 слайд
Логика - наука о мышлении, о закономерностях в связях
и развитии мыслей.
Первое упоминание логики встречается в китайской «Книге перемен» (VIII в до н.э.). В Древней Греции она начала разрабатываться в VI в до н.э. Немного позже логика возникла в Индии.
Первоначально логика служила юриспруденции и ораторскому искусству. Еще одним стимулом создания науки логики стали запросы математики, где требовались строгие доказательства.
3 слайд
В Древней Греции логику разрабатывали Парменид (VI в. до н.э.), Демокрит, Сократ, Платон (V в до н.э.) и Аристотель (IV в до н.э.).
Принципы современной математической логики предвосхитил в своей работе "Об искусстве комбинаторики"(1666) великий немецкий философ, математик, физик и языковед Готфрид Вильгельм Лейбниц (1646-1716).
Алгебра логики
4 слайд
Великий русский и швейцарский ученый Леонард Эйлер в 1766 г. предложил так называемые круги Эйлера, ставшие основой формальной силлогистики.
Но основоположником математической логики считается Джордж Буль, английский математик (отец всемирно известной писательницы Этель Лилиан Войнич).
Алгебра логики
5 слайд
В алгебре логики есть понятие высказывания, которое может иметь только два значения: 1 (Истина) или 0 (Ложь).
Алгебра логики
6 слайд
Определения
Логическая переменная – это простое высказывание, содержащее только одну мысль. Её символическое обоз-начение – латинская буква. Значения: ИСТИНА (1) или ЛОЖЬ (0).
Логическая функция – это составное высказывание, содержащее несколько простых мыслей, соединенных меж-ду собой с помощью логических операций. Обозначение – F(A,B,…) или F(X1,X2,…).
Логическая операция – это какое-либо логическое действие над логическими переменными.
7 слайд
Основные операции
Алгебра логики
8 слайд
Алгебра логики
Отрицание
(инверсия)
Таблица истинности:
НЕ
Операция является унарной – допустимо применять к одной и более переменным.
9 слайд
Алгебра логики
Конъюнкция
(умножение)
Таблица истинности:
Союз
И
10 слайд
Алгебра логики
Дизъюнкция
(сложение)
Таблица истинности:
Союз
ИЛИ
11 слайд
Алгебра логики
Отрицание, конъюнкция и дизъюнкция являются базовыми логическими операциями, то есть с их помощью можно выразить все остальные.
12 слайд
Алгебра логики
Строгая дизъюнкция
(исключающая ИЛИ)
Таблица истинности:
13 слайд
Алгебра логики
Импликация
(следование)
Таблица истинности:
Следует,
влечет
и т.д.
Если …, то…
14 слайд
Алгебра логики
15 слайд
Алгебра логики
Эквиваленция
(равносильность)
Таблица истинности:
Тогда и только тогда
16 слайд
Алгебра логики
Стрелка Пирса
Таблица истинности:
17 слайд
Алгебра логики
Штрих Шефера |
Таблица истинности:
Рабочие листы
к вашим урокам
Скачать
Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные в 4 веке до нашей эры древне-греческими мыслителями. Основы формальной логики заложил Аристотель, который впервые отделил логические формы речи от ее содержания. Он исследовал терминологию логики, подробно разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления. Логика изучает внутреннюю структуру процесса мышления, который реализуется в таких естественно сложившихся формах как понятие, суждение, умозаключение и доказательство.
Данная презентация предназначена для первоначального знакомства обучающихся с основными логическими операциями, их таблицами истинности.
6 664 849 материалов в базе
Настоящий материал опубликован пользователем Курзанова Ольга Ивановна. Инфоурок является информационным посредником и предоставляет пользователям возможность размещать на сайте методические материалы. Всю ответственность за опубликованные материалы, содержащиеся в них сведения, а также за соблюдение авторских прав несут пользователи, загрузившие материал на сайт
Если Вы считаете, что материал нарушает авторские права либо по каким-то другим причинам должен быть удален с сайта, Вы можете оставить жалобу на материал.
Удалить материалВаша скидка на курсы
40%Курс профессиональной переподготовки
500/1000 ч.
Курс профессиональной переподготовки
300/600 ч.
Курс повышения квалификации
72/180 ч.
Курс профессиональной переподготовки
600 ч.
Мини-курс
10 ч.
Мини-курс
3 ч.
Оставьте свой комментарий
Авторизуйтесь, чтобы задавать вопросы.