Аннотация:В статье дается положительный ответ на вопрос о разрешимости проблемы разрешения для пропозициональной части релевантной системы RA, для чего применяется, по совету В.А. Смирнова, техника С. Крипке, использованная для импликативных систем с отрицанием в работе Н.Д. Белнапа и И.Р. Уоллеса.