Способы решения текстовых логических задач презентация

Закон тождества
Закон исключения третьего
Закон двойного отрицания
Законы идемпотентности
Законы коммутативности
Законы ассоциативности
Законы дистрибутивности
Законы де Моргана
Замена импликации

Формальный
На вопрос: «Кто из трех учащихся изучал логику?» - получен верный ответ: «Если изучал первый, то изучал и второй, но неверно, что если изучал третий, то изучал и второй». Кто из учащихся изучал логику?
Решение.
И1 – логику изучал первый,
И2 – логику изучал второй,
И3 – логику изучал второй.
Запишем формулы:
Ответ. Логику изучал третий ученик

Построение таблиц истинности
Три фирмы А, В и С, специализирующиеся на производстве и продаже компьютеров, стремились получить максимальную прибыль по итогам работы за год. Экономист, хорошо знавший организацию работ в этих фирмах, высказал следующие предположения:
фирма А может получить максимальную прибыль только тогда, когда получат максимальную прибыль фирмы В и С;
либо фирмы А и С получат максимальную прибыль одновременно, либо одновременно не получат;
для того, чтобы фирма С получила максимальную прибыль за год, необходимо, чтобы и фирма В получила максимальную прибыль.
По завершении года выяснилось, что экономист немного ошибся: из трех утверждений истинными оказались только два. Какие из названных фирм получили максимальную прибыль?

Введем обозначения:
А – «фирма А получит максимальную прибыль за год»;
В – «фирма В получит максимальную прибыль за год»;
С – «фирма С получит максимальную прибыль за год»;
Составим таблицу истинности:
Ответ. Фирма А не получит максимальную прибыль, а фирмы В и С получат.

Графический
Четыре марсианки, оказавшиеся на Земле, на вопрос об их возрасте дали ответы:
И - 22 года, Е – 21 год.
О – 19 лет, И – 21 год.
А – 21 год, О – 18 лет.
Все марсианки разных возрастов, притом только данных: 18, 19, 21 и 22. В каждом ответе одна часть верна, другая – нет. Сколько лет каждой марсианке?

1. И - 22 года, Е – 21 год.
2. О – 19 лет, И – 21 год.
3. А – 21 год, О – 18 лет.
И22
Е21
О19
О19
И21
И21
А21
А21
А21
А21
О18
О18
О18
О18
Ответ. А - 21 год, О – 19 лет, И – 22 года, Е – 18 лет

Метод рассуждений
Разбирается дело Батончика, Ленчика и Пончика. Один из них нашел и утаил клад. На следствии каждый из них сделал два заявления:
Батончик: «Я не делал этого. Пончик делал это».
Ленчик: «Пончик не виновен. Батончик сделал это».
Пончик: «Я не делал этого. Ленчик не делал этого».
Суд установил, что один из них дважды солгал, другой дважды сказал правду, третий один раз солгал, один раз сказал правду. Кто из них утаил клад?
Ответ. Пончик утаил клад.