Rules Of Inference Examples With Answers, Mathematical logic is often used for logical proofs.