English: There, I am using an additional symbol which stands for derives or something like that which is and extra logical symbol in sense it is not a part of language that I am using, but this is a sentence in my logic and what we are saying now is that rule of inference is valid.
Telugu: అక్కడ, నేను ఉత్పన్నమయ్యే అదనపు చిహ్నాన్ని ఉపయోగిస్తున్నాను లేదా అలాంటిది మరియు అదనపు లాజికల్ చిహ్నం అంటే నేను ఉపయోగిస్తున్న భాష యొక్క భాగం కాదు, కానీ ఇది నా లాజిక్ లో ఒక వాక్యం మరియు మనం ఇప్పుడు ఏమి చెబుతున్నాము ఇన్ఫెరెన్స్ నియమం చెల్లుతుంది.