история логики и основные логические операции
TRANSCRIPT
![Page 1: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/1.jpg)
История и основные понятия логики. Основные логические операции
Долинин А.А., учитель информатики и ИКТ МБОУ «Уренская СОШ № 1»
![Page 2: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/2.jpg)
ЛОГИКА– это наука о
формах и способах
мышления
![Page 3: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/3.jpg)
АРИСТОТЕЛЬ(384г.-322г.до н.э.)
• Основы формальной логики заложил ученый Древней Греции Аристотель
• Заслуга ученого состоит в том, что он отделил форму мышления от содержания.
• Попытался соединить логику и математику, разработал раздел теории доказательств.
![Page 4: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/4.jpg)
ВИЛЬГЕЛЬМ ЛЕЙБНИЦ(1646-1716)
• Лейбниц взглянул на логику Аристотеля через призму математики
• Он создал «Азбуку мыслей», сжатый и краткий язык символов.
• Разработал идею логического исчисления. Рассуждения обозначил буквами, сложные высказывания-формулами.
• В результате удалось содержательные рассуждения заменить формальными
![Page 5: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/5.jpg)
ДЖОРДЖ БУЛЬ(1815-1864 гг.)
• Дж.Буль автор известный произведений «Математический анализ логики»(1847г.)
• Основной труд Дж. Буля «Исследование законов мысли», в ней представлен раздел логики- алгебра высказываний.
• В 1844 г. Буль получает золотую медаль за работ по математическому анализу.
![Page 6: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/6.jpg)
Основные формы мышления
Понятие
Высказывание
Умозаключение
![Page 7: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/7.jpg)
Понятиеформа мышления, фиксирующая
основные, существенные признаки объекта
Содержание Объем
Две стороны понятия:
![Page 8: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/8.jpg)
Содержание понятия составляет совокупность существенных признаков объекта.
Объем понятия определяется совокупностью предметов, на которую оно распространяется.
![Page 9: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/9.jpg)
Высказывание – это форма мышления, выраженная с помощью понятий, в которой что-либо
утверждается или отрицается о предметах, их свойствах и отношениях между ними.
ложное/истинное простое/составное
![Page 10: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/10.jpg)
Истинно суждение, в котором связь понятий правильно отражает свойства и
отношения реальных вещей.Суждение ложно в том случае, когда связь
понятий не соответствует реальной действительности.
Высказывание называется простым, если никакая его часть сама не является
высказыванием.Высказывание, состоящее из простых
высказываний называется составным.
![Page 11: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/11.jpg)
Умозаключение- это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть
получено новое суждение (заключение).
![Page 12: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/12.jpg)
![Page 13: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/13.jpg)
СоставноеВысказывание, несоответствующеедействительности.
ЛожьВысказывание, построенноена основании простыхвысказываний.
ПонятиеНаука о формах и способахмышления
УмозаключениеФорма мышления, фиксирующаясущественные признакиобъекта
Логика
Форма мышления, спомощью которой из одногоили нескольких сужденийможет быть получено новоесуждение.
![Page 14: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/14.jpg)
Алгебра высказываний
способствует определению истинности или ложность
составных высказываний, не вникая в их содержание.
1 – ИСТИНА
0 - ЛОЖЬ
![Page 15: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/15.jpg)
Простым высказываниям ставятся в соответствие логические переменные,
обозначаемые прописными буквами латинского алфавита
Составные высказывания на естественном языке образуются с помощью союзов, которые в алгебре высказываний заменяются на логические операции.
Логические операции задаются таблицами истинности.
Логические выражения, у которых последние столбцы истинности совпадают, называют равносильными.
![Page 16: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/16.jpg)
Базовые логические операцииКонъюнкция
Дизъюнкция
Инверсия
Импликация
Эквивалентность
![Page 17: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/17.jpg)
Конъюнкция- операция логического умножения
В естественном языке соответствует союзу И
Составное высказывание истинно тогда и только тогда , когда истинны все входящие в него простые высказывания.
На улице холодно и идет снег.
На улице идет снег.
На улице холодно.
F=A&BBA
![Page 18: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/18.jpg)
Дизъюнкция- операция логического сложения
В естественном языке соответствует союзу ИЛИ
Составное высказывание истинно, когда истиннохотя бы одно из входящих в него простых высказываний.
Земля движется по круговой или эллиптической орбите.
Земля движется по эллиптической орбите.
Земля движется по круговой орбите.
F=A ÚBBA
![Page 19: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/19.jpg)
Инверсия- операция логического отрицания
В естественном языке соответствует словам неверно, что… и частице НЕ
Делает истинное высказывание ложным и наоборот, ложное – истинным.
ЗлоДобро
AA
![Page 20: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/20.jpg)
Импликация- операция логического следования
В естественном языке соответствует обороту если…, то…
Составное высказывание ложно, когда условие(первое высказывание) истинно, а следствие(второе высказывание) ложно.
Если число делится на 9, то оно делится на 3.
Число делится на 3.
Число делится на 9.
AÞBBA
![Page 21: история логики и основные логические операции](https://reader036.vdocuments.site/reader036/viewer/2022062310/587b8b271a28ab9d448b70a7/html5/thumbnails/21.jpg)
Эквивалентность- равнозначностьВ естественном языке соответствует оборотам речи тогда и только тогда; в том и только в том случае
Составное высказывание истинно, когда обаисходных высказывания одновременно истинны или одновременно ложны.
Угол называется прямым тогда и только тогда, когда он равен 900.
Угол равен 900
Угол прямойF=A ÛBBA