Practice Key Properties Of Resolution (5.8) - 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 we can combine two statements.
Question 2.
What does the empty clause represent?
Show hintHide hint
Consider what contradiction means in logic.
3Question 3.
What does the resolution rule allow us to do?
- Derive new clauses
- Create new propositions
- Extend existing clauses
Show hintHide hint
Focus on the main function of the resolution rule.
4Question 4.
If a set of clauses leads to the empty clause, what does it signify?
- True
- False
Show hintHide hint
Think about what an empty result implies.
Question 5.
Given clauses C1: (P ∨ Q) and C2: (¬P ∨ R), resolve these and provide the correct resolvent. Then explain why the notion of truth matters in determining the validity of the argument.
Show hintHide hint
Look closely at the common literals before resolving.
Question 6.
Construct a set of clauses that would lead to the empty clause. Then analyze what this implies regarding the arguments established.
Show hintHide hint
Think about how contradictions function in logic.

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