Propositional function
= Propositional function
{wiki=Propositional_function}
A propositional function, also known as a predicate, is a mathematical expression that contains one or more variables and becomes a proposition when the variables are replaced with specific values. In other words, it is a statement that can be true or false depending on the values assigned to its variables. For example, consider the propositional function \\( P(x) \\) defined as “\\( x \\) is an even number.