Predicate logic

Redirect to:

First-order logic

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

From a synonym: This is a redirect from a semantic synonym of the target page title.
- For example: automobilecar
- This template should not be used to tag redirects that are taxonomic synonyms. For taxonomic synonyms use {{R from alternative scientific name}} instead.

From a cross-project redirect: This is a redirect from a title associated with an item on Wikidata. The Wikidata item associated with this page is predicate logic (Q35148).
- Use this template only on hard redirects – for soft redirects use {{Soft redirect with Wikidata item}}.

From a printworthy page title: This is a redirect from a title that would be helpful in a printed or CD/DVD version of Wikipedia. See Wikipedia:Printability and Version 1.0 Editorial Team for more information.

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