Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Поделитесь своими знаниями, ответьте на вопрос:
уравнение сферы имеет вид (х-х0)^2+(y-y0)^2+(z-z0)^2=r^2
наше уравнение принимает вид (х-2)^2+(y-1)^2+(z+2)^2=9
2) v=4\3*pi*r^3; v=36pi