布爾值函數

布爾值函數是 類型的函數 ， 這裏的 是一個任意集合 ， 而 是一般性的 2 元素集合 ， 典型的是 ， 而它經常在邏輯學應用中被解釋爲 。 在形式科學 、 數學 、 數理邏輯 、 統計學和它們的應用領域中 ， 布爾值函數也被稱爲特徵函數 、 指示函數 、 謂詞或命題 。 在所有這些使用中 ， 它都被理解爲提及一個數學對象的多樣性的術語 ， 而不是相應的記號符號或語法表達式 。