命题形式与推理形式示例：R(a,b,c)

命题形式：R(a,b,c)表示a、b、c之间存在某种关系。 示例：R(x,y,z)表示x、y、z是一条直线上的三个点。

推理形式：R1(a,b,c)，R2(a,b)→R3(c) 表示如果a、b、c之间存在某种关系R1，且a、b之间存在某种关系R2，则可以推出c与a、b之间存在某种关系R3。 示例：如果R1(x,y,z)表示x、y、z是一条直线上的三个点，R2(x,y)表示x、y之间是相邻的点，则可以推出R3(z,y)表示z、y之间也是相邻的点。