English: And looks for implications of this kind alpha implies beta so basically it is using mod modus ponens in a slightly different form.
Telugu: మరియు ఈ రకమైన α యొక్క ఇoప్లికేషన్ కోసం చూస్తుంది β ను సూచిస్తుంది కాబట్టి ప్రాథమికంగా ఇది కొద్దిగా భిన్నమైన రూపంలో మోడ్ మోడస్ పోనెన్ల(mod modus ponens)ను ఉపయోగిస్తోంది.