Rules of inference (2)

(Revision) Explain, using examples, what it is for i

a formula to be a substitution instance of a simpler formula

ii

a formula to be a substitution instance of a more complex formula

iii

an argument-form to be a substitution-instance of a simpler argument-form

iv

an argument-form to be a substitution-instance of a simpler argument-form.