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