English: It essentially they just add put enough rules of inference which will work, but as a motivator for this method say some other example we have given a simple formula S and you are asked to derive P or not T So, you must distinguish between this in tactic process of deriving formulas as suppose to the semantic process of looking at the truth value.
Telugu: ఇది తప్పనిసరిగా అవి పని చేసే ఇన్ఫెరెన్స్ (inference) యొక్క తగినంత నియమాలను జోడిస్తాయి, కానీ ఈ పద్ధతికి ప్రేరణగా మనము ఒక సాధారణ ఫార్ములా S ను ఇచ్చాము మరియు మీరు P ను తీసుకోమని అడిగారు లేదా మనము ఉత్పన్నం చేయమని అడిగారు.