Practice Lecture -05 (5.1) - 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 the resolution rule and how is it applied?
Show hintHide hint
Think about the process of cancellation.
Question 2.
Define what a resolvent is.
Show hintHide hint
It involves two original clauses.
3Question 3.
What does the resolution rule allow in logic?
- Only cancellation
- Deriving new conclusions from clauses
- Summarizing information
Show hintHide hint
Think about resolving two clauses.
4Question 4.
True or False: A resolvent contains a common literal.
- True
- False
Show hintHide hint
Recall the process of resolving clauses.
Question 5.
Given the clauses C1 = A ∨ B, C2 = ¬A ∨ C, and C3 = ¬C, can you apply resolution to derive the conclusion? Demonstrate your reasoning.
Show hintHide hint
Focus on resolving pairs step by step.
Question 6.
Demonstrate the proof by resolution refutation for premises: P → Q, Q → R, and the conclusion ¬R.
Show hintHide hint
What negation do you need to add?

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