🗊Презентация Алгебра суждений

Категория: Образование
Нажмите для полного просмотра!
Алгебра суждений, слайд №1Алгебра суждений, слайд №2Алгебра суждений, слайд №3Алгебра суждений, слайд №4Алгебра суждений, слайд №5Алгебра суждений, слайд №6Алгебра суждений, слайд №7Алгебра суждений, слайд №8Алгебра суждений, слайд №9Алгебра суждений, слайд №10Алгебра суждений, слайд №11Алгебра суждений, слайд №12
Скачать
Вы можете ознакомиться и скачать презентацию на тему Алгебра суждений. Доклад-сообщение содержит 12 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1


Алгебра суждений, слайд №1
Описание слайда:

Слайд 2


Парадокс с карточкой математика П. Журдена
Описание слайда:
Парадокс с карточкой математика П. Журдена

Слайд 3


Основная задача логики высказываний заключается в том, чтобы на основании истинности или ложности простых высказываний определить истинность или ложность сложных высказываний. Среди сложных высказываний можно выделить: соединительные, разделительные, условные, эквивалентные, высказывания с внешним отрицанием.
Описание слайда:
Основная задача логики высказываний заключается в том, чтобы на основании истинности или ложности простых высказываний определить истинность или ложность сложных высказываний. Среди сложных высказываний можно выделить: соединительные, разделительные, условные, эквивалентные, высказывания с внешним отрицанием.

Слайд 4


Для булевых переменных определены следующие логические операции: Инверсия (логическое отрицание)  , , not, не, (неверно, что…) 2) Конъюнкция (логическое умножение) , , &, and, и 3) Дизъюнкция (логическое сложение) +, V, or, или 4) Импликация (следование) , если…, то… 5) Двойная импликация или эквиваленция (равносильность) , =
Описание слайда:
Для булевых переменных определены следующие логические операции: Инверсия (логическое отрицание)  , , not, не, (неверно, что…) 2) Конъюнкция (логическое умножение) , , &, and, и 3) Дизъюнкция (логическое сложение) +, V, or, или 4) Импликация (следование) , если…, то… 5) Двойная импликация или эквиваленция (равносильность) , =

Слайд 5


1. Инверсия (логическое отрицание) Имея суждение А, можно образовать новое суждение, которое читается как «не А» или «неверно, что А». (А, А) А = «Мы любим информатику» А = «Мы не любим информатику»
Описание слайда:
1. Инверсия (логическое отрицание) Имея суждение А, можно образовать новое суждение, которое читается как «не А» или «неверно, что А». (А, А) А = «Мы любим информатику» А = «Мы не любим информатику»

Слайд 6


2. Конъюнкция (логическое умножение) Конъюнкция двух высказываний А и В соответствует союзу «и» (А * В, АВ, А  В). Связка «и» в составных суждениях предполагает одновременную истинность составляющих суждений. «Число 6 делится на 2 и на 3»
Описание слайда:
2. Конъюнкция (логическое умножение) Конъюнкция двух высказываний А и В соответствует союзу «и» (А * В, АВ, А  В). Связка «и» в составных суждениях предполагает одновременную истинность составляющих суждений. «Число 6 делится на 2 и на 3»

Слайд 7


3. Дизъюнкция (логическое сложение) Дизъюнкция двух суждений соответствует союзу «или» (А + В, А V В). Составное суждение со связкой «или» считается истинным, если истинно хотя бы одно из составных суждений, и считается ложным, если ложны все его составляющие. Объединяющее «или» «Петров является программистом или Петров является студентом»
Описание слайда:
3. Дизъюнкция (логическое сложение) Дизъюнкция двух суждений соответствует союзу «или» (А + В, А V В). Составное суждение со связкой «или» считается истинным, если истинно хотя бы одно из составных суждений, и считается ложным, если ложны все его составляющие. Объединяющее «или» «Петров является программистом или Петров является студентом»

Слайд 8


Разъединяющее «или» (либо А, либо В) – А  В (разность) - А  В «Петров совершил преступление, или Петров не совершал преступления»
Описание слайда:
Разъединяющее «или» (либо А, либо В) – А  В (разность) - А  В «Петров совершил преступление, или Петров не совершал преступления»

Слайд 9


4. Импликация (следование) А  В ( Если А, то В. Из А следует В) Импликация ложна только в одном случае: «из истины не может следовать ложь, из лжи – все, что угодно». «Если 2  2 = 5, то 2 + 2 = 5» «Если 2  2 = 5, то 2 + 2 = 4»
Описание слайда:
4. Импликация (следование) А  В ( Если А, то В. Из А следует В) Импликация ложна только в одном случае: «из истины не может следовать ложь, из лжи – все, что угодно». «Если 2  2 = 5, то 2 + 2 = 5» «Если 2  2 = 5, то 2 + 2 = 4»

Слайд 10


Эквиваленция (равносильность, двойная импликация) Суждения А и В называются равносильными или эквивалентными, если они одновременно истинны или одновременно ложны. А = В ; А  В ; А  В ; А  В А = «Этот треугольник равносторонний» В = «Этот треугольник равноугольный»
Описание слайда:
Эквиваленция (равносильность, двойная импликация) Суждения А и В называются равносильными или эквивалентными, если они одновременно истинны или одновременно ложны. А = В ; А  В ; А  В ; А  В А = «Этот треугольник равносторонний» В = «Этот треугольник равноугольный»

Слайд 11


Приоритетность логических операций Инверсия Конъюнкция Дизъюнкция Импликация Эквиваленция
Описание слайда:
Приоритетность логических операций Инверсия Конъюнкция Дизъюнкция Импликация Эквиваленция

Слайд 12


Всю совокупность формул логики высказываний можно разделить на 3 класса: нейтральные или выполнимые - выражения принимают значения как «истинно» так и «ложно»; тождественно-истинные формулы или тавтологии – выражения принимают значения «истинно» независимо от логических значений входящих в них переменных; тождественно-ложные формулы - выражения принимают значения «ложно» независимо от логических значений входящих в них переменных.
Описание слайда:
Всю совокупность формул логики высказываний можно разделить на 3 класса: нейтральные или выполнимые - выражения принимают значения как «истинно» так и «ложно»; тождественно-истинные формулы или тавтологии – выражения принимают значения «истинно» независимо от логических значений входящих в них переменных; тождественно-ложные формулы - выражения принимают значения «ложно» независимо от логических значений входящих в них переменных.

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию