English: One of the kind of proof that we did in the last class is called natural deduction which says you take a rule of inference applied to some premises and add a new one to the set and then again take another rule and apply it and so on.
Telugu: చివరి తరగతిలో మనము చేసిన ఒక రకమైన రుజువును సహజ మినహాయింపు అని పిలుస్తారు, ఇది మీరు కొన్ని ప్రాంగణాలకు వర్తించే ఇన్ఫెరెన్స్ నియమాన్ని తీసుకొని, సెట్‌కు క్రొత్తదాన్ని జోడించి, ఆపై మళ్ళీ మరొక నియమాన్ని తీసుకొని దానిని వర్తింపజేయండి.