1) Если x^3 < 10, то (x+1)^3 > 20. Это верно при x = 2. 2^3 < 10, 3^3 > 20 2) Если x(x+1) > 10, то (x+1)(x+2) < 10. Это верно при x = -4 (-4)(-3) = 12 > 10; (-3)(-2) = 6 < 10 Но при x = 2 будет ложная посылка (2*3 > 10 - это ложно), из которой следует ложный вывод 3*4 < 10. Поэтому импликация верна. ответ x = 2 3) Если x(x+1)(x+2) > 25, то x < x-1 Это сложнее. x < x-1 - ложно при любом х. Импликация будет истинной, только если посылка ложная. x(x+1)(x+2) > 25 - должно быть ложно. Это при x = 2. x(x+1)(x+2) = 2*3*4 = 24.
1.Цикл с постусловием — цикл, в котором условие проверяется после выполнения тела цикла. Отсюда следует, что тело всегда выполняется хотя бы один раз. В языке Паскаль этот цикл реализует оператор repeat.. until ; в Си — do.
2 Виды циклов
Безусловные циклы
Цикл с предусловием
Цикл с постусловием
Цикл с выходом из середины
Цикл со счётчиком (или цикл для)
Совместный цикл
До выход из цикла
Пропуск итерации.
3.do… while — цикл с постусловием; for — параметрический цикл (цикл с заданным числом повторений).
4.Если заранее неизвестно число повторений цикла, то можно использовать цикл с постусловием. Сначала выполняется тело цикла, затем проверяется условие. Если оно ложно, то выполняется тело цикла. Если условие истинно, то цикл считается выполненным.
2^3 < 10, 3^3 > 20
2) Если x(x+1) > 10, то (x+1)(x+2) < 10. Это верно при x = -4
(-4)(-3) = 12 > 10; (-3)(-2) = 6 < 10
Но при x = 2 будет ложная посылка (2*3 > 10 - это ложно),
из которой следует ложный вывод 3*4 < 10.
Поэтому импликация верна. ответ x = 2
3) Если x(x+1)(x+2) > 25, то x < x-1
Это сложнее. x < x-1 - ложно при любом х.
Импликация будет истинной, только если посылка ложная.
x(x+1)(x+2) > 25 - должно быть ложно. Это при x = 2.
x(x+1)(x+2) = 2*3*4 = 24.
1.Цикл с постусловием — цикл, в котором условие проверяется после выполнения тела цикла. Отсюда следует, что тело всегда выполняется хотя бы один раз. В языке Паскаль этот цикл реализует оператор repeat.. until ; в Си — do.
2 Виды циклов
Безусловные циклы
Цикл с предусловием
Цикл с постусловием
Цикл с выходом из середины
Цикл со счётчиком (или цикл для)
Совместный цикл
До выход из цикла
Пропуск итерации.
3.do… while — цикл с постусловием; for — параметрический цикл (цикл с заданным числом повторений).
4.Если заранее неизвестно число повторений цикла, то можно использовать цикл с постусловием. Сначала выполняется тело цикла, затем проверяется условие. Если оно ложно, то выполняется тело цикла. Если условие истинно, то цикл считается выполненным.