Слайд 2
Логика – наука о законах и формах мышления
![Логика – наука о законах и формах мышления](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/991493/slide-1.jpg)
Слайд 3Мыслить логично – т.е.
Точно и последовательно
Не допускать противоречий
Уметь вскрывать логические ошибки
![Мыслить логично – т.е. Точно и последовательно Не допускать противоречий Уметь вскрывать логические ошибки](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/991493/slide-2.jpg)
Слайд 4Основатель логики
Философ Аристотель
Систематизировал формы и правила мышления.
Исследовал категории «понятие» и «суждение».
Разработал
![Основатель логики Философ Аристотель Систематизировал формы и правила мышления. Исследовал категории «понятие»](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/991493/slide-3.jpg)
теорию умозаключений и доказательств.
Сформулировал основные законы мышления.
Слайд 5Логика – является наукой о способах доказательств и опровержений.
Начало исследований в
![Логика – является наукой о способах доказательств и опровержений. Начало исследований в](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/991493/slide-4.jpg)
области логики
было положено Аристотелем в 4 в. до н.э.
Однако математические подходы к этим
вопросам впервые были указаны
Джорджем Булем.В честь него алгебру
высказываний называют “булевой алгеброй”.
Слайд 6Формы мышления
понятие
суждение
Умозак-
лючение
Существенные
признаки
предметов
Высказывания,
утверждения
вывод
![Формы мышления понятие суждение Умозак- лючение Существенные признаки предметов Высказывания, утверждения вывод](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/991493/slide-5.jpg)
Слайд 7Алгебра логики
Это алгебра высказываний – раздел математической логики, изучающий строение (формулы, структуру)
![Алгебра логики Это алгебра высказываний – раздел математической логики, изучающий строение (формулы,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/991493/slide-6.jpg)
сложных логических высказываний и способы установления их истинности с помощью алгебраических методов.
Слайд 8Высказывание
Повествовательное предложение, о котором можно сказать истинно оно или ложно.
Например,
Все ученики
![Высказывание Повествовательное предложение, о котором можно сказать истинно оно или ложно. Например,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/991493/slide-7.jpg)
– отличники. – ВЛ
Некоторые ученики – отличники. – ВИ
Петя – отличник! – не В
Слайд 9Высказывания
общие
частные
Единич-
ные
Все, каждый,
всякий…
Некоторые,
многие,…
Оригинальные,
неповторимые
![Высказывания общие частные Единич- ные Все, каждый, всякий… Некоторые, многие,… Оригинальные, неповторимые](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/991493/slide-8.jpg)
Слайд 10Термины
Логические величины – это понятия выражаемые словами И или Л.
Логическая переменная
![Термины Логические величины – это понятия выражаемые словами И или Л. Логическая](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/991493/slide-9.jpg)
– это символически выраженная логическая величина.
Логическое выражение – это простое или сложное высказывание, о котором можно сказать И оно или Л.
Слайд 11Высказывания
простые
составные
Содержат одну мысль
Содержат два и более
простых высказываний,
объединенных союзами
![Высказывания простые составные Содержат одну мысль Содержат два и более простых высказываний, объединенных союзами](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/991493/slide-10.jpg)
Слайд 13Инверсия (отрицание)
не А;
неверно, что А
А, А, А
Например,
А – На улице тепло.
не А
![Инверсия (отрицание) не А; неверно, что А А, А, А Например, А](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/991493/slide-12.jpg)
– Неверно, что на улице тепло.
Слайд 14Конъюнкция
Логическое умножение.
F(A,B)=А и В
F(A,B)=А * В
F(A,B)=А & В
F(A,B)=А В
F(A,B)=А and В
Например,
А
![Конъюнкция Логическое умножение. F(A,B)=А и В F(A,B)=А * В F(A,B)=А & В](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/991493/slide-13.jpg)
– У меня есть деньги на покупку машины.
В – У меня есть желание на покупку машины.
Слайд 15Дизъюнкция
Логическое сложение.
F(A,B)=А или В
F(A,B)=А + В
F(A,B)=А В
F(A,B)=А or В
F(A,B)=А | В
Например,
А –
![Дизъюнкция Логическое сложение. F(A,B)=А или В F(A,B)=А + В F(A,B)=А В F(A,B)=А](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/991493/slide-14.jpg)
Я пойду на дискотеку в школу.
В – Я пойду на дискотеку в Огни Уфы.
Слайд 16Импликация
Логическое следование.
если А, то В
А влечет В
В следует из А
F(A,B)=А В
F(A,B)=А В
![Импликация Логическое следование. если А, то В А влечет В В следует](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/991493/slide-15.jpg)
Слайд 17Эквивалентность
Логическое равенство,
Тождественность.
А тогда и только тогда, когда В
F(A,B)=А В
F(A,B)=А В
F(A,B)=А ≅ В
![Эквивалентность Логическое равенство, Тождественность. А тогда и только тогда, когда В F(A,B)=А](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/991493/slide-16.jpg)