命題関数

命題関数（めいだいかんすう、英：Propositional function） とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像である。命題関数は真理関数でもある。