1. propositional (sentential) function
Wikipedia definition
2. Propositional functionA propositional function in logic, is a statement expressed in a way that would assume the value of true or false, except that within the statement is a variable (x) that is not defined or specified, which leaves the statement undetermined. Of course, x could also consist of several variables. As a mathematical function, A(x) or A(x1, x2, · · ·, xn), the propositional function is abstracted from predicates or propositional forms. As an example, let's imagine the predicate, "x is hot".
Read “Propositional function” on English Wikipedia
Read “命題関数” on Japanese Wikipedia
Read “Propositional function” on DBpedia


to talk about this word.