Cтраница 1
Правило вывода в грамматике назовем заключительным, если в его правую часть входят только терминалы. Построить такой вывод заданного терминального слова в удлиняющей грамматике, в котором заключительные правила применяются только после всех незаключительных. [1]
Правило вывода ( D -) подобрано как раз таким образом, чтобы это определение согласовалось с обычным. [2]
Правило вывода рассматривается всегда вместе со своим названием. [3]
Правилами вывода являются обычные правила вывода классического исчисления предложений. [4]
Правилами вывода этого исчисления являются правила вывода ИП. Выводимость, а также другие понятия, определяются аналогично соответствующим понятиям для ИП. [5]
Правилами вывода являются обычное правило отделения и правила подстановки на место пропозициональных и функториальных переменных. Для того чтобы показать на примере, как действуют эти правила, я выведу из аксиомы 51 закон тождества Срр. [6]
Правилами вывода в исчислении секвенций являются правила нашей таблицы. Каждое из этих правил объявляет выводимой нижнюю секвенцию, если выводимы все верхние. [7]
Это правило вывода называется правилом обобщения. [8]
Это правило вывода, добавленное к нашим схемам аксиом, дает аксиоматическую систему. Система остается адекватной, так как наше правило вывода сохраняет общезначимость. [9]
Второе правило вывода ( правило обобщения) управляет квантификацией. [10]
В правилах вывода над чертой записывается посылка, а под чертой утверждение. Буквой F обозначаются произвольные фрагменты, Л - пустые фрагменты; вместо конъюнкции в условиях ставится подразумеваемая точка. [11]
Это есть правило вывода, оно позволяет нам утверждать, что заключение доказано, если посылки истинны. Но оно ничего не говорит о том случае, когда посылки не истинны. Такой случай не имеет отношения к правилу вывода, так как очевидно, что вывод, основанный на ложных посылках, не может быть законным. Между тем аристотелевские силлогизмы являются не правилами вывода, а предложениями. Силлогизм ( 1) - это импликация, которая истинна для всех значений переменных М, N и X, а не только для тех значений, при которых посылки оказываются истинными. [12]
Вообще, правило вспомогательного вывода - это метаматематическая теорема, которая имеет одно или больше условий вида Д - Et, называемых вспомогательными выводами, и одно заключение вида Д Н Е, называемое результирующим выводом. Из каждого вспомогательного вывода одна или более исходных формул могут быть устранены. [13]
В логике правила вывода используются, чтобы выводить истинные предложения из других истинных предложений, что несколько отличается от применения этих правил в булевой алгебре. Эта алгебра позволяет манипулировать формулами независимо от их истинностных значений; возможность преобразования формулы в эквивалентную не связана с истинностными значениями ее компонент. Однако в процессе вывода предполагается истинность используемых формул. Такие формулы иногда называются утверждениями. [14]
В качестве правила вывода принимается: из Л и А - В непосредственно следует В. [15]