Monadic predicate logic

Redirect to:

• Monadic predicate calculus