命题函数（Propositional Function）是逻辑学中的一个基本概念，它是一个可以接受一个或多个变量作为输入，并输出一个命题（即一个真或假的陈述）的函数。
具体来说，命题函数是一种特殊类型的函数，其定义域是所有可能的变量值的组合，值域是布尔值（即真或假）。命题函数通常用大写字母表示，如P(x, y)，其中x和y是变量。
以下是一些命题函数的例子：
1. P(x, y) = x > y：这个命题函数接受两个变量x和y作为输入，如果x大于y，则输出真（True），否则输出假（False）。
2. Q(x) = x是偶数：这个命题函数接受一个变量x作为输入，如果x是偶数，则输出真（True），否则输出假（False）。
命题函数在逻辑、数学和计算机科学等领域都有广泛的应用。例如，在逻辑中，命题函数可以用来构建复杂的逻辑表达式；在数学中，命题函数可以用来描述数学对象之间的关系；在计算机科学中，命题函数可以用来描述程序的状态。
