Статья 241

Свободная переменная варьируется в данном выводе из посылок относительно посылки, если имеются вхождения, и в этом выводе применяется правило обобщение правило Бернайса по переменной формуле, которая зависит от посылки.
Если можно построить вывод формулы из множества посылок, такой, что в нем ни одна переменная не варьируется относительно какой-нибудь посылки, будем писать. Если же в выводе имеет место варьирование переменных, то пишется.
Так, в приведенном выше примере вывода формулы из посылок ни одна переменная не варьируется, и мы можем записать.
Но, например, в выводе формулы из посылок переменная будет варьироваться, и в этом случае мы запишем.

переменная

переменная

В том случае, когда все посылки являются замкнутыми формулами, варьирования переменных не будет и вывод можно строить без всяких ограничений на применение правила обобщения и правил Бернайса.