Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Свойства и признаки равнобедренной трапеции - Трапеция является равнобедренной тогда и только тогда, когда углы при ее основании равны (диагонали равны) Трапеция Определение: Трапецией называется четырехугольник, у которого две противолежащие стороны параллельны, а две другие не параллельны. Параллельные стороны трапеции называются ее основаниями, а непараллельные стороны — боковыми сторонами. Отрезок, соединяющий середины боковых сторон, называется средней линией. Определение: Трапеция называется равнобедренной (или равнобокой), если ее боковые стороны равны. Определение: Трапеция, один из углов которой прямой, называется прямоугольной. Свойства трапеции: ее средняя линия параллельна основаниям и равна их полусумме; если трапеция равнобокая, то ее диагонали равны и углы при основании равны; Признаки трапеции: Четырёхугольник является трапецией, если его параллельные стороны не равны Формулы площади: a и b — основания; h — расстояние между ними; l — средняя линия. S = lh
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.