Тогда правило подстановка схематически запишется так

.

Читается эта запись следующим образом: “Если формула доказуема, то доказуема и формула ”.

2. Правило заключения (ПЗ – modus ponens)

Если формулы и доказуемы в исчислении высказываний, то формула также доказуема. Схематическая запись этого правила имеет вид