English: But before we come to formulas so want to define this set F of formulas before that we define a set A of atomic formulas.
Telugu: కానీ మనము సూత్రాలకు(formulas) రాకముందు ఈ సూత్రాల F ని నిర్వచించాలనుకుంటున్నాము, దానికి ముందు మనము అటామిక్ ఫార్ములాస్ ల (atomic formulas) సమితిని నిర్వచించాము.