《表1 PiSPEC的一阶谓词逻辑》
PiSPEC语法中最重要的部分是谓词逻辑,表1描述了建模时常用的谓词逻辑。
图表编号 | XD00172638100 严禁用于非法目的 |
---|---|
绘制时间 | 2020.03.17 |
作者 | 张程、王燕芩 |
绘制单位 | 卡斯柯信号有限公司、卡斯柯信号有限公司 |
更多格式 | 高清、无水印(增值服务) |
PiSPEC语法中最重要的部分是谓词逻辑,表1描述了建模时常用的谓词逻辑。
图表编号 | XD00172638100 严禁用于非法目的 |
---|---|
绘制时间 | 2020.03.17 |
作者 | 张程、王燕芩 |
绘制单位 | 卡斯柯信号有限公司、卡斯柯信号有限公司 |
更多格式 | 高清、无水印(增值服务) |