English: This from many of us is trivial negation alpha implies alpha is a axiom in Frege system essentially and here one rule of inference which is modus ponens, which we are familiar with this rule here.
Telugu: మనలో చాలా మంది నుండి ఇది అల్పమైన నిరాకరణ α అంటే α అనేది ఫ్రీజ్ వ్యవస్థలో ఒక సిద్ధాంతం అని సూచిస్తుంది మరియు ఇక్కడ మోడస్ పోనెన్స్ అనే ఇన్ఫెరెన్స్ యొక్క ఒక నియమం, ఇక్కడ ఈ నియమం మనకు బాగా తెలుసు.