Multiple choice

Resolution produces proofs by

  1. refutation

  2. matching

  3. substitution

  4. application
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

Resolution is a rule of inference used in automated theorem proving that works by showing that the negation of the goal leads to a contradiction, thus proving the goal by refutation.

Keep practicing — related questions