人工智能导论第二课 ------命题与一阶谓词表示法

人工智能导论第二课

------命题与一阶谓词表示法

命题

命题是一个非真即假的陈述句,用大写的P、Q、R表示命题

比如:P:小明爱打篮球

谓词

因为命题无法表示事物的内在逻辑特征和不同事物之间的联系,所以在命题的基础上发展了谓词。

比如有命题P:老李是小李的父亲,则只用字母P是看不出来老李和小李的关系的。

我们用个体表示某个独立存在的事物或者某个抽象的概念,比如:小明,苹果,用谓词名刻画个体的性质、状态或个体间的关系,比如:谁谁谁是人

我们用a表示小明这个个体,P表示谁谁谁是人的谓词名,这样就有了一个一元谓词

​ P(a)

表示小明是人

谓词名一般用单词或大写英文字母,个体可以是常量、变元、函数,如P(x),表示x是人

谓词公式

┐ \urcorner :否

∨ \vee :析取,表示或

∧ \wedge :合取,和

→ \rightarrow :蕴含,条件

↔ \leftrightarrow :等价,双条件

∀ \forall :所有

∃ \exists :存在

谓词公式的等价性

等价式

在这里插入图片描述
在这里插入图片描述在这里插入图片描述

在这里插入图片描述

  • 1
    点赞
  • 10
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值