generated at
2/16/2025, 1:41:49 PM
述語
全域関数
:
\mathbb{N}^n\rightarrow\{\mathrm{真,偽}\}
のことを「
述語
」と呼ぶ
例
A(x,y):= x<y
という述語
A
を定義したとすると
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
...