Predicate Logic

Predicate is a statement that contains variables and its truth depends on the value of the variables.

Common questions