Propositional functions, variables and predicates
Examples of propositional functions:
x is red x is even x is greater than y x+y=z
is red,
is even,
is greater than
,
+
=
---
A propositional function becomes a proposition (a true or false
statement) only after we assign values to all its variables.