Поделитесь своими знаниями, ответьте на вопрос:
Масса пачки бумаги равна 14 кг. В ней содержится 551 лист(-а, -ов Вычисли массу одного листа бумаги. Масса одного листа бумаги равна кг. (Результат округляем до сотых, чтобы были две цифры после запятой).
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.