monadic predicate logic
nounDefinitions
The fragment of predicate logic in which all predicate letters are monadic (that is, they…
The fragment of predicate logic in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters.
The neighborhood
Vish — recursive loop
No curated loop yet for monadic predicate logic. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA