Практические задания. 1. Установить логическую структуру следующих предложений и записать их на языке логики высказываний: Если металл нагревается
1. Установить логическую структуру следующих предложений и записать их на языке логики высказываний:
- Если металл нагревается, он плавится.
- Неправда, что философские споры неразрешимы.
- Деньги - продукт стихийного развития товарных отношений, а не результат договоренности или какого-либо иного сознательного акта.
2. Записать логической формулой следующие высказывания:
а) если на улице дождь, то нужно взять с собой зонт или остаться дома;
б) если - прямоугольный и стороны - равны, то
3. Проверить истинность высказывания:
а), если,.
б), если,.
в), если,,.
4. Проверить истинность высказывания:
а) Чтобы завтра пойти на занятия, я должен встать рано. Если я сегодня пойду в кино, то лягу спать поздно. Если я лягу спать поздно, то встану поздно. Следовательно, либо я не пойду в кино, либо не пойду на занятия.
б) Я пойду либо в кино, либо в бассейн. Если я пойду в кино, то получу эстетическое удовольствие. Если я пойду в бассейн, то получу физическое удовольствие. Следовательно, если я получу физическое удовольствие, то не получу эстетического удовольствия.
5 . На вопрос: «Кто из трех студентов изучал дискретную математику?» получен верный ответ: «Если изучал первый, то изучал и третий, но неверно, что если изучал второй, то изучал и третий». Кто изучал дискретную математику?
6. Определите, кто из четырех студентов сдал экзамен, если известно:
если первый сдал, то и второй сдал;
если второй сдал, то третий сдал или первый не сдал;
если четвертый не сдал, то первый сдал, а третий не сдал;
если четвертый сдал, то и первый сдал.
Контрольные вопросы
1. Какие элементы входят язык логики?
2. Какие способы установления общезначимости формулы логики вы знаете?
Список литературы
1.Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика. — М.: Финансы и статистика, 2006. — 368 с.
| 2.Варпаховский Ф.Л. Элементы теории алгоритмов. - М., Просвещение, 1970. - 25 с. (МГЗПИ)
| 3.Гуц А.К. Математическая лоrика и теория алrоритмов. - Омск: Издательство Наследие. Диалог-Сибирь, 2003. - 108 с.
| 4.Босс В. Лекции по математике. Т. 6: От Диофанта до Тьюринга. - М.: КомКнига, 2006. - 208 с.
| 5.Босс В. Лекции по математике. Т. 10: Перебор и эффективные алгоритмы: Учебное пособие. — М.: Издательство ЛКИ, 2008. - 216 с.
|
Не нашли, что искали? Воспользуйтесь поиском:
|