Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Рассмотрим условие а)сумма двух его противоположных углов равна 94 градуса. То есть ∠А+∠С=94° а поскольку ∠А=∠С, значит ∠А=∠С=94°/2=47°.
∠А+∠В+∠С+∠Д=360° и ∠В=∠Д, значит 47°+∠В+47°+∠Д=360° ∠В+∠Д=360°-94° 2∠В=266° ∠В=∠Д=266°/2 ∠В=∠Д=133°
ответ: при условии а) ∠А=∠С=47° и ∠В=∠Д=133°.
Рассмотрим условие б)разность двух из них равна 70 градусов
Поскольку противоположные углы равны у параллелограмма, значит разность противоположных углов равна 0°. Выходит, что 70° это разность между двумя соседними углами, то есть ∠В-∠А=70°. Допустим, что ∠А=Х°, значит ∠А=∠С=Х° ∠В=∠Д=Х°+70°
∠А+∠В+∠С+∠Д=360° х+(х+70)+х+(х+70)=360° 4х+140°=360° 4х=220° х=220°/4 х=55° То есть ∠А=∠С=Х°=55° ∠В=∠Д=Х°+70°=55°+70°=125°
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.