predicate logic

1. REDIRECT First-order logic

{{Redirect category shell|

{{R with Wikidata item}}

{{R to related topic}}

}}

{{Authority control}}