- Главная
- Разное
- Образование
- Спорт
- Естествознание
- Природоведение
- Религиоведение
- Французский язык
- Черчение
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, фоны, картинки для презентаций
- Экология
- Экономика
Презентация, доклад по информатике на тему Основы логики
Содержание
- 1. Презентация по информатике на тему Основы логики
- 2. Логика - это учение о способах рассуждений и доказательств, наука о законах и формах мышления.Определение
- 3. Развитие логикиЛогика как наука возникла в Древней Греции.Основателем логики считают древнегреческого философа Аристотеля.
- 4. Основные формы мышленияПонятиеУмозаключениеВысказывание
- 5. Понятие - форма мышления, фиксирующая основные, существенные признаки объекта. Две стороны понятияОбъемСодержание
- 6. Содержание понятия составляет совокупность существенных признаков объекта.Объем понятия определяется совокупностью предметов, на которую оно распространяется.
- 7. Высказывание – это форма мышления, выраженная с
- 8. Истинно суждение, в котором связь понятий правильно
- 9. Высказывание называется простым, если никакая его часть
- 10. Умозаключение - это форма мышления, с помощью
- 11. Способствует определению истинности или ложности составных высказываний,
- 12. Простым высказываниям ставятся в соответствие логические переменные,
- 13. конъюнкция;дизъюнкция;инверсия;импликация;эквивалентность.Базовые логические операции
- 14. КонъюнкцияВ естественном языке соответствует союзу И.Составное высказывание
- 15. Слайд 15
- 16. Слайд 16
- 17. ДизъюнкцияВ естественном языке соответствует союзу ИЛИ.Составное высказывание
- 18. Слайд 18
- 19. Слайд 19
- 20. ИнверсияВ естественном языке соответствует словам неверно, что…
- 21. Слайд 21
- 22. Слайд 22
- 23. ИмпликацияВ естественном языке соответствует обороту если…, то…Составное
- 24. Слайд 24
- 25. Слайд 25
- 26. ЭквивалентностьВ естественном языке соответствует оборотам речи тогда
- 27. Слайд 27
- 28. Слайд 28
- 29. Слайд 29
- 30. Слайд 30
- 31. Спасибо за внимание!
Логика - это учение о способах рассуждений и доказательств, наука о законах и формах мышления.Определение
Слайд 2Логика - это учение о способах рассуждений и доказательств, наука о
законах и формах мышления.
Определение
Слайд 3Развитие логики
Логика как наука возникла в Древней Греции.
Основателем логики считают древнегреческого
философа Аристотеля.
Слайд 5
Понятие - форма мышления, фиксирующая основные, существенные признаки объекта.
Две стороны
понятия
Объем
Содержание
Слайд 6
Содержание понятия составляет совокупность существенных признаков объекта.
Объем понятия определяется совокупностью предметов,
на которую оно распространяется.
Слайд 7
Высказывание – это форма мышления, выраженная с помощью понятий, в которой
что-либо утверждается или отрицается о предметах, их свойствах и отношениях между ними.
простое/составное
ложное/истинное
Слайд 8
Истинно суждение, в котором связь понятий правильно отражает свойства и отношения
реальных вещей.
Суждение ложно в том случае, когда связь понятий не соответствует реальной действительности.
Суждение ложно в том случае, когда связь понятий не соответствует реальной действительности.
Слайд 9
Высказывание называется простым, если никакая его часть сама не является высказыванием.
Высказывание,
состоящее из простых высказываний называется составным.
Слайд 10
Умозаключение - это форма мышления, с помощью которой из одного или
нескольких суждений (посылок) может быть получено новое суждение (заключение).
Слайд 11
Способствует определению истинности или ложности составных высказываний, не вникая в их
содержание.
1 – ИСТИНА
0 - ЛОЖЬ
Алгебра высказываний
Слайд 12
Простым высказываниям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского
алфавита.
Составные высказывания на естественном языке образуются с помощью союзов, которые в алгебре высказываний заменяются на логические операции.
Логические операции задаются таблицами истинности.
Логические выражения, у которых последние столбцы истинности совпадают, называют равносильными.
Составные высказывания на естественном языке образуются с помощью союзов, которые в алгебре высказываний заменяются на логические операции.
Логические операции задаются таблицами истинности.
Логические выражения, у которых последние столбцы истинности совпадают, называют равносильными.
Слайд 14
Конъюнкция
В естественном языке соответствует союзу И.
Составное высказывание истинно тогда и только
тогда, когда истинны все входящие в него простые высказывания.
Слайд 17
Дизъюнкция
В естественном языке соответствует союзу ИЛИ.
Составное высказывание истинно, когда истинно хотя
бы одно из входящих в него простых высказывания.
Слайд 20
Инверсия
В естественном языке соответствует словам неверно, что… и частице НЕ
Делает истинное
высказывание ложным и наоборот, ложное – истинным.
Слайд 23
Импликация
В естественном языке соответствует обороту если…, то…
Составное высказывание ложно, когда условие
(первое высказывание) истинно, а следствие (второе высказывание) ложно.
Слайд 26
Эквивалентность
В естественном языке соответствует оборотам речи тогда и только тогда; в
том и только в том случае.
Составное высказывание истинно, когда оба исходных высказывания одновременно истинны или одновременно ложны.
Составное высказывание истинно, когда оба исходных высказывания одновременно истинны или одновременно ложны.
