Содержание
- 2. Определение Логика – это наука о формах и способах мышления Формы мышления понятие суждение (высказывание, утверждение)
- 3. Понятие Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта; Понятие имеет две стороны: содержание
- 4. Высказывание Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о реальных предметах, их
- 5. Умозаключение Умозаключение – это форма мышления, с помощью которой из одного или нескольких высказываний может быть
- 6. Задание 1: Из данных предложений выберите те, которые являются высказываниями: Как пройти в библиотеку? Коля спросил:
- 7. Задание 2: Из данных высказываний необходимо выбрать истинные: Город Джакарта – столица Индонезии. Решение задачи –
- 8. Алгебра высказываний Служит для определения истинности или ложности составных высказываний, не вникая в их содержание; В
- 9. Существуют разные варианты обозначения истинности и ложности переменных:
- 10. Логические операции Логическое умножение (конъюнкция) - объединение двух (или нескольких) высказываний в одно с помощью союза
- 11. Обозначение операции логического умножения: &, ^, *; Амперса́нд (иногда — амперсенд; от англ. ampersand) — знак
- 12. Таблица истинности
- 13. Задание 3: Даны высказывания: D – «Число 10 делится на 2 без остатка»; S – «Париж
- 14. Логическое сложение (дизъюнкция)- объединение двух (или нескольких) высказываний в одно с помощью союза «или». Правило истинности
- 15. Обозначение операции логического сложения: ∨; +; Пусть имеется два простых высказывания A и B, составим составное
- 16. Таблица истинности
- 17. Задание 4: Даны высказывания: M – «Число 12 - простое»; N – «Париж – столица Франции».
- 18. Логическое отрицание (инверсия) - присоединение частицы «не» к высказыванию Правило истинности Логическое отрицание (инверсия) делает истинное
- 19. Таблица истинности
- 20. Задание 5: Даны высказывания: M – «Число 12 - простое»; N – «Париж – столица Франции».
- 21. Логическое следование (импликация) - соединение двух высказываний в одно с помощью оборота речи «если…, то…» Правило
- 22. Обозначение импликации: ⇒, → Формула: F = A ⇒ B Таблица истинности
- 23. Задание 6: Пусть a = Через Смоленск протекает Днепр, b = Луна сделана из теста. Сформулируйте
- 24. Логическое равенство (эквивалентность) - соединение двух высказываний в одно с помощью оборота речи «тогда и только
- 25. Обозначение эквивалентности:≡, ⇔, Формула: F = A ⇔ B Таблица истинности
- 26. Задание 7: Пусть s = Через Смоленск протекает Енисей, c = 2+4 = 6, n =
- 27. Приоритет действий Инверсия Конъюнкция Дизъюнкция Импликация; Эквивалентность. Составление таблиц истинности Число строк = 2n , где
- 28. Задание 8: Пусть A=0, B=1. Определить истинность высказывания F = (A ∨ B) & (¬ A
- 29. Решение задач Даны высказывания s=Число 3 является делителем числа 198, x=Иркутск – столица Франции. Сформулировать на
- 30. Равносильные логические выражения Логические выражения, у которых таблицы истинности совпадают называются равносильными Доказать равносильность логических выражений
- 31. Законы логики Закон тождества: всякое высказывание тождественно самому себе Закон непротиворечия: высказывание не может быть одновременно
- 32. Законы логики Закон двойного отрицания: если дважды отрицать одно и то же высказывание, то в результате
- 33. Законы логики Закон дистрибутивности: Законы де Моргана: Поглощение 1: Поглощение 0: Поглощения:
- 34. Логические основы компьютера В основе обработки компьютером информации лежит алгебра логики, разработанная английским математиком Джоржем Булем
- 35. Логический элемент НЕ Преобразует сигнал в противоположный: если на вход элемента подана логическая единица, то на
- 36. Логический элемент ИЛИ Преобразует два сигнала, поданные на вход, в один сигнал на выходе по следующему
- 37. Логический элемент И Преобразует два сигнала, поданные на вход, в один сигнал на выходе по следующему
- 38. Полусумматор двоичных чисел Это устройство для сложения двух двоичных чисел. Оно должно давать на выходе следующие
- 39. Результаты можно записать в виде логических функций: P = X и Y S = (X или
- 40. Сумматор двоичных чисел В целях максимального упрощения работы компьютера все многообразие математических операций в процессоре сводится
- 41. Таблица сложения
- 42. Из таблицы видно, что перенос P принимает значение 1 только тогда, когда хотя бы две логические
- 43. Триггер Это важнейшая структурная единица оперативной памяти компьютера и внутренних регистров процессора. Триггер позволяет запоминать, хранить
- 44. Схема триггера В обычном состоянии на входы триггера подан сигнал «0», и триггер хранит сигнал «0».
- 51. Проверка задач Число 3 не является делителем числа 198. (ложь) Иркутск – столица Франции, а число
- 61. Скачать презентацию