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