English: So, we are saying the substitution is a function which when you applied to any formula, then it replaces some occurrences of variables in that formula with other occurrences essentially.
Telugu: ప్రత్యామ్నాయం ఒక ఫంక్షన్ అని మనము చెప్తున్నాము, మీరు ఏదైనా ఫార్ములాకు దరఖాస్తు చేసినప్పుడు, ఆ ఫార్ములాలోని వేరియబుల్స్ యొక్క కొన్ని సంఘటనలను ఇతర సంఘటనలతో భర్తీ చేస్తుంది.