Practice Summary (5.11) - Resolution - Discrete Mathematics

Practise this section

8 questions

Flashcard drill
2 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
2 questions · about 1 min · pass mark 70%. Hints available.
Sign up to start the quiz

6 sample questions

Question 1.
Explain the resolution rule in your own words.
Show hintHide hint
Think about how contradictions can lead to simplifications.
Question 2.
What does the term resolvent refer to?
Show hintHide hint
Consider it the 'output' of the resolution process.
3Question 3.
What does the resolution rule allow us to do?
- Derive new conclusions
- Create contradictions
- Expand clauses
- None of the above
Show hintHide hint
Consider its purpose in logic.
4Question 4.
True or False: The resolvent is the combined outcome after resolving two clauses.
Show hintHide hint
Recall what happens when we resolve clauses.
Question 5.
Given the clauses C1: X ∨ Y, C2: ¬X ∨ Z, C3: ¬Z, construct a resolution tree and determine if C4: ¬Y can be concluded.
Show hintHide hint
Focus on all possible resolutions until you exhaust options.
Question 6.
Formulate a proof by resolution refutation for the premises: P → Q, Q → R and the conclusion ¬R.
Show hintHide hint
Be systematic; step through each resolution carefully.

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