English: So, that is so the resolution method is a sound and complete proof procedure for the case of proportional logic is it to introduced in 1965.
Telugu: కాబట్టి, రిజల్యూషన్ పద్ధతి 1965 లో ప్రవేశపెట్టబడిన ప్రపోర్షనల్ లాజిక్(proportional logic) విషయంలో ధ్వని మరియు పూర్తి రుజువు విధానం.