logique du second ordre
Sign in to saveAlso known as second-order predicate logic
étend celle du premier ordre par l'ajout de variables relationnelles, qui peuvent donc être quantifiées
Wikidata facts
- Subclass of
- higher-order logic
- Image
- Kindl-Treppe Aug2021d.jpg
Show 1 more fact
- studied by
- mathematics
Sources (3)
via Wikidata · CC0