Применение алгебры высказываний в логике. Комиссару Мэгрэ поступили следующие сообщения от инспекторов (доказанные ими): 1) если Франсуа был пьян, то.

Презентация:



Advertisements
Похожие презентации
Кафедра математики и моделирования Старшие преподаватели Е.Д. Емцева и Е.Г. Гусев Курс «Высшая математика» Лекция 3. Тема: ДНФ. СДНФ. Цель: Определить.
Advertisements

Решение логических задач (табличный способ). Курсовая работа Закировой Лены, СШ 23, 2002 г.
Решение логических задач табличным методом Автор: к.ф.-м. наук Жанабергенова Г.К.
Элементы логики Составлено по учебнику Угринович «Информатика и информационные технологии.».
Основные логические операции Проект преподавателя ГОУ СПО ПК 33 Блохиной В.П.
Логическая информация и основы логики.. Алгебра логики – это наука об общих операциях, которые могут выполняться над логическими выражениями. Логическое.
Выполнила ученица: 10 «Б» Муравлёва Инна учитель: Ковалева Ю.В г.
Математическая логика. Алгебра высказываний Высказывание- это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов.
Формы мышления. Алгебра высказываний. Логические выражения и таблицы истинности.
ЛОГИЧЕСКИЕ ЗАКОНЫ И ПРАВИЛА ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ.
Логические законы и правила преобразования логических выражений.
ГБПОУ «МСС УОР 2» Москомспорта Преподаватель информатики Володина М.В г.
АЛГЕБРА ЛОГИКИ Часть 2. Истинность выражения Возьмем составное высказывание Пусть А=0, В=1 Тогда.
Алгебра логики. Логическое умножение, сложение и отрицание. Диденко В.В.
Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они служат для упрощения формул или.
U: «Я поеду автобусом» V: «Автобус опоздает» W: «Я пропущу свидание» X: «Я начну огорчаться» Y: «Мне следует ехать домой» Z: «Я получу работу»
Основы логики и логические основы компьютера. Содержание Логическое следование (импликация) Логическое равенство (эквивалентность)
ОСНОВЫ ЛОГИКИ Повторение Подготовил учитель информатики и ИКТ МОБУ «Ленинская СОШ1 им. Борисова П.С. Антропова С.Ю.
Логика – это наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений, т. е. методы.
С помощью логических переменных и символов логических операций любое высказывание можно заменить логическим выражением ( формулой). Алгебра логики – это.
Транксрипт:

Применение алгебры высказываний в логике

Комиссару Мэгрэ поступили следующие сообщения от инспекторов (доказанные ими): 1) если Франсуа был пьян, то либо Этьен убийца, либо Франсуа лжет; 2) или Этьен убийца, или Фрасуа не был пьян и убийство произошло после полуночи; 3) если убийство произошло после полуночи, то либо Этьен убийца, либо Франсуа лжет. Комиссар также знал, что трезвый Франсуа никогда не лжет. Через несколько минут Мэгрэ знал кто убийца. Какой вывод сделал Мэгрэ? Рассмотрим следующие элементарные высказывания: A= Франсуа был пьян, B= Этьен убийца, C= Франсуа лжет, D= Убийство произошло после полуночи. Запишем высказывания инспекторов, используя логические операции.

Все эти высказывания должны выполняться одновременно, то есть они связаны союзом «и» - конъюнкцией (умножением). Рассмотрим конъюнкцию этих трех высказываний и упростим ее: Так как Мэгрэ было известно, что трезвый Франсуа не лжет, то то есть,. Тогда Значит, истинно высказывание B= Этьен убийца.