Definition talk:Natural Deduction/Proof Rule