Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
SABC-правильная пирамида,ВS=12см, <SВD=60гр.Пирамида правильная,значит в основании лежит правильный треугольник АВС.Обозначим сторону треугольника за а.Найдем высоту этого треугольника BD. BD=ABsin60=a√3/2. OВ=2/3BD=2/3*a√3/2=a√3/3=SBcos60= =12*1/2=6⇒а=6√3см Sосн=1/2а²sin60=1/2*108*√3/2=27√3см² Найдем высоту боковой грани SD из прямоугольного треугольника SOD SO=SBsin60=12*√3/2=6√3см,DO=1/3BD=1/3*6√3*√3/2=3см SD=√SO²+DO²=√108+9=√117=3√13 Sбок=3*1/2*АС*SD=3*1/2*6√3*3√13=27√39см² Sпол=Sосн+Sбок=27√3+27√39=27(√3+√13)cм²
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
=12*1/2=6⇒а=6√3см
Sосн=1/2а²sin60=1/2*108*√3/2=27√3см²
Найдем высоту боковой грани SD из прямоугольного треугольника SOD
SO=SBsin60=12*√3/2=6√3см,DO=1/3BD=1/3*6√3*√3/2=3см
SD=√SO²+DO²=√108+9=√117=3√13
Sбок=3*1/2*АС*SD=3*1/2*6√3*3√13=27√39см²
Sпол=Sосн+Sбок=27√3+27√39=27(√3+√13)cм²