Definition:Proof System/Rule of Inference