Разделы презентаций
- Разное
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Алгебра суждений
Содержание
- 1. Алгебра суждений
- 2. УТВЕРЖДЕНИЕНА ОБРАТНОЙ СТОРОНЕЭТОЙ КАРТОЧКИИСТИННОУТВЕРЖДЕНИЕНА ОБРАТНОЙ СТОРОНЕЭТОЙ КАРТОЧКИЛОЖНОПарадокс с карточкой математика П. Журдена
- 3. Основная задача логики высказываний заключается в том,
- 4. Для булевых переменных определены следующие логические операции:Инверсия
- 5. 1. Инверсия (логическое отрицание)Имея суждение А, можно
- 6. 2. Конъюнкция (логическое умножение)Конъюнкция двух высказываний А
- 7. 3. Дизъюнкция (логическое сложение)Дизъюнкция двух суждений соответствует
- 8. Разъединяющее «или» (либо А, либо В) –
- 9. 4. Импликация (следование) А В
- 10. Эквиваленция (равносильность, двойная импликация)Суждения А и В
- 11. Приоритетность логических операцийИнверсияКонъюнкцияДизъюнкцияИмпликацияЭквиваленция
- 12. Всю совокупность формул логики высказываний можно разделить
- 13. Скачать презентанцию
УТВЕРЖДЕНИЕНА ОБРАТНОЙ СТОРОНЕЭТОЙ КАРТОЧКИИСТИННОУТВЕРЖДЕНИЕНА ОБРАТНОЙ СТОРОНЕЭТОЙ КАРТОЧКИЛОЖНОПарадокс с карточкой математика П. Журдена
Слайды и текст этой презентации
Слайд 2УТВЕРЖДЕНИЕ
НА ОБРАТНОЙ СТОРОНЕ
ЭТОЙ КАРТОЧКИ
ИСТИННО
УТВЕРЖДЕНИЕ
НА ОБРАТНОЙ СТОРОНЕ
ЭТОЙ КАРТОЧКИ
ЛОЖНО
Парадокс
с карточкой математика
П.
Журдена
Слайд 3Основная задача логики высказываний заключается в том, чтобы на основании
истинности или ложности простых высказываний определить истинность или ложность сложных
высказываний.Среди сложных высказываний можно выделить:
соединительные,
разделительные,
условные,
эквивалентные,
высказывания с внешним отрицанием.
Слайд 4Для булевых переменных определены следующие логические операции:
Инверсия (логическое отрицание)
, , not, не, (неверно, что…)
2) Конъюнкция (логическое
умножение), , &, and, и
3) Дизъюнкция (логическое сложение)
+, V, or, или
4) Импликация (следование) , если…, то…
5) Двойная импликация или эквиваленция
(равносильность) , =
Слайд 51. Инверсия (логическое отрицание)
Имея суждение А, можно образовать новое суждение,
которое читается как «не А» или «неверно, что А». (А,
А)А = «Мы любим информатику»
А = «Мы не любим информатику»
А
А
Слайд 62. Конъюнкция (логическое умножение)
Конъюнкция двух высказываний А и В соответствует
союзу «и» (А * В, АВ, А В).
Связка
«и» в составных суждениях предполагает одновременную истинность составляющих суждений.«Число 6 делится на 2 и на 3»
А
В
А и В
Слайд 73. Дизъюнкция (логическое сложение)
Дизъюнкция двух суждений соответствует союзу «или» (А
+ В, А V В).
Составное суждение со связкой «или» считается
истинным, если истинно хотя бы одно из составных суждений, и считается ложным, если ложны все его составляющие.Объединяющее «или»
«Петров является программистом или Петров является студентом»
А
В
А или В
Слайд 8Разъединяющее «или» (либо А, либо В) – А В
(разность)
- А В
«Петров совершил преступление,или Петров не совершал преступления»
А
В
А В
Слайд 94. Импликация (следование)
А В ( Если
А, то В. Из А следует В)
Импликация ложна только в одном случае:«из истины не может следовать ложь,
из лжи – все, что угодно».
«Если 2 2 = 5, то 2 + 2 = 5»
«Если 2 2 = 5, то 2 + 2 = 4»
Слайд 10Эквиваленция (равносильность, двойная импликация)
Суждения А и В называются равносильными или
эквивалентными, если они одновременно истинны или одновременно ложны.
А = В
; А В ; А В ; А ВА = «Этот треугольник равносторонний»
В = «Этот треугольник равноугольный»
Слайд 12Всю совокупность формул логики высказываний можно разделить на 3 класса:
нейтральные
или выполнимые - выражения принимают значения как «истинно» так и
«ложно»;тождественно-истинные формулы или тавтологии – выражения принимают значения «истинно» независимо от логических значений входящих в них переменных;
тождественно-ложные формулы - выражения принимают значения «ложно» независимо от логических значений входящих в них переменных.
Теги
