Cтраница 4
Наиболее ценным выводом из этого анализа для практики является установление зависимости между общим количеством жидкости, которая отводится канавой, и снижением уровня свободной поверхности со стороны ее верхнего по течению края. Найденная зависимость показывает, что та часть первоначальной водонасыщенности песчаника, которая отводится канавой, равняется отношению величины снижения уровня свободной поверхности у канавы к мощности ненарушенного слоя водо-насыщенного песчаника [ уравнение ( 8), гл. Этот вывод противоположен тому, который дают предшествующие формулы, которые включали в себя также ширину канавы и глубину воды в ней. [46]
Аксиома это правильная формула, которая полагается истинной по определению, например две точки могут лежать на одной и только на одной прямой. Из совокупности аксиом с помощью правил умозаключения, или законов формальной логики, могут быть выведены новые правильные истинные формулы. Кроме того, новые правильные ( истинные) формулы могут быть выведены из ранее полученных правильных формул. Доказательство есть последовательность правильных формул, в которой каждая формула ( или строка доказательства ] либо вытекает из предшествующих формул на основании некоторого правила умозаключения, либо сама есть аксиома или ранее доказанная формула. [47]