- Главная
- Разное
- Образование
- Спорт
- Естествознание
- Природоведение
- Религиоведение
- Французский язык
- Черчение
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, фоны, картинки для презентаций
- Экология
- Экономика
Презентация, доклад на тему Логика и таблицы истинности
Содержание
- 1. Логика и таблицы истинности
- 2. Логика-наука о формах и законах человеческого мышления,
- 3. Основоположник математической логики является Готфрид ЛейбницСчитал что рассуждения можно заменить логическими операциями(действиями) по определенным правилам1646-1716 г
- 4. Продолжил разработку математической логики и считается ее
- 5. В Булевой алгебре обращается внимание не содержанию
- 6. Логические операции- операция над высказываниями, позволяющая получить
- 7. Конъюкция (логическое умножение)- получение сложного высказывания объединяющийся
- 8. Дизъюкция (логическое сложение)- получение сложного высказывания разделяющийся
- 9. Отрицание (инверсия)изменяет значение выражения на противоположное. Соответствует частице НЕ. Обозначается А
- 10. Таблицы истинностиИспользуются для определения значений логической функции
- 11. д\з стр 30 задание уровень1 в тетрадь
Логика-наука о формах и законах человеческого мышления, в частности, о способах доказательств и опровержений. Основоположником формальной логики является Аристотель, который задумался над вопросим по каким правилам мыслит человек и проводит анализ мышления. Формальная логика- анализирует умозаключение
Слайд 2Логика-наука о формах и законах человеческого мышления, в частности, о способах
доказательств и опровержений.
Основоположником формальной логики является Аристотель, который задумался над вопросим по каким правилам мыслит человек и проводит анализ мышления. Формальная логика- анализирует умозаключение выраженный обычным разговорным языком
384-322 гг до н.э
Слайд 3Основоположник математической логики является Готфрид Лейбниц
Считал что рассуждения можно заменить логическими
операциями(действиями) по определенным правилам
1646-1716 г
Слайд 4Продолжил разработку математической логики и считается ее основоположником Джорж Буль
1815-1846г
Булева алгебра-
раздел математической логики, в которой используются высказывания и операции над ними
Слайд 5В Булевой алгебре обращается внимание не содержанию высказыванию его истинности.
Высказывание-
повествовательное предложение, в котором есть утверждение или отрицание.
Высказывание обозначается словами истина TRUE , ложь FALSE.
Слон-большого размера выразить А=1
Муха большого размера выразить В=0
Высказывание обозначается словами истина TRUE , ложь FALSE.
Слон-большого размера выразить А=1
Муха большого размера выразить В=0
Слайд 6Логические операции- операция над высказываниями, позволяющая получить новые высказывания из более
простых.
К основным ЛО относится: конъюкция, дизъюкция, отрицание
Для определения истинности высказывания используется таблица истинности
К основным ЛО относится: конъюкция, дизъюкция, отрицание
Для определения истинности высказывания используется таблица истинности
Слайд 7Конъюкция (логическое умножение)- получение сложного высказывания объединяющийся союзом И
Пример: Выпал снег
и начались морозы – является конъекцией выражений: 1 выпал снег. 2 начались морозы
Слайд 8Дизъюкция (логическое сложение)- получение сложного высказывания разделяющийся союзом ИЛИ, значение которого
истинно , если хоть одно из высказываний истинно
Например: Строитель строит дома или создает роботехнику. Является дизъюкцией выражений 1- строитель строит дома, 2 строитель создает роботехнику
Слайд 9Отрицание (инверсия)изменяет значение выражения на противоположное. Соответствует частице НЕ. Обозначается А
Слайд 10Таблицы истинности
Используются для определения значений логической функции и упрощения логических схем.
В
таблицах истинности устанавливается соответствие между возможными значениями логических переменных и значениями логических функций
Правила заполнения ТИ на стр 27
Стр 28 задача
Правила заполнения ТИ на стр 27
Стр 28 задача
