In mathematical logic, a predicate variable is a predicate letter which functions as a "placeholder" for a relation (between terms), but which has not been specifically assigned any particular relation (or meaning). Common symbols for denoting predicate variables include capital roman letters such as P {\displaystyle P} , Q {\displaystyle Q} and R {\displaystyle R} , or lower case roman letters, e.g., x {\displaystyle x} .
In mathematical logic, a predicate variable is a predicate letter which functions as a "placeholder" for a relation (between terms), but which has not been specifically assigned any particular relation (or meaning). Common symbols for denoting predicate variables include capital roman letters such as P {\displaystyle P} , Q {\displaystyle Q} and R {\displaystyle R} , or lower case roman letters, e.g., x {\displaystyle x} .
Source: Wikipedia "Predicate variable" · CC BY-SA 4.0
Share this article: X · Bluesky