Cтраница 1
Любая формула, получающая данные из ячейки, называется зависимой. [1]
Любая формула, ю умюлпя данные из ячейки, называется зависимой. [2]
Любая формула эквивалентна некоторой ДНФ. [3]
Любая формула эквивалентна некоторой КНФ. [4]
Любая формула Ф исчисления высказываний эквивалентна формуле Т, которая не содержит символа импликации. [5]
Любая формула будет бесполезна, если в нее будут вводиться недостоверные или неполные данные. [6]
Любая формула представляет собой математическую модель явления или процесса. [7]
Любая формула переводима в некоторую предваренную формулу, у которой все входящие в нее кванторы стоят в начале, а области их действия простираются до конца этой формулы. [8]
Любая формула рассматриваемого нами вывода является либо равенством, либо экзистенциальной формулой, либо формулой, построенной из равенств и экзистенциальных формул при помощи связок исчисления высказываний. В последнем случае составные части формулы, из которых она построена при помощи указанных связок, по предложению Кальмара мы будем называть м о-лекулами этой формулы. Заметим, что экзистенциальная формула, фигурирующая в качестве составной части какой-либо другой формулы, только тогда является молекулой этой формулы, когда она не является частью никакой объемлющей ее экзистенциальной формулы. [9]
Любая формула интегрирования позволяет вычислить лишь приближенное значение интеграла. [10]
Любая формула интегрирования позволяет вычислить лишь приближенное значение интеграла. [11]
Любая формула исчисления высказываний может быть преобразована в нормальную форму с помощью следующего алгоритма. [12]
Любая формула произвольной сигнатуры доказуемо эквивалентна некоторой формуле той же сигнатуры, имеющей предваренную нормальную форму. [13]
Аналогично любая формула арифметической системы может интерпретироваться как выражающая некоторый предикат при обычном арифметическом значении символов. [14]
Поскольку любая формула без символов D & имеет один из разобранных видов, теорема доказана. [15]