Discussion
Why are negations driven inward before skolemisation?
Answer: D
Since the negation of a universal is an existential, and the reverse, a negation left outside a quantifier would cause the wrong quantifiers to be skolemised. Driving negations to the atoms settles which quantifiers are existential before skolemisation is applied. Negations on literals are fine, function counts follow from the formula, and the size issue arises at the distribution step. An ordering constraint between steps of a procedure, arising from an interaction between them, must be respected or the result is silently wrong.
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