述語
全域関数
:
$ \mathbb{N}^n\rightarrow\{\mathrm{真,偽}\}
のことを「
述語
」と呼ぶ
例
$ A(x,y):= x<y
という述語
$ A
を定義したとすると
table:A(x,y)
(x,y) (0,0) (0,1) (1,0) (0,2) (1,1) (2,0) (0,3) ...
A(x,y) 0 1 0 0 0 0 1 ...