Cтраница 1
Теорема дедукции, доказанная в предыдущей главе, распространяется и на расширенное исчисление предикатов. [1]
Теорема дедукции, которую мы формулировали в § 4 главы V для расширенного исчисления предикатов, остается справедливой и для ограниченной арифметики. [2]
Применив теорему дедукции, получим требуемую формулу. [3]
Для доказательства теоремы дедукции достаточно показать, что верны следующие утверждения. [4]
Для доказательства применим теорему дедукции. [5]
В логике предикатов большой интерес вызывает теорема дедукции. PrL может привести к неожиданным результатам. [6]
Теперь мы без труда установим справедливость теоремы дедукции. [7]
Для доказательства выводимости этой формулы применим теорему дедукции. [8]
Для любой выводимой в исчислении предикатов формулы теорема дедукции имеет место. [9]
В одну сторону п 1 раз применяем теорему дедукции. [10]
О))), чем и доказана теорема дедукции. [11]
Так как наша аксиоматическая система содержит правило Modus Ponens, верно утверждение, обратное теореме дедукции. [12]
Пусть 931 и 23i - 232 - выводимые из 51 формулы, для которых справедлива теорема дедукции. [13]
Мы сделали это потому, что не доказали справедливо сти правила силлогизма для понятия выводимости из данной формулы, которое мы ввели при доказательства теоремы дедукции. Однако и для выводимости в смысле теоремы дедукции это правило верно, и его доказательство можно провести в самом общем виде совершены так же, как оно фактически проведено выше для част ного случая. [14]
Вместо того, чтобы выводимые в исчислении высказываний формулы выводить из аксиом, применяя непосредственно правила вывода, мы изберем более краткий путь, доказав предварительно так называемую теорему дедукции. [15]