English: So, this is the predicate symbol and these are 2 arguments, which are terms and the terms are used constructed using the function symbols and the constant symbols here.
Telugu: (Refer Slide Time: 07:13) కాబట్టి, ఇది ప్రిడికేట్ సింబల్(predicate symbol) మరియు ఇవి రెండు ఆర్గ్యుమెంట్స్, ఇవి నిబంధనలు మరియు నిబంధనలు ఫంక్షన్ సింబల్స్ మరియు ఇక్కడ స్థిరమైన సింబల్స్ ఉపయోగించి నిర్మించబడ్డాయి.