Propositional function

ID: 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.

New to topics? Read the docs here!