Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Поделитесь своими знаниями, ответьте на вопрос:
В треугольнике ABC угол C равен 90°, AC=8, AB=40. Найдите sinB. ответ запишите в виде десятичной дроби.
Синусом острого угла называют отношение противолежащего катета к гипотенузе.
Следовательно, sinB = AC/AB
8/40 = 0,2