English: So, if you recall we had this notions of soundness we say that a logical system is sound which says that if s in other words if you can derive a formula alpha from a given set of sentences then if their logic system is sound.
Telugu: కాబట్టి, మనకు ఈ శబ్ద భావనలు ఉన్నాయని మీరు గుర్తుచేసుకుంటే, లాజికల్ వ్యవస్థ ధ్వని అని మనముచెప్తాము, ఇతర మాటలలో చెప్పాలంటే, మీరు ఇచ్చిన వాక్యాల నుండి ఫార్ములా α ను పొందగలిగితే, అప్పుడు వారి లాజిక్ వ్యవస్థ ధ్వనిగా ఉంటే.