•Assertions take the
form of logical expressions, they evaluate
to either true or false.
•Examples
–Boolean variable or
constant
–An expression followed by a relational operator followed by an expression.
–A logical expression
followed by a logical operator followed by a
logical expression.
–
•