" 在一阶谓词逻辑中,我们可以使用如下公式来表示雪地上留下一串串脚印:
∃x0, y0, z0 (Snow(x0, y0, z0) ∧ Footprint(x0, y0, z0) ∧ (Size(x0, y0, z0) ≠ Size(x1, y1, z1) ∨ Depth(x0, y0, z0) ≠ Depth(x1, y1, z1))),
其中,Snow(x0, y0, z0)表示地点(x0, y0, z0)是雪地,Footprint(x0, y0, z0)表示地点(x0, y0, z0)上有脚印,Size(x0, y0, z0)和Depth(x0, y0, z0)分别表示脚印的大小和深度。
这个公式表达了雪地上存在多个不同的脚印,它们在大小和深度上有所不同。"