Выделяем и обозначаем высказывания в тексте задачи Переводим

Зарегистрируйтесь, чтобы просмотреть полный документ!

Выделяем и обозначаем высказывания в тексте задачи. Переводим на язык логических выражений предложения текста задачи. Составляем общую формулу решения задачи. Решить задачу одним из методов: 1. упрощение формулы; 2. использование таблиц истинностных значений; 3. использование таблиц Microsoft Excel; 4. использование диаграмм Эйлера-Венна; 5. путем логических рассуждений. Переводим полученный результат на русский язык.

1. Выделим и обозначим высказывания. Текст задачи: В обвинении в ограблении перед судом предстали: Иванов, Петров, Сидоров. Следствием установлено следующее: если Иванов не виновен или Петров виновен, то Сидоров виновен; если Иванов не виновен, то Сидоров не виновен. Виновен ли Иванов? Высказывание А = { Иванов не виновен. } Высказывание B = { Петров не виновен. } Высказывание С = { Сидоров не виновен. }

2. Переведем высказывания на язык логических выражений. Текст задачи: В обвинении в ограблении перед судом предстали: Иванов, Петров, Сидоров. Следствием установлено следующее: если Иванов не виновен или Петров виновен, то Сидоров виновен; если Иванов не виновен, то Сидоров не виновен. Виновен ли Иванов? Высказывание А = { Иванов не виновен. } Высказывание B = { Петров не виновен. } Высказывание С = { Сидоров не виновен. } ( A / Не(В) ) -> Не(С) А -> С

3. Составим общую формулу. 4. Решим задачу с помощью таблицы истинностных значений. Текст задачи: В обвинении в ограблении перед судом предстали: Иванов, Петров, Сидоров. Следствием установлено следующее: если Иванов не виновен или Петров виновен, то Сидоров виновен; если Иванов не виновен, то Сидоров не виновен. (2) Виновен ли Иванов? (1) A 1 1 0 0 B 1 1 0 0 C 1 0 0 1 1 0 Не(В) Не(С) ( 1 ) ( 2 ) А -> C 0 0 1 0 1 1 1 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 Формула 0 0 1 1 0 1 ВЫВОД: Формула принимает значение “истина” при значении высказывания А - “ложь”, следовательно Иванов виновен.

4. Решим задачу , упрощая формулу. [(A / не(В)) -> не(С)] / (A -> C) = {[не(A / не(B))] / не(C)} / / (не(А) / C) = {не(А) / B / не(C)} / (не(А) / C) = = не(А) / B / не(А) / B / C / не(С) / не(А) = = не(А) / [B / B / C / не(С)] = не(А) / [B / C / не(С)] = = не(А) / (B / не(С)) X -> Y = не(X) / Y Не(X / Y) = не(Х) / не(Y) и не(не(X)) = X Коммутативный , ассоциативный , дистрибутивный законы. ВЫВОД : в результате упрощения формулы мы получили не(А) , т. е. Иванов виновен в убийстве.

4. Решим задачу , с помощью таблицы Microsoft Excel. (2) (1) ВЫВОД : формула принимает значение “ИСТИНА” при значениях А=0 , т. е. высказывание А ложно, другими словами Иванов виновен в убийстве.

Решите задачу самостоятельно любым из способов. Дима, Игорь и Максим нашли в земле старинный сосуд. Рассматривая удивительную находку, каждый высказал по два предложения : Дима : ”Это сосуд греческий и изготовлен в V в. ” Игорь : ”Это сосуд финикийский и изготовлен не в V в. ” Максим : ”Это сосуд не греческий и изготовлен в IV в. ” Учитель истории сказал ребятам, что каждый из них прав только в одном из двух предложений. Где и в каком веке изготовлен сосуд?

Скачать презентацию Выделяем и обозначаем высказывания в тексте задачи Переводим

Лог_Задача логики.ppt

Количество слайдов: 8