Practice Understanding The Resolution Rule (5.3) - 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.
Define the resolution rule in your own words.
Show hintHide hint
Think about how combining clauses might simplify expressions.
Question 2.
What does a 'valid argument form' imply?
Show hintHide hint
Focus on the relationship between premises and conclusion.
3Question 3.
What is the resolution rule?
- A way to write logical expressions
- A mechanism to derive new clauses from existing ones
- A method of simplifying single propositions
Show hintHide hint
Focus on clause interactions.
4Question 4.
True or False: A valid argument form always leads to a true conclusion.
- True
- False
Show hintHide hint
Consider what 'valid' means in this context.
Question 5.
Given the clauses A ∨ B, ¬A ∨ C, and ¬B ∨ ¬C, prove whether C can be concluded using the resolution rule.
Show hintHide hint
Focus on systematically eliminating possibilities.
Question 6.
Construct a resolution tree for the clauses: (P ∨ Q), (¬Q), and (R ∨ ¬P). How do these relate to proving the validity of a conclusion?
Show hintHide hint
Ensure to apply the resolution rule step by step across clauses.

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