Практические задания

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 с.

Практические занятия № 10-11

Тема программы: Формулы алгебры высказываний.

Выявление эквивалентных логических выражений и формул.

Цели работы:

1)     Обобщить теоретические знания по теме: «Эквивалентно-логические выражения и формулы», решить задачи.

2)     Рассмотреть алгоритмы решений заданий теме «Эквивалентно-логические выражения и формулы».

3) Формировать умение самоконтроля, рассудительность, терпение, самостоятельность.

Время выполнения: 2 часа.

Теоретические основы

Высказывание - это повествовательное предложение, про которое можно определенно сказать истинно оно или ложно (истина (логическая 1), ложь (логический 0)).

Логические операции - мыслительные действия, результатом которых является изменение содержания или объема понятий, а также образование новых понятий.

Логическое выражение - устное утверждение или запись, в которое, наряду с постоянными величинами, обязательно входят переменные величины (объекты). В зависимости от значений этих переменных величин (объектов) логическое выражение может принимать одно из двух возможных значений: истина (логическая 1) или ложь (логический 0).

Сложное логическое выражение - логическое выражение, состоящее из одного или нескольких простых логических выражений (или сложных логических выражений), соединенных с помощью логических операций.