Monadic predicate calculus (Q6897882)
Jump to navigation
Jump to search
No description defined
- monadic first-order logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Monadic predicate calculus |
No description defined |
|
Statements
![{\displaystyle P[M=m]={\binom {N+m}{m}}\left({\frac {1}{2}}\right)^{N+1+m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a77ade3e7949d8b9c30f2c72ceab9309f54809de)
Identifiers
1 reference
Sitelinks
Wikipedia(5 entries)
- enwiki Monadic predicate calculus
- frwiki Logique monadique du premier ordre
- ptwiki Lógica de segunda ordem monádica
- ukwiki Числення одномісних предикатів
- zhwiki 一元谓词演算