Cтраница 1
Правила вывода в новом исчислении сохранены те же, что и в расширенном исчислении предикатов. [1]
Правила вывода ( И, 12 и 15) также приводят к тождественно истинным формулам при условии тождественной истинности их посылок. Тождественная истинность посылки С Р ( х) может иметь место лишь в двух случаях: либо, когда высказывание С ложно, либо когда высказывание Р ( х) всегда истинно. [2]
Правила вывода должны быть заданы так, чтобы на любых исходных данных обеспечить правильность логических заключений. Алфавит и аксиоматика должны быть заданы так, чтобы гарантированно обеспечить осмысленность ( семантику) получаемых заключений и промежуточных следствий. Таким образом, основное различие в логических теориях, представленных на рис. 12, а, состоит в выборе аксиом и определении правил вывода. Далее мы последовательно рассмотрим аксиоматику и правила вывода логических моделей. [3]
Правила вывода постулируют возможность замены одного фрагмента на другой при выполнении некоторых условий, содержащихся в посылке данного правила вывода. [4]
Правила вывода играют роль индуктивных определений, позволяющих строить ( выводить) новые формальные конструкции по заданным, сохраняя при этом нужные свойства. [5]
Правила вывода следующие: правило подстановки R1 с одной посылкой и правило замены R2 с двумя посылками. [6]
Правила вывода всегда предполагаются данными. [7]
Правила вывода являются правилами подстановки и отделения для принимаемых и отбрасываемых выражений. [8]
Правила вывода для / - зависимостей были предложены К. [9]
Правила вывода формулы для равномерного кругового движения твердого тела остаются теми же, что и для равномерного движения точки. [10]
Правила вывода формулы для равномерного вращения твердого тела остаются теми же, что и для равномерного движения точки. [11]
Построенные правила вывода позволяют сблизить аксиоматику исчисления высказываний с правилами равносильных преобразований логических формул. [12]
Правила вывода формулы для равномерного кругового движения твердого тела остаются теми же, что и для равномерного движения точки. [13]
Правила вывода формулы для равномерного вращения твердого тела остаются теми же, что и для равномерного движения точки. [14]
Правила вывода системы делятся на следующие группы. [15]