alleryStart learning →Who developed the resolution principle for algorithmic theorem proving?
ACordell Green
BRobert Kowalski
CAllen Newell
DJohn Alan Robinson
Answer & Solution
Correct answer: D. John Alan Robinson
The resolution principle was an algorithmic method developed by John Alan Robinson.
Keep practising Problem Solving
Browse all Problem Solving questions for SSC CGL, or explore more Reasoning topics.
Related questions
All men are mortal and Socrates is a man. What is the valid conclusion?If the alarm rings the guard wakes; the guard did not wake. What follows?All rabbits have fur; some pets are rabbits. What follows?All pens are books; all books are bags. What follows?Which type of syllogism is really inductive, not truly deductive?Some A are B and some B are C. What follows about A and C?Which fallacy occurs when both premises of a syllogism are negative?Which fallacy arises when neither premise covers all of the middle term?