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