English: So, we are more interested in the notion of entailment that somebody give us the set of premises let us call them s then we want to ask whether a given formula f is true or not essentially.
Telugu: కాబట్టి, ఎవరైనా మాకు ఆవరణల సెట్ ను ఇస్తారు అనే భావనపై మాకు ఎక్కువ ఆసక్తి ఉంది, అప్పుడు మేము ఇవ్వబడిన ఫార్ములా f నిజమా కాదా అని అడగాలనుకుంటున్నాము.