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