一阶逻辑中的谓词与函数

作者: 狗头军师
发布时间: 2025-02-05 07:10:01 (16天前)

2 条回复

1#
回复此人
v-star*위위 | 2020-08-25 16-16

谓词是返回true或false的函数。

编辑

登录后才能参与评论