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