Symbolic logic#Symbolic logic

Redirect to:

Logic#Formal logic

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 a merge: This is a redirect from a page that was merged into another page. This redirect was kept in order to preserve the edit history of this page after its content was merged into the content of the target page. Please do not remove the tag that generates this text (unless the need to recreate content on this page has been demonstrated) or delete this page.
- For redirects with substantive page histories that did not result from page merges use {{R with history}} instead.

From an avoided double redirect: This is a redirect from an alternative title or related topic of Formal logicFormal logic, another redirect to the same title. Because double redirects are disallowed, both pages currently point to Logic#Formal logic.
- If Formal logicFormal logic is retargeted or is expanded into a separate article, template, or other project page, this redirect will be recategorized to be updated.

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