Slide 1 1 Predicates and quantifiers Chapter 8 Formal Specification using Z Slide 2 2 Predicates A predicate is a logical statement that depends on a value or values. When…
