Redirect to:
- 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 propositional logic (Q16705128).
- Use this template only on hard redirects – for soft redirects use {{Soft redirect with Wikidata item}}.