English: Now, there are other kinds of rule of inference which are based on tautoలాజికల్ equivalences and they give rise to rules of substitution.
Telugu: ఇప్పుడు, ఇతర రకాలైన ఇన్ఫెరెన్స్ నియమాలు ఉన్నాయి, ఇవి టాటోలాజికల్ సమానత్వాలపై ఆధారపడి ఉంటాయి మరియు అవి ప్రత్యామ్నాయ నియమాలకు దారితీస్తాయి.