Practice Discrete Mathematics (5) - Resolution - Discrete Mathematics

Practise this section

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

6 sample questions

Question 1.
What is a clause?
Show hintHide hint
Think about how clauses are formed.
Question 2.
Define a literal in the context of logic.
Show hintHide hint
Remember the types of variables in logical expressions.
3Question 3.
What does the resolution rule allow us to do?
- Conclude from clauses
- Define literals
- Assign truth values
Show hintHide hint
Think of how we combine different statements in logic.
4Question 4.
True or False: An unsatisfiable set of clauses means they can all be true at the same time.
- True
- False
Show hintHide hint
Consider the definition of contradiction.
Question 5.
Construct a proof by resolution refutation for the premises P, ¬P ∨ Q, Q → R, and show that the argument is valid or invalid.
Show hintHide hint
Focus on how negating conclusions can lead to contradictions with premises.
Question 6.
Given clauses A ∨ B, ¬A, and C, derive the resolvent and conclude whether the set is satisfiable.
Show hintHide hint
Look for common literals to resolve.

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