Доказать выводимость секвенции

[uuxy]

Задание: Доказать, что если выводима секвенция $A_1{}, ... , A_n \vdash C $ и P - переменная, то выводима формула $A_1{(P \setminus B)}, ... , A_n{(P \setminus B)} \vdash C $ где $P \setminus B $ – замена P на B.

Правила такие: topic16290.html

Здесь подразумевается, что $A_1{}, ... , A_n \vdash C $ то же, что и $A_1{(P)}, ... , A_n{(P)} \vdash C $? Тогда просто использовать n раз правила (а) и (б)?

Объясните пожалуйста, что значит "замена Р на В"?