1 Answers
In mathematical logic, the rules of passage govern how quantifiers distribute over the basic logical connectives of first-order logic. The rules of passage govern the "passage" from any formula of first-order logic to the equivalent formula in prenex normal form, and vice versa.
4 views
Answered