4. Дві сторони трикутника дорівнюють 3 см і 8 см. Якому найбільшому цілому числу сантиметрів може дорівнювати третя сторона?А. 12 смБ.11 смВ. 10 см• оnс​

Доказательство утверждения  проводится следующим образом. Сначала принимают предположение, что утверждение  неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .

В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.