English: And since an lot of theorem proving work is based essentially on the resolution method essentially it is most popular way of proving theorems, but so far we have seen the proportional logic.
Telugu: మరియు పనిని నిరూపించే చాలా సిద్ధాంతం తప్పనిసరిగా తీర్మానం పద్ధతిపై ఆధారపడి ఉంటుంది కాబట్టి ఇది చాలా ప్రజాదరణ పొందిన మార్గం సిద్ధాంతాలను రుజువు చేస్తోంది, కాని ఇప్పటివరకు మనము ప్రపోర్షనల్ లాజిక్ చూశాము.