Отрицание без ловушек
Операция НЕ меняет логическое значение на противоположное.
В этом занятии
- Самостоятельно решить задачу по теме «Отрицание без ловушек» и объяснить проверку результата.
- Для пяти условий вида «не меньше», «больше», «равно» составь точные отрицания и проверь граничное значение.
Пригодится: informatics8-logic-statements
Разберёмся перед практикой+
Отрицание без ловушек
Операция НЕ меняет логическое значение на противоположное. Отрицание утверждения должно охватывать все случаи, где исходное ложно. Поэтому отрицание x>5 — это x≤5, а не только x<5: равенство тоже нужно учитывать.
Двойное отрицание возвращает исходное логическое значение. В сложных фразах сначала выдели утверждение целиком, а затем отрицай его. Не заменяй точное отрицание приблизительным бытовым антонимом, который пропускает часть возможных случаев.
НЕ «в комнате больше 3 человек» означает «в комнате не больше 3 человек».
- Выдели исходное утверждение.
- Включи все случаи его ложности.
Открываем цифровую мастерскую…
Попробуй самостоятельно
Запиши рассуждения в черновик или сделай построение на бумаге. Эти задания для самостоятельной работы: автоматической проверки и XP за них пока нет.
- Для пяти условий вида «не меньше», «больше», «равно» составь точные отрицания и проверь граничное значение.
- Сначала предположи результат, затем проверь и объясни, что изменилось.
Источники и дальнейшее чтение
Материал изложен своими словами. Здесь можно проверить научные основания и подробнее изучить тему; часть источников — на английском.
Читай и разбирай пример в своём темпе. К практике можно перейти, когда будешь готов.