English: You can add a rule of inference for any tautoలాజికల్ equivalence you can have a rule of substitution.
Telugu: మీరు ప్రత్యామ్నాయ నియమాన్ని కలిగి ఉన్న ఏదైనా టాటోలాజికల్ సమానత్వం కోసం మీరు ఇన్ఫెరెన్స్ నియమాన్ని జోడించవచ్చు.