Cтраница 2
Заметим, что, создавая инструмент для тождественных преобразований логических формул, исчисление играет еще одну роль, весьма важную саму по себе. Каждая аксиома, каждое правило гыьода опираются па некоторое свойство формул или функций, задаваемых формулами. Выполняя преобразование, описываемое аксиомой или правилом вывода, мы можем четко сознавать, какое свойство формулы пли функции использовано. Способность исчислений фиксировать, пли, как еще говорят, постулировать, формализовать те или иные свойства абстрактных объектов ( в данном случае - булевых функций) объясняет их центральное положение в математических методах рассуждения. [16]
А полностью определяются алгебраической структурой, вне каких бы то ни было метрических ( или топологических) рассмотрений. С другой стороны, Jim xn Ц1 /, очевидно, зависит от метрических свойств А. В этом состоит одно из замечательных свойств формулы спектрального радиуса: она устанавливает совпадение величии совершенно различного происхождения. [17]