English: This is now a case professional calculus or professional logic a rule of infer some rule of inference and say that this set which is complete, which means all tautologies can be derived in this including this tautology which stands for this..
Telugu: ఇది ఇప్పుడు ఒక ప్రొఫెషనల్ కాలిక్యులస్ కేసు లేదా ప్రొఫెషనల్ లాజిక్(professional calculus or professional logic) ఒక నియమం యొక్క ఉహించి, ఈ సెట్ పూర్తయిందని చెప్తారు, అంటే ఈ టాటాలజీతో సహా అన్ని టాటాలజీలను పొందవచ్చు.