2.2.3 Predicate Logic

In predicate logic, statements (which are called predicates) can be expressed with variables that can be quantified (e.g. “for all values of $x$ …”). Event-B uses predicate logic with the following features: