Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Поделитесь своими знаниями, ответьте на вопрос:
Знайдіть площу рівнобедреного трикутника бічна сторона чкого 29 см, а висота, проведена до основи - 21 см
Обозначим этот треугольник АВС, с вершиной В, основанием АС и высотой ВН. Высота ВН делит ∆АВС на 2 одинаковых прямоугольных треугольников АВН и ВСН, так как треугольник равнобедренный; также ВН является в равнобедренном треугольнике ещё и медианой, поэтому высота ВН делит АС пополам и АН=НС. Рассмотрим один из них, к примеру ∆АВН. Боковая сторона АВ является в нём гипотенузой, а высота ВН - катетом. Найдём по теореме Пифагора катет АН. АН=29²-21²=√(841-441)=√400=20см
АН=НС=20см, тогда АС=20×2=40см
Основание АС=40см.
Теперь найдём площадь ∆АВС по формуле: ½ ×a×h, где h- высота, "а"- сторона, к которой проведена высота:
S= ½ × 40×21=420см²; S=420см²