English: So here first of all we borrow everything we do in proposition logic which means we define things like alpha and beta alpha implies beta and so on.
Telugu: కాబట్టి ఇక్కడ మొదట మనం ప్రాపోసిషనల్ లాజిక్ లో (propositional logic) మనం చేసే ప్రతిదాన్ని అరువుగా తీసుకుంటాము అంటే α(alpha) మరియు β(beta) α🡪 β వంటి వాటిని మనము నిర్వచించాము.