2. Использование логики для
формулирования высказываний
«Если на улице идёт дождь, то надо взять с собой зонт,
либо остаться дома».
1. Выделяют в словесной постановке задачи все простые
переменные высказывания, которые выражают только одну
законченную мысль, не делимую на более мелкие смысловые
фрагменты без потери их смысла. Все простые высказывания
принимают в качестве логических переменных.
X= «на улице идѐт дождь»
Y= «надо взять с собой зонт»
Z= «(надо) остаться дома»
3. 2. Введенные на первом шаге логические переменные
соединяют между собой логическими связками, правильно
передающими смысл исходного словесного предложения.
При этом:
а) частицу «не» заменяют «отрицанием»;
б) союзы «и», «но» заменяют «умножением»;
в) союзы «или», «либо», выражение «хотя бы один»
заменяют «логическим сложением»;
г) сочетания «если…, то …», «следовательно» заменяют
«импликацией»;
д) сочетания и слова «необходимо и достаточно», «равно»,
«все равно что», «тождественно», «эквивалентно» заменяют
«эквивалентностью»,
е) словосочетание «либо…, либо…» имеет смысл
исключающего «или», заменяют связкой «сложение по
модулю 2».
x→(yVz)
4. Практические задания:
Ввести булевы высказывания-переменные и составить при
помощи логических связок формулы следующих составных
высказываний:
1. «Если в задаче ход решения неправильный или получен
неверный ответ, то задача не засчитывается».
2. «Если Миша получит в четверти оценку «пять» по
математике, то ему подарят новую компьютерную игру, если
«четыре», то отпустят с другом в кино, иначе запретят играть
в компьютерные игры в течение месяца».
3. «Под обработкой понимают изменение формы
представления информации либо выполнение на основании ее
использования каких-либо действий».
4. «Информация полна, если ее достаточно для понимания
изучаемого вопроса и принятия соответствующих решений».
5. Использованные материалы:
• Гданский Н.И. Информатика. Профильный уровень:
практикум для 10-11 классов : в 2 ч. Ч. 1/ Н.И. Гданский,
А.В. Карпов. – М. : БИНОМ. Лаборатория знаний, 2012.