Для студентов МТУСИ по предмету ЛогикаРешение задач по логике из сборникаРешение задач по логике из сборника
2025-06-212025-06-21СтудИзба
Задача: Решение задач по логике из сборника
Новинка
Описание
РЕШЕНИЯ ЗАДАЧ по ЛОГИКЕ из сборника
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ – ИВ
Посылки:
П 1. Если новая версия ОС Windows плохая,
то мой компьютер допускает сбои.
П 2. Если мой компьютер допускает сбои,
то я не решу задачу в срок.
П 3. На моем компьютере – плохая версия ОС Windows.
………………………………….
Теорема: Я не решу задачу в срок - Доказать !
Введем элементарные высказ-ния:
а - новая версия ОС Windows- плохая
b- мой компьютер допускает сбои
с - я не решу задачу в срок
ЗАДАЧА ИВ-11
Доказать теорему с помощью таблицы истинности и методом резолюции:
Посылка 1 (П1): Если меня не пошлют в командировку, то я поеду в горы;
Посылка 2 (П2): Если меня пошлют в командировку, то я не попаду
на соревнования;
Посылка 3 (П3): Я не поеду в горы;
…………………………………………………….
Теорема (Т): Следовательно, я НЕ попаду на соревнования
ЗАДАЧА ИП-1.1а («Студент» ) (МЭИ - ИП/18 с. 35)
Доказать теорему "прямым" методом и методом резолюции:
- Ни один невежда не является студентом.
- Петя – невежда.
Следовательно, Петя – не студент.
ЗАДАЧА ИП-1.1б («Студент» ) (на осн. МЭИ - ИП/18 с. 35)
Доказать теорему "прямым" методом и методом резолюции:
- Ни один студент не является невеждой.
- Петя – невежда.
Следовательно, Петя – не студент.
ЗАДАЧА ИП-1.2а (на осн. МЭИ - ИП/18 с. 35)
Доказать теорему "прямым" методом и методом резолюции:
- Ни один безграмотный человек не может быть хорошим инженером .
- Сидоров - безграмотный человек.
Следовательно, Сидоров – не является хорошим инженером .
ЗАДАЧА ИП-2(«Платон»)
Доказать теорему "прямым" методом и методом резолюции:
- Все люди разумны.
- Платон – человек.
Следовательно, Платон – разумен.
ЗАДАЧА ИП-3 («Спортсмен») (МЭИ - ИП/17 с. 35) Не закончено!
Доказать теорему методом резолюции:
- П1: Каждый спортсмен – силен.
- П2: Каждый, кто силен и интеллигентен, добьется в жизни
успеха.
- П3: Петр – спортсмен и интеллигентен.
Теорема
Т: Следовательно, Петр добьется в жизни успеха.
ЗАДАЧА ИП-8
Доказать теорему методом резолюции (и "прямым" методом ):
- Каждый философ – мудрец.
- Каждый, кто является мудрецом и обладает интуицией, может предсказать будущее.
- Сенека – философ и обладает интуицией.
ЗАДАЧА ИП-9 (б)
- Ни одно механическое устройство не является современным компьютером.
-Арифмометр "Альфа" – механическое вычислительное устройство
ЗАДАЧА ИП-10 «Аэростат»
Доказать теорему методом резолюции :
(Док-во прямым методом - неясно )
П1 - Все летательные аппараты, которые тяжелее воздуха, имеют
двигатель или крылья
П2 - Аэростат – летательный аппарат
П3 - Аэростат не имеет ни двигателя, ни крыльев
(не имеет двигателя и не имеет крыльев)
..............................................................................................
Т: Следовательно, аэростат не тяжелее воздуха
ЗАДАЧА ИП-11 (На основе ИП-3 - МЭИ - ИП/17 с. 35)
Доказать теорему методом резолюции
- Каждый врач – ответственный человек
- Каждый, кто является ответственным и знающим, заслужит признание
людей.
- Смирнов – врач и знающий человек.
Следовательно, Смирнов заслужит признание людей
ЗАДАЧА ИП-4 («Сберкасса») МЭИ - ИП/ 2 с. 34)
Доказать теорему методом резолюции:
- Каждый, кто хранит деньги в сбербанке, получает проценты.
Следовательно, если не начисляются проценты, то никто не хранит
деньги в сбербанке.
ЗАДАЧА ИП-5а («Шахматисты и доминошники » (МЭИ - ИП/ 23 с. 35) -
исключение квантора "
Доказать теорему методом резолюции:
- Все, кто живет в доме № 5, заядлые шахматисты.
- Все, кто живет на соседней улице, не увлекаются шахматами..
- Все, кто НЕ живет в доме № 5,доминошники..
Следовательно, все, кто живет на соседней улице, - доминошники.
ЗАДАЧА ИП-5б - Вариант Задачи 5 - исключение квантора "
- Все, кто живет в поселке "Таежный", заядлые охотники.
- Все, кто живет в г. Приозерный, не увлекаются охотой.
- Все, кто НЕ живет в поселке "Таежный", рыбаки.
Следовательно, все, кто живет в г. Приозерный, - рыбаки.
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ – ИВ
Посылки:
П 1. Если новая версия ОС Windows плохая,
то мой компьютер допускает сбои.
П 2. Если мой компьютер допускает сбои,
то я не решу задачу в срок.
П 3. На моем компьютере – плохая версия ОС Windows.
………………………………….
Теорема: Я не решу задачу в срок - Доказать !
Введем элементарные высказ-ния:
а - новая версия ОС Windows- плохая
b- мой компьютер допускает сбои
с - я не решу задачу в срок
ЗАДАЧА ИВ-11
Доказать теорему с помощью таблицы истинности и методом резолюции:
Посылка 1 (П1): Если меня не пошлют в командировку, то я поеду в горы;
Посылка 2 (П2): Если меня пошлют в командировку, то я не попаду
на соревнования;
Посылка 3 (П3): Я не поеду в горы;
…………………………………………………….
Теорема (Т): Следовательно, я НЕ попаду на соревнования
ЗАДАЧА ИП-1.1а («Студент» ) (МЭИ - ИП/18 с. 35)
Доказать теорему "прямым" методом и методом резолюции:
- Ни один невежда не является студентом.
- Петя – невежда.
Следовательно, Петя – не студент.
ЗАДАЧА ИП-1.1б («Студент» ) (на осн. МЭИ - ИП/18 с. 35)
Доказать теорему "прямым" методом и методом резолюции:
- Ни один студент не является невеждой.
- Петя – невежда.
Следовательно, Петя – не студент.
ЗАДАЧА ИП-1.2а (на осн. МЭИ - ИП/18 с. 35)
Доказать теорему "прямым" методом и методом резолюции:
- Ни один безграмотный человек не может быть хорошим инженером .
- Сидоров - безграмотный человек.
Следовательно, Сидоров – не является хорошим инженером .
ЗАДАЧА ИП-2(«Платон»)
Доказать теорему "прямым" методом и методом резолюции:
- Все люди разумны.
- Платон – человек.
Следовательно, Платон – разумен.
ЗАДАЧА ИП-3 («Спортсмен») (МЭИ - ИП/17 с. 35) Не закончено!
Доказать теорему методом резолюции:
- П1: Каждый спортсмен – силен.
- П2: Каждый, кто силен и интеллигентен, добьется в жизни
успеха.
- П3: Петр – спортсмен и интеллигентен.
Теорема
Т: Следовательно, Петр добьется в жизни успеха.
ЗАДАЧА ИП-8
Доказать теорему методом резолюции (и "прямым" методом ):
- Каждый философ – мудрец.
- Каждый, кто является мудрецом и обладает интуицией, может предсказать будущее.
- Сенека – философ и обладает интуицией.
ЗАДАЧА ИП-9 (б)
- Ни одно механическое устройство не является современным компьютером.
-Арифмометр "Альфа" – механическое вычислительное устройство
ЗАДАЧА ИП-10 «Аэростат»
Доказать теорему методом резолюции :
(Док-во прямым методом - неясно )
П1 - Все летательные аппараты, которые тяжелее воздуха, имеют
двигатель или крылья
П2 - Аэростат – летательный аппарат
П3 - Аэростат не имеет ни двигателя, ни крыльев
(не имеет двигателя и не имеет крыльев)
..............................................................................................
Т: Следовательно, аэростат не тяжелее воздуха
ЗАДАЧА ИП-11 (На основе ИП-3 - МЭИ - ИП/17 с. 35)
Доказать теорему методом резолюции
- Каждый врач – ответственный человек
- Каждый, кто является ответственным и знающим, заслужит признание
людей.
- Смирнов – врач и знающий человек.
Следовательно, Смирнов заслужит признание людей
ЗАДАЧА ИП-4 («Сберкасса») МЭИ - ИП/ 2 с. 34)
Доказать теорему методом резолюции:
- Каждый, кто хранит деньги в сбербанке, получает проценты.
Следовательно, если не начисляются проценты, то никто не хранит
деньги в сбербанке.
ЗАДАЧА ИП-5а («Шахматисты и доминошники » (МЭИ - ИП/ 23 с. 35) -
исключение квантора "
Доказать теорему методом резолюции:
- Все, кто живет в доме № 5, заядлые шахматисты.
- Все, кто живет на соседней улице, не увлекаются шахматами..
- Все, кто НЕ живет в доме № 5,доминошники..
Следовательно, все, кто живет на соседней улице, - доминошники.
ЗАДАЧА ИП-5б - Вариант Задачи 5 - исключение квантора "
- Все, кто живет в поселке "Таежный", заядлые охотники.
- Все, кто живет в г. Приозерный, не увлекаются охотой.
- Все, кто НЕ живет в поселке "Таежный", рыбаки.
Следовательно, все, кто живет в г. Приозерный, - рыбаки.
Характеристики решённой задачи
Предмет
Учебное заведение
МТУСИПрограммы
Просмотров
1
Размер
207,5 Kb
Список файлов
Решения задач по ЛОГИКЕ (2008).doc
![Картинка-подпись](https://s.studizba.com/z.php?f=/uploads/fotos/podpt_70324_53250.jpg&w=1632&h=400&t=1")
Спасибо за покупку! Я буду очень рад, если поставишь справедливую оценку купленному файлу
Jembo
Вчера в 14:16
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
