A logical expression that can be evaluated as True or False.