Презентация на тему Примеры решения логических задач

способ
с помощью графов

Маргарита и Анюта представили на конкурсе корзины из выращенных

ими роз, маргариток и анютиных глазок.
Девочка, вырастившая маргаритки, обратила внимание Розы на то, что ни у одной из девочек имя не совпадает с названием любимых цветов.
Какие цветы вырастила каждая из девочек?

внимание Розы на то, что ни у одной из

девочек имя не совпадает с названием любимых цветов.
а) Аня вырастила не анютины глазки.
б) Маргарита вырастила не маргаритки.
в) Роза вырастила не розы.

внимание Розы на то, что ни у одной из

девочек имя не совпадает с названием любимых цветов.
Роза могла вырастить либо розы, либо анютины глазки.
в) Роза вырастила не розы.
Роза вырастила анютины глазки.

Аня вырастила не анютины глазки.
б) Маргарита вырастила не маргаритки.
в)

Роза вырастила не розы.
Маргарита вырастила розы.
Аня вырастила маргаритки.

вырастила маргаритки.

изучают различные иностранные языки: китайский, японский и арабский.
На

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

не изучает китайский.
Михаил не изучает арабский.
Одно утверждение верно,

а два других ложны.
1 ложно: Вадим не изучает китайский.

- верно

- верно

не изучает китайский.
Михаил не изучает арабский.
Одно утверждение верно,

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

- верно

- ложное

- ложное

Никто не изучает китайский!

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

Михаил изучает японский.
Вадим изучает

арабский.

арабский.

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

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

скрылся с места аварии.
Первый из опрошенных свидетелей сказал

работникам ГИБДД, что это были «Жигули», первая цифра номера машины – единица.
Второй свидетель сказал, что машина была марки «Москвич», а номер начинался с семерки.
Третий свидетель заявил, что машина была иностранная, номер начинался не с единицы.
При дальнейшем расследовании выяснилось, что каждый из свидетелей правильно указал либо только марку машины, либо только первую цифру номера. Какой марки была машина и с какой цифры начинался номер?

- это «Москвич».
И - это иностранная машина.
Е - номер

машины начинается с единицы.
С - номер машины начинается с семерки.

номера машины – единица.

2: «Москвич», номер начинался с

семерки.

3: Иностранная, номер начинался не с единицы.

указал либо только марку машины, либо только первую цифру

номера.

которой начинался с цифры семь.

тренировку пришли со своими собаками Антон, Борис, Петр, Виктор

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

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

как Xy
Антон: «Моя собака – Рекс, а собака Петра

– Лайма»
Борис: «Рекс – моя собака, а собака Виктора – Джек»
Петр: «Собака – Виктора – Зевс, а моя собака – Рекс»
Виктор: «Моя собака – Джек, а собака Олега – Бичо»
Олег: «Да, моя собака – Бичо, а собака Бориса – Зевс»

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

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

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

того, что у каждого хозяина только одна собака и

у каждой собаки только один хозяин.

Истинно только при Ар=0, Пл=1, Бр=1, Вд=0, Вз=1, Пр=0, Об=1, Бз=0.

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

– Зевса.
Олег – Бичо.
Антон – Джека.

Ответ:

тобой?
– Бог Правды.
– Кто ты?
– Бог Дипломатии.
– Кто стоит

рядом с тобой?
– Бог Лжи.

стал Шумахер.