Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
y = 2sinx + 1
Объяснение:
На рисунке изображен график функции y = 2sinx + 1
График функции y = sinx сдвинут относительно оси Y на +1 единицу, коэффициент растяжения вдоль оси Y = 2.
Свойства функции y = 2sinx + 1.
Функция y = 2sinx + 1 периодическая, период T = 2π
Ось Y пересечена в т.(0; 1 ):
x = 0; y = 2*sin0 + 1 = 2 * 0 + 1 = 1
Нули функции:
y = 0; 2sinx+1 = 0; sinx = -1/2
x₁ = arcsin(-1/2) + 2πn = 7π/6 + 2πn; n∈Z
x₂ = π - arcsin(-1/2) + 2πn = π - 7π/6 + 2πn = -π/6 + 2πn; n∈Z
Максимальное значение функции y = 2 * 1 + 1 = 3 (т.к. максимальное значение функции sinx = 1)
Минимальное значение функции y = 2 *(-1) + 1 = -2 + 1 = -1 (т.к. минимальное значение функции sinx = -1).
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.