人工智能117

谓词逻辑:是命题逻辑的推广,命题逻辑是谓词逻辑的特殊情况。因为任何一个命题都可以通过引入具有相应含义的谓词(个体词视为常量)来表示,或认为命题是没有个体变元的零元谓词。

  • 2021-06-29
  • 收藏0
  • 阅读349
  • 下载0
  • 115页
  • pdf
  • 24.16M

评价

评分 :
   *