Loading the lesson
Loading the lesson
Search AllRounder.ai
Search the courses, subjects, tracks, games and features, or jump straight to a page.
Search the courses, subjects, tracks, games and features, or jump straight to a page.
2 cards from this section. Quick, good the night before a test.
What is the resolution rule?
Remember how common literals work in clauses.
Define a tautology.
Think about logical statements that don't change in truth.
What does the resolution rule allow us to do?
Think about the mechanics of how clauses interact.
True or False: The conclusion of a valid argument must be a tautology.
Consider what valid means in terms of premises.
Given the clauses A: (p ∨ ¬q), B: (¬p ∨ r), and C: (¬r), demonstrate using resolution that q must be true.
Look for literals that can be paired effectively.
Construct a set of clauses that are satisfiable and then show how their resolution can lead to the conclusion being false.
Explore combinations of true and false assignments.
4 more questions in this section. Enroll free to practise them all.
Enroll free