]
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
РА - перпендикуляр к площади параллелограмма АВСД. Укажите вид параллелограмма, если РВ перпендикулярен ВС. а) ромб, б) прямоугольник; в) квадрат.
Объяснение: РВ - наклонная. АВ - её проекция на плоскость АВСД. По т. о 3-х перпендикулярах если наклонная (РВ) перпендикулярна прямой (ВС) на плоскости, то её проекция на ту же плоскость перпендикулярна данной прямой. Следовательно, АВ⊥ВС, и угол АВС - прямой. Противоположные углы параллелограмма равны. ⇒ ∠Д=∠В=90°, поэтому из суммы углов четырехугольника ∠А+∠С=360°-2•90°=180°, и каждый из них равен 180°:2=90°.
Углы четырехугольника АВСД прямые. ⇒ АВСД - прямоугольник. Он может быть и квадратом. если его стороны будут равны.