# Predicate

From CS2800 wiki

A predicate (or property) is a proposition that depends on one or more variables. For example, "x > 0" is a predicate. Plugging in a value for x gives a proposition (e.g. "1 > 0").

A predicate (or property) is a proposition that depends on one or more variables. For example, "x > 0" is a predicate. Plugging in a value for x gives a proposition (e.g. "1 > 0").

- This page was last edited on 17 February 2018, at 19:22.