English: So we are talking of FOL syntax now as in proposition logic there is the logical part which includes symbols like this.
Telugu: కాబట్టి మనము ఇప్పుడు ఫస్ట్ ఆర్డర్ లాజిక్ (First Order Logic) వాక్యనిర్మాణం గురించి మాట్లాడుతున్నాము, ప్రాపోసిషనల్ లాజిక్లో(propositional logic)లాజికల్ భాగం ఉంది, ఇందులో ఇలాంటి చిహ్నాలు ఉన్నాయి.