Ordered logic

Redirect to:

Higher-order logic#Quantification scope

This page is a redirect. The following categories are used to track and monitor this redirect:

To a section: This is a redirect from a topic that does not have its own page to a section of a page on the subject. For redirects to embedded anchors on a page, use {{R to anchor}} instead.

From an ambiguous term: This is a redirect from an ambiguous page name to a page or list that disambiguates it. These redirects are pointed to by links that should always be disambiguated. Therefore, this template should never appear on a page that has "(disambiguation)" in its title – in that case use {{R to disambiguation page}} instead.

When appropriate, protection levels are automatically sensed, described and categorized.