- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
18.10.06 презентация
Содержание
- 1. 18.10.06
- 2. Логика - это наука о формах и
- 3. это форма мышления, фиксирующая основные, существенные признаки объекта. Понятие - Содержание Объем
- 4. Высказывание может быть истинно или ложно. Высказывание
- 5. Посылками умозаключения по правилам формальной логики могут
- 6. В алгебре высказываний высказывания обозначаются именами логических
- 7. Для образования новых высказываний используются базовые логические
- 8. Логическое отрицание -операция не - инверсия НЕ А А
- 9. Логическое умножение - операция и - конъюнкция C=A&B
- 10. Логическое сложение - операция или - дизъюнкция ИЛИ А В С C=A۷B
- 11. Каждое составное высказывание можно выразить в виде
- 12. Логические законы и правила преобразования логических выражений
- 13. Логические законы и правила преобразования логических выражений
- 14. Таблицы истинности Количество строк = 2 ª,
- 15. Пример F(A,B,C) = (A^B) ۷ (Ā ۷ C)
Слайд 2Логика - это наука о формах и способах мышления.
Понятие;
Высказывание;
Умозаключение
Основные формы мышления:
Слайд 3это форма мышления, фиксирующая основные, существенные признаки объекта.
Понятие -
Содержание
Объем
Слайд 4Высказывание может быть истинно или ложно.
Высказывание -
это форма мышления, в
которой что-либо утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними.
Слайд 5Посылками умозаключения по правилам формальной логики могут быть только истинные суждения.
Умозаключение
-
это форма мышления, с помощью которой из одного или несколько суждений (посылок) может быть получено новое суждение (заключение).
Слайд 6 В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать
лишь два значения «истинно» и «ложно».
Истинно =1
Ложно=0
Истинно =1
Ложно=0
Алгебра высказываний
Слайд 7Для образования новых высказываний используются базовые логические операции:
инверсия
логическое отрицание
операция не
конъюнкция
дизъюнкция
логическое умножение
операция и
логическое сложение
операция или
Слайд 11Каждое составное высказывание можно выразить в виде формулы (логического выражения), в
которую входят логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие логические функции.
Логические выражения
Слайд 12Логические законы и правила преобразования логических выражений
Закон тождества: всякое высказывание тождественно
самому себе.
А=А
Закон непротиворечия: высказывание не может быть одновременно истинным и ложным.
А & А=1
Закон исключенного третьего. Высказывание может быть истинным, либо ложным, третьего не дано.
А ۷ А=1
Закон двойного отрицания: если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание.
А=А
А=А
Закон непротиворечия: высказывание не может быть одновременно истинным и ложным.
А & А=1
Закон исключенного третьего. Высказывание может быть истинным, либо ложным, третьего не дано.
А ۷ А=1
Закон двойного отрицания: если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание.
А=А
Слайд 13Логические законы и правила преобразования логических выражений
Законы Моргана:
А ۷ В=А
& В
А & В=А ۷ В
А & В=А ۷ В
Слайд 14Таблицы истинности
Количество строк = 2 ª, где а – количество переменных;
Количество
столбцов = количество переменных + количество логических операций
