保存桌面快捷方式 - - 设为首页 - 手机版
凹丫丫旗下网站:四字成语大全 - 故事大全 - 范文大全
您现在的位置: 范文大全 >> 理工论文 >> 计算机信息技术 >> 正文

PB7谓词逻辑演算功能分析


(1)(∨xp≡┐(зx(p))

(2)p   q≡┐pq

    这样,就可以通过谓词演算实现系统的含有全称量词和蕴含逻辑运算的查询。

如查询条件为“至少选修了98001学生选修的全部课程的学生的学生号和姓名”的实现过程如下:

《PB7谓词逻辑演算功能分析(第4页)》
本文链接地址:http://www.oyaya.net/fanwen/view/144688.html

  • 上一篇范文: Ontology 方法学综述
  • 下一篇范文: Linux对TCP/IP的支持浅析

  • ★温馨提示:你可以返回到 计算机信息技术 也可以利用本站页顶的站内搜索功能查找你想要的文章。