この用語はまだ監査を通っていません（未確認）。
述語
じゅつご 1対1で対応predicate
名詞 ・話し言葉・書き言葉
式と読み方
P of x: x squared is greater than four
定義
変数を含み、変数に値を入れると真か偽かが決まる文や式のこと。P(x) のように書く。
A statement that contains one or more variables and becomes true or false once values are put in for the variables. It is often written as P(x).
例文
話し言葉 P of x isn't true or false by itself. It's a predicate, and it only gets a truth value once you plug in a number. P(x) はそれだけでは真とも偽とも言えない。述語だから、数を代入して初めて真偽が決まるんだ。
書き言葉・答案 Let P(x) be the predicate "x is divisible by 3" on the integers. Find the truth values of P(6) and P(7). 整数全体で考え、P(x) を述語「x は 3 で割り切れる」とする。P(6), P(7) の真偽を答えよ。
言い間違えやすいところ
- 日本の数I では、x > 3 のように変数を含み値を決めると真偽が決まる文を「条件」と呼び、「述語」とは言わない。
- 英語の predicate は文法用語の「述部」の意味でも使う。
- 用例コーパスの predicate は話し言葉（MIT OCW）・書き言葉（MIT の講義ノート）とも MIT のものだけ。Levin の本では 39 件。