NTA-NET (UGC-NET) Computer Science & Applications (87) Discrete Mathematics-Refutation, Resolution, Refinements to Resolution Study Material (Page 1 of 3)
Choose Programs:
⏳ 🎯 Online Tests (4 Tests [100 questions each]): NTA Pattern, Analytics & Explanations
Rs. 800.00 -OR-
3 Year Validity (Multiple Devices)
Sample TestsDetailsSee Demo
🎓 Study Material (2083 Notes): 2024-2025 Syllabus
Rs. 1250.00 -OR-
3 Year Validity (Multiple Devices)
Topic-wise Notes & SampleDetails
🎯 2699 MCQs (& PYQs) with Full Explanations (2024-2025 Exam)
Rs. 600.00 -OR-
3 Year Validity (Multiple Devices)
CoverageDetailsSample Explanation
Help me Choose & Register (Watch Video) Already Subscribed?
Resolution: Resolution Rule, What Steps Do We Follow for Resolution
Resolution
It is a powerful rule of inference for Propositional Logic. Using Propositional Resolution, it is possible to build a theorem prover that is sound and complete for all of Propositional Logic. Further, the search space using propositional resolution is much smaller than for standard propositional logic.
- More technically, Resolution is a rule of inference leading to a refutation theorem-proving technique for sentences in propositional logic and first-order logic. In other words, iteratively applying the resolution rule in a suitable way allows for telling whether a propositional formula is satisfiable and for proving that a formula is satisfiable.
Resolution Rule
In propositional l…
… (422 more equations, 36 figures) …
Subscribe (by clicking here) to view full notes and track progress.
Refutation: Who Uses this Mechanism
Refutation
Just like the dictionary meaning, here too the word “refute” would mean to disprove. When the resolution process is used to prove inconsistency, it is called as refutation. The binary tree that we have shown above is also used showing refutation in resolution. The purpose of refutation, the binary tree must result in the empty clause. Such a depiction is called as a refutation tree.
- In the “leaf node” , the presence of an empty clause means inconsistency, thus refutation
- In fact,…
… (508 more words, 53 figures) …
Subscribe (by clicking here) to view full notes and track progress.