Definition

A theoretical term in logic and formal systems, referring to an expression that evaluates to a True or False value; often used in discussions involving logical operators and boolean algebra.