2023年12月16日
谓词
摘要： 1. 谓词 对于"张明生于北京这句话"，"张明"和"北京"叫做个体 代表个体的变元叫做个体变元，刻画个体的性质或几个个体间关系的模式叫谓词，比如这句话的"生于" 2. 量词 全称量词 \(\forall x\)读作"对任一x"，这里\(\forall 是全称量词\) 存在量词 \(\exists x 阅读全文
posted @ 2023-12-16 15:55 拾墨、 阅读(23) 评论(0) 推荐(0) 编辑