Rule of Assumption

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

Sequent Form
For structure-technical reasons, the rule of assumption is symbolised by the sequent:

In this form it is usually referred to as the Law of Identity.

Also see

 * Definition:Premise
 * Law of Identity