Cтраница 4
Геделя теоремы, о полноте для любой формулы, к-рая логически следует из аксиом данной теории и нек-рых гипотез Г, существует формальный вывод такой формулы из Г в данной теории. [46]
Изменение значения любой переменной, коррекция любой формулы означает, что все расчеты, зависящие от этой величины, необходимо проделать заново. Такая необходимость возникает при выборе подходящих значений параметров или условий, поиске оптимального варианта, исследовании зависимости результата от начальных условий. Электронный документ, подготовленный в программе MathCad, готов к подобной ситуации. При изменении какой-либо формулы программа автоматически производит необходимые вычисления, обновляя изменившиеся значения и графики. [47]
Формально следовало бы сказать: для любой формулы с параметрами и любой оценки, при которой все параметры принимают значения в М, истинность этой формулы в М на этой оценке равносильна истинности той же формулы в М на той же оценке. [48]
С ее помощью можно индивидуально отформатировать любую формулу или текстовый блок, задав гарнитуру и размер шрифта, а также полужирное, курсивное или подчеркнутое начертание символов. [49]
Последовательное применение указанных выше операций к любой формуле ( операцию отрицания реализует каждый АЭ на нулевом выходе) позволяет строить АС для произвольной формулы. [50]
Выбираем структуры возможных миров, для которых любая формула из А подтверждается во всех мирах. [51]