English: Because we are really interested to use logic as a mechanism to compute in coats true statements to arrive with true statements to arrive with true statements through a synthetic process essentially.
Telugu: ఎందుకంటే సింథటిక్ ప్రక్రియ ద్వారా నిజమైన స్టేట్‌మెంట్‌లతో రావడానికి కోట్స్ ట్రూ స్టేట్‌మెంట్స్‌లో (coats true statements) గణించడానికి లాజిక్‌ను ఒక యంత్రాంగాన్ని ఉపయోగించడానికి మాకు నిజంగా ఆసక్తి ఉంది.