boolean

• Computer Science
• Logic

Predicate

A predicate is a statement or assertion that can be true or false. In logic, it's the part of a…