Rule of Assumption/Proof Rule

Proof Rule
The rule of assumption is a valid deduction sequent in propositional logic.

As a proof rule it is expressed in the form:


 * An assumption $\phi$ may be introduced at any stage of an argument.

Also see

 * Definition:Premise
 * Law of Identity