述語

• 値域が $\{\text{TRUE},\text{FALSE}\}$ であるような関数を 述語 という