Discussion
What is the set of support strategy?
Answer: C
Requiring that every step touch the negated goal or something derived from it prevents the prover from deriving irrelevant consequences of the premises, and it preserves completeness provided the premises alone are satisfiable. It is the most important of the classical strategies. The other options describe unrelated notions. A restriction that is both a large saving and provably harmless is worth adopting universally, which is what happened. Most errors here come from carrying a result across from a neighbouring case where it does not hold.
No comment is present. Be the first to comment.
Loading…
Post your comment
Please log in or register to post a comment.
Examination Categories
- SSC Exams
- Banking Exams
- Teaching Exams
- Civil Services Exams
- Railways Exams
- Engineering Recruitment Exams
- Defence Exams
- State Government Exams
- Police Exams
- Insurance Exams
- Nursing Exams
- Other Government Exams
- NRA CET
- PG Entrance Exams
- Campus Placement
- MBA Entrance Exams
- CUET and UG Entrance
- Judiciary Exams
- Regulatory Body Exams
- Software Development