Practice Example Of Resolution Tree (5.7) - Resolution - Discrete Mathematics

Practise this section

9 questions

Flashcard drill
3 cards from this section. Quick, good the night before a test.
Exercise
6 questions · about 4 min · pass mark 70%. Hints available.
Sign up to start the exercise
Quiz
3 questions · about 2 min · pass mark 70%. Hints available.
Sign up to start the quiz

6 sample questions

Question 1.
What is a resolvent?
Show hintHide hint
Think of the definition you learned earlier.
Question 2.
List the conditions needed to apply the resolution rule.
Show hintHide hint
What does 'positive' and 'negative' forms refer to?
3Question 3.
What do we call the new clause formed by applying the resolution rule?
- Compound Clause
- Resolvent
- Disjunction
Show hintHide hint
Remember the terminology used!
4Question 4.
True or False: The existence of an empty clause in your resolution tree indicates a valid argument.
- True
- False
Show hintHide hint
What does 'empty' represent in logic?
Question 5.
Using the initial premises {P → Q, ¬P, R → Q}, demonstrate whether R can be logically concluded using resolution. Provide a resolution tree.
Show hintHide hint
Follow the resolution sequence methodically and observe connections.
Question 6.
Explain how the properties of resolution and unsatisfiability could apply in real-world scenarios, like conflict resolution.
Show hintHide hint
Consider how arguments in discussions can mirror logical propositions.

5 more questions in this section. Enroll free to practise them all.