Monadic predicate calculus
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
Also known as monadic first-order logic
fragment of first-order logic
via Wikidata · CC0