Definition:Natural Deduction/Proof Rule