English: So, we can see that is just 1 example of the resolution rule been applied or if you look at says P implies Q and not Q implies not P. And you can see this is again not P or Q and not Q and not P. So, again in this form when you replace P implies Q with not P or Q you can see it is a same resolution rule being applied take a literal from here Q take the negation from other 1 and cancel that and whatever remains is that.
Telugu: కాబట్టి, మళ్ళీ ఈ రూపంలో మీరు P → Q ని ¬PVQ గా మీరు చూడవచ్చు, ఇది అదే రిజల్యూషన్ రూల్(resolution rule) వర్తింపజేయడం ఇక్కడ నుండి అక్షరాలా తీసుకోండి Q ఇతర ఒకటి నుండి తిరస్కరణను తీసుకోండి మరియు దానిని రద్దు చేయండి మరియు మిగిలి ఉన్నది అదే.