English: So, in the next class, when you meet on Wednesday we will look at of logic and we will look at all these proof methods in the context of first order logic plus some extra rules.
Telugu: కాబట్టి, తరువాతి తరగతి(class)లో, మీరు బుధవారం కలిసినప్పుడు మనము లాజిక్ పరిశీలిస్తాము మరియు మొదటి ఆర్డర్ లాజిక్ మరియు కొన్ని అదనపు నియమాల సందర్భంలో ఈ ప్రూఫ్ పద్ధతులన్నింటినీ పరిశీలిస్తాము.