Predicates

A predicate is a proposition that is true given certain preconditions. The number of preconditions in a predicate is called it’s parity.

Add formal notation