我很难用一阶逻辑表达以下想法。
我想说每个代理都有一个初始位置，我会这样表达（使用文字）：
对于 Agents 类型的所有代理，存在 xCoordinate 类型的 x 和 yCoordinate 类型的 y，使得 I_Position(agent,x,y) AND Tile(x,y)
或在 idp 中：
!ag[agent]: ? xCo[xCo],yCo[yCo]: I_position(ag, xCo, yCo) & Tile(xCo,yCo).
瓦片是一个有效瓦片的表达式，一个有效的位置。
这个表达式的问题是，我了解到一个For All表达式总是带有暗示 ( =>)，而There Exists表达式总是带有 And ( &)。
显然，我没有暗示。这句话和我想的一样吗？