Об инвариантных преобразованиях формул

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