Эквивалентная формула

Cтраница 1

Эквивалентные формулы (4.11) и ( 4.11) принято называть соответственно формулой условной вероятности и правилом умножения вероятностей. [1]

Пропозиционально эквивалентные формулы Ф и Ч 1 эквивалентны. [2]

Каковы три эквивалентные формулы средней гармонической простой и от чего зависит применение каждой из них. [3]

Каковы три эквивалентные формулы средней гармонической взвешенной и от чего зависит применение каждой из них. [4]

Таким образом получаем три эквивалентные формулы (2.69), (2.72) и (2.73) для второго вириального коэффициента газа, молекулы которого не имеют внутренних степеней свободы и взаимодействуют с центральными силами. Строго говоря эти формулы должны описывать лишь инертные газы, но они оказываются очень хорошим приближением для многих неполярных многоатомных газов. [5]

Для исчисления предикатов понятия эквивалентные формулы и дедуктивно эквивалентные не равнозначны. [6]

Во всех рационализированных системах эквивалентные формулы имеют очень сходный пид. Однако способ введения множителя 4it n определение единиц в системе - Джорджи MKS отличается от того способа, который принят в соответствующей классической системе, а именно, система строится таким образом, чтобы рационализация не влияла да наиболее распространенные практические единицы кулон и вольт. Это осуществляется путем введения мвожителя 4л в диэлектрическую и магнитную про-иицаемость. Поскольку во всех таблицах, в которых приводятся числовые значения электрических и магнитных свойств материалов, принято употреблять относительную-диэлектрическую проницаемость / f e / e, и относительную магнитную проницаемость ЛГт [ А / [ А, то часто в практических системах единиц предпочитают применять величины Ktv и KmV-v, где е и и. Если формула дана в одной какой-либо системе единиц, то ее всегда можно написать и в любой другой системе, выражая входящие в нее величины и требуемых единицах и подставляя их и формулу. Чтобы пояснить это, для примера выразим закон Кулона о силе взаимодействия друх зарядов в классической неранионализировавной системе CGS электростатических единиц. Физические величины, выраженные в единицах CuSE, мы будем обозначать буквами без индексов, а аналогичным величинам. [7]

Истинностная таблица ( Р - Q и ( - Р v Q. [8]

Нам нужен достаточный запас эквивалентных формул, чтобы проводить преобразования формул. [9]

Приведенный выше список пар эквивалентных формул 1 - 10Ь справедлив для логики предикатов, однако он может быть расширен с учетом действия кванторов. Пусть G - формула, содержащая свободную переменную х ( обозначение: G [ x ]); H - формула, не содержащая переменную х; Q и Q1 - кванторы всеобщности или существования. [10]

Тогда запрос определяем как класс эквивалентных формул. [11]

Поднимая здесь произвольно индексы, получим эквивалентные формулы. [12]

Замена подформулы на доказуемо эквивалентную дает доказуемо эквивалентную формулу. [13]

Действительно, пусть Fx и F2 - эквивалентные формулы. [14]

При преобразовании формул над одной системой функций в эквивалентные формулы над другой системой функций глубина формул изменяется линейно. [15]

Страницы: 1 2 3