A statement in a computer program that evaluates an expression in order to arrive at a true or false answer.

1. To affirm or deny, in mathematical logic, one or more subjects.

2. A function of one or more variables which takes the values ``true'' or ``false.''Also known as logical function; propositional function.