个体词、谓词与量词2015.pptVIP

  • 2
  • 0
  • 约小于1千字
  • 约 26页
  • 2017-06-12 发布于北京
  • 举报
计算机数学 特性谓词: 在全总个体域中, 表示具体个体域的 谓词称为特性谓词。 在全称量化中,特性谓词常作为条件命题的前件。 在存在量化中,特性谓词常作为合取项。

文档评论(0)

1亿VIP精品文档

相关文档