Решение логических задач

Содержание

Слайд 2

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

Средствами алгебры логики
Табличный
С помощью рассуждений

Наиболее распространены три способа решения логических задач: Средствами алгебры логики Табличный С помощью рассуждений

Слайд 3

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

Изучаем условие задачи
Вводим систему обозначений для логических

Этапы решения задач средствами алгебры логики Изучаем условие задачи Вводим систему обозначений
высказываний
Создается логическая формула, описывающая логические связи между всеми условиями задачи

Определяются значения истинности этой логической формулы
Из полученных значений истинности формулы определяются значения истинности введенных логических высказываний, на основании которых делается заключение о решении

Слайд 4

Решение задач средствами алгебры логики

ЗАДАЧА
Внимание Андрея, Дениса и Коли привлек промчавшийся мимо

Решение задач средствами алгебры логики ЗАДАЧА Внимание Андрея, Дениса и Коли привлек
автомобиль. Ребята выдвинули три версии:
1. Английская машина «Феррари»
2. Итальянская машина «Понтиак»
3. Машина «Сааб»
Проходящий мимо человек сказал, что каждый из ребят прав только в одном из двух высказываний.
Какой же марки был тот автомобиль?

Слайд 5

РЕШЕНИЕ
Введем обозначение для логических высказываний:
А – машина английская;
Ф – «Феррари»;
И

РЕШЕНИЕ Введем обозначение для логических высказываний: А – машина английская; Ф –
– итальянская машина;
П – «Понтиак»;
С – «Сааб».
Из того факта, что каждый из друзей прав в чем-то одном, получаем три истинных составных высказывания:
А · ͞Ф ν ͞А · Ф; И ·͞П ν ͞И·П; ͞А·͞С ν А·С
Перемножаем все эти истинные логические выражения:
(А · ͞Ф ν ͞А · Ф) · (И ·͞П ν ͞И·П) · (͞А·͞С ν АС).

Слайд 6

Для решения нужно определить, при каких значениях логических переменных А, И,

Для решения нужно определить, при каких значениях логических переменных А, И, Ф,
Ф, П, С это высказывание истинно. Упростим выражение, т.к машина не может одновременно быть английской и итальянской (А · И=0), также не может одновременно иметь два названия (Ф · С=0; Ф · П=0; П · С=0).

(А · ͞Ф ν ͞А · Ф)·(И·͞П ν ͞И·П)·(͞А·͞С ν АС)=А· ͞Ф·И·͞П· ͞А·͞С ν А· ͞Ф·И·͞П·А·С ν А· ͞Ф· ͞И·П · ͞А· ͞С ν А· ͞Ф· ͞И·П·А·С ν ͞А·Ф·И·͞П·А·͞С ν А·Ф·И·͞П·А·С ν ͞А·Ф ·͞И·П ·͞ ͞А·͞С ν ͞А · Ф ·͞И·П·А ·͞ С=0 ν 0 ν 0 ν 0 ν А · ͞Ф · И ·͞П · ͞А·͞С ν 0 ν 0 ν 0= ͞А · Ф ·И ·͞ П · ͞А·͞С.
Высказывание: ͞А · Ф ·И ·͞ П · ͞А·͞С истинно только при И=1,Ф=1,А=0, П=0, С=0.
ОТВЕТ: машина итальянская марки «Феррари».

Слайд 7

Решение задач табличным способом
ЗАДАЧА
В оркестр приняли 3-х музыкантов – Брауна, Смита и

Решение задач табличным способом ЗАДАЧА В оркестр приняли 3-х музыкантов – Брауна,
Вессона, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Смит – самый высокий
Играющий на скрипке меньше ростом играющего на флейте
Играющие на скрипке и флейте также как и Браун любят пиццу
Когда между альтистом и трубачом возникает ссора, их мирит Смит
Браун не умеет играть на трубе и гобое.
Так же известно, что каждый из музыкантов владеет двумя инструментами.

Слайд 8

РЕШЕНИЕ

Составим таблицу и отразим в ней условия задачи, заполнив соответствующие клетки цифрами

РЕШЕНИЕ Составим таблицу и отразим в ней условия задачи, заполнив соответствующие клетки
1 и 0 в зависимости от того, ложно или истинно соответствующее высказывание.
Логично что каждый музыкант играет только на двух инструментах, на которых остальные не могут.
Из условия 4 следует, что Смит не играет на альте и трубе, а из условий 3 и 5 что Браун не умеет играть на скрипке, флейте, трубе и гобое. Следовательно, инструменты Брауна – альт и кларнет. Заносим это в таблицу, а оставшиеся клетки заполним 0.

Таблица 1

Слайд 9

Из таблицы 1 видно, что на трубе может играть только Вессон.
Из условий

Из таблицы 1 видно, что на трубе может играть только Вессон. Из
1 и 2 следует, что Смит не скрипач. Так как на скрипке не играет ни Браун, ни Смит, то скрипачом является Вессон. Оба инструмента, на которых играет Вессон, теперь определены, поэтому остальные клетки строки «Вессон» можно заполнить нулями.
Таблица 2

Слайд 10

Из таблицы 1 и 2 видно, что играть на флейте и на

Из таблицы 1 и 2 видно, что играть на флейте и на
гобое может играть только Смит.
В результате получаем таблицу 3
Таблица 3
ОТВЕТ: Браун играет на альте и кларнете, Смит на флейте и гобое, Вессон на скрипке и трубе.

Слайд 11

Решение логических задач с помощью рассуждений

ЗАДАЧА
Вадим, Сергей и Михаил изучают различные иностранные

Решение логических задач с помощью рассуждений ЗАДАЧА Вадим, Сергей и Михаил изучают
языки: китайский, японский и арабский.
На вопрос, какой язык изучает каждый из них, один ответил: «Вадим изучает китайский, Сергей не изучает китайский, а Михаил не изучает арабский».
Впоследствии выяснилось, что в этом ответе только одно утверждение верно, а два других ложны.
Какой язык изучает каждый из молодых людей?

Слайд 12

РЕШЕНИЕ

Имеется три утверждения:
Сергей не изучает китайский
2. Вадим изучает китайский
3. Михаил не изучает

РЕШЕНИЕ Имеется три утверждения: Сергей не изучает китайский 2. Вадим изучает китайский
арабский
Если верно первое утверждение, то верно и второе и третье, так как они изучают различные языки. Это противоречит условию задачи, поэтому первое утверждение ложно.
Если верно второе утверждение, то первое и третье должны быть ложны. При этом получается, что двое изучают китайский. Это противоречит условию, поэтому второе утверждение тоже ложно.

Слайд 13

Остается считать верным третье утверждение, первое и второе – ложными.
Следовательно, Вадим не

Остается считать верным третье утверждение, первое и второе – ложными. Следовательно, Вадим
изучает китайский, китайский изучает Сергей.
ОТВЕТ: Сергей изучает китайский, Михаил – японский, Вадим – арабский.
Имя файла: Решение-логических-задач.pptx
Количество просмотров: 29
Количество скачиваний: 0