Definition:Rules of Inference of Natural Deduction