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

Содержание

Слайд 2

Способы решения

Средствами
алгебры логики

Табличный

С помощью
рассуждений

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

Слайд 3

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

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

Решение логических задач средствами алгебры логики Изучается условие задач; Вводится система обозначений
высказываний;
Конструируется логическая формула, описывающая логические связи между всеми высказываниями условия задачи;
Определяются значения истинности этой логической формулы;
Из полученных значений истинности формулы определяются значения истинности введённых логических высказываний, на основании которых делается заключение о решении.

Слайд 4

Пример:

Трое друзей, болельщиков автогонок «Формула -1», спорили о результатах предстоящего этапа гонок.
Вот

Пример: Трое друзей, болельщиков автогонок «Формула -1», спорили о результатах предстоящего этапа
увидишь, Шумахер не придёт первым, - сказал Джон. – Первым будет Хилл.
Да нет же, победителем будет, как всегда Шумахер, - воскликнул Ник. – А об Алези и говорить нечего, ему не быть первым.
Питер, к которому обратился Ник, возмутился:
Хиллу не видать первого места, а вот Алези пилотирует самую мощную машину.
По завершению этапа гонок оказалось, что каждое из двух предположений двоих друзей подтвердилось, а оба предположения третьего из друзей оказались неверны. Кто выиграл этап гонки?

Слайд 5

Решение:

2. Вводим систему обозначений:
Ш – победит Шумахер;
Х – победит Хилл;
А –

Решение: 2. Вводим систему обозначений: Ш – победит Шумахер; Х – победит
победит Алези

Слайд 6

3. Конструируем логическую формулу:
(Ш&¬Х)&(Ш&¬А)&¬Х v (¬Ш&Х)&(¬Ш&А)&¬Х v (¬Ш&Х)&(Ш&¬А)&¬¬Х=
=(Ш&¬Х&Ш&¬А&¬Х) v (¬Ш&Х&¬Ш&А&¬Х) v (¬Ш&Х&Ш&¬А&¬¬Х)=
=(Ш&¬А&¬Х)

3. Конструируем логическую формулу: (Ш&¬Х)&(Ш&¬А)&¬Х v (¬Ш&Х)&(¬Ш&А)&¬Х v (¬Ш&Х)&(Ш&¬А)&¬¬Х= =(Ш&¬Х&Ш&¬А&¬Х) v (¬Ш&Х&¬Ш&А&¬Х)
v (¬Ш&А&0) v (0&¬А&Х)=
=(Ш&¬А&¬Х)

Решение:

Слайд 7

Решение задач табличным способом

В симфонический оркестр приняли на работу трёх музыкантов: Бориса,

Решение задач табличным способом В симфонический оркестр приняли на работу трёх музыкантов:
Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.

Слайд 8

Решение задач табличным способом

В симфонический оркестр приняли на работу трёх музыкантов: Бориса,

Решение задач табличным способом В симфонический оркестр приняли на работу трёх музыкантов:
Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.

Слайд 9

Решение задач табличным способом

В симфонический оркестр приняли на работу трёх музыкантов: Бориса,

Решение задач табличным способом В симфонический оркестр приняли на работу трёх музыкантов:
Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.

Слайд 10

Решение задач табличным способом

В симфонический оркестр приняли на работу трёх музыкантов: Бориса,

Решение задач табличным способом В симфонический оркестр приняли на работу трёх музыкантов:
Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.

Слайд 11

Решение задач табличным способом

В симфонический оркестр приняли на работу трёх музыкантов: Бориса,

Решение задач табличным способом В симфонический оркестр приняли на работу трёх музыкантов:
Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.

Слайд 12

Решение задач табличным способом

В симфонический оркестр приняли на работу трёх музыкантов: Бориса,

Решение задач табличным способом В симфонический оркестр приняли на работу трёх музыкантов:
Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.

Слайд 13

Решение задач табличным способом

В симфонический оркестр приняли на работу трёх музыкантов: Бориса,

Решение задач табличным способом В симфонический оркестр приняли на работу трёх музыкантов:
Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.

Слайд 14

Решение задач табличным способом

В симфонический оркестр приняли на работу трёх музыкантов: Бориса,

Решение задач табличным способом В симфонический оркестр приняли на работу трёх музыкантов:
Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.

Слайд 15

Решение задач табличным способом

В симфонический оркестр приняли на работу трёх музыкантов: Бориса,

Решение задач табличным способом В симфонический оркестр приняли на работу трёх музыкантов:
Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.

Слайд 16

Решение задач табличным способом

В симфонический оркестр приняли на работу трёх музыкантов: Бориса,

Решение задач табличным способом В симфонический оркестр приняли на работу трёх музыкантов:
Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.

Слайд 17

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

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

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

Слайд 18

Решение:

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

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

Слайд 19

Решение:

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

Решение: Имеется три утверждения: Вадим изучает китайский - 1 Сергей не изучает
изучает арабский

Слайд 20

Решение:

Имеется три утверждения:
Вадим изучает китайский - 1
Сергей не изучает китайский - 1

Решение: Имеется три утверждения: Вадим изучает китайский - 1 Сергей не изучает

Михаил не изучает арабский

Слайд 21

Решение:

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

Решение: Имеется три утверждения: Вадим изучает китайский Сергей не изучает китайский -
изучает арабский

Слайд 22

Решение:

Имеется три утверждения:
Вадим изучает китайский - 0
Сергей не изучает китайский - 1

Решение: Имеется три утверждения: Вадим изучает китайский - 0 Сергей не изучает

Михаил не изучает арабский

Слайд 23

Решение:

Имеется три утверждения:
Вадим изучает китайский - 0
Сергей не изучает китайский - 1

Решение: Имеется три утверждения: Вадим изучает китайский - 0 Сергей не изучает

Михаил не изучает арабский - 0

Слайд 24

Решение:

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

Решение: Имеется три утверждения: Вадим изучает китайский - 0 Сергей не изучает
не изучает арабский – 1

Слайд 25

Ответ:

Сергей изучает китайский язык,
Михаил – японский,
Вадим - арабский

Ответ: Сергей изучает китайский язык, Михаил – японский, Вадим - арабский

Слайд 26

Задания для самостоятельного решения:

В школе-новостройке в каждой из двух аудиторий может находится

Задания для самостоятельного решения: В школе-новостройке в каждой из двух аудиторий может
либо кабинет информатики, либо кабинет физики. На дверях аудитории повесили шутливые таблички. На первой повесили табличку: «По крайней мере в одной из этих аудиторий размещается кабинет информатики», а на второй аудитории – табличку с надписью «Кабинет физики находится в другой аудитории». Проверяющему, который пришёл в школу, известно только, что надписи на табличках либо обе истинны, либо обе ложны. Помогите проверяющему найти кабинет информатики.
Три друга — Алеша, Боря и Витя — учатся в одном классе. Один из них ездит в школу на трамвае, другой — на троллейбусе, а третий — на автобусе. Однажды после уроков Алеша пошел провожать своего друга до остановки автобуса. Когда мимо них проходил троллейбус, третий друг крикнул из окна: «Боря, ты забыл в школе тетрадку!» Кто на чем ездит домой?
Микула Селянович узнал, что Змей Горыныч побеждён. Победить его мог либо Илья Муромец, либо Алёша Попович, либо Добрыня Никитич. Вскоре Микуле Селяновичу сообщили, что:
Змея Горыныча победил не Илья Муромец;
Змея Горыныча победил Алёша Попович.
Спустя некоторое время оказалось, что одно из этих сообщений ложно. Кто же победил Змея?
Имя файла: Решение-логических-задач.pptx
Количество просмотров: 477
Количество скачиваний: 4