1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. C/C++资料

（共47页PPT）一阶谓词逻辑No3.pptx

（共47页PPT）一阶谓词逻辑No3.pptx

    一阶逻辑(First‐OrderLogic)研究员中国科学院自动化研究所2016年9月29日

    内容简介?命题逻辑局限性?基本概念?合适公式?公式的解释?前束范式

    ?例子:–每个人都是要死的.孔子是人,他是要死的.?写成命题形式:–P:每个人都是要死的.–Q:孔子是人.–R:孔子是要死的.?R是P,Q的逻辑结论?

    内容简介?命题逻辑局限性?基本概念?合适公式?公式的解释?前束范式

    ?定义(谓词):–设D是非空个体名称集合,定义在Dn上,取值于{T,F}上的n元函数,称为n元谓词–Dn表示集合D上的n次笛卡儿乘积?例子:–Man(x)–

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >