Logique monadique du premier ordre
Sign in to saveAlso known as monadic first-order logic
fragment of first-order logic
Wikidata facts
- Instance of
- formula
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Article · Français
En logique mathématique, la logique monadique du premier ordre est le fragment syntaxique de la logique du premier ordre où il n'y a que des prédicats unaires. Les syllogismes usuels, comme ceux issus de la Logique de Port-Royal relèvent de cette logique partielle.
Abstract from DBpedia / Wikipedia · CC BY-SA