点击下载:《离散数学》课程教学课件(PPT讲稿)谓词逻辑初步与推理规则
正在加载图片...
将自然语言翻译成逻辑表达式 口如果一个人是女性且是家长,则她是某人的母 亲 Vx(F(x)∧P(x)→彐yM(xry)) Vx彐y(F(x)∧P(x))→M(xy)将自然语言翻译成逻辑表达式 如果一个人是女性且是家长,则她是某人的母 亲 x((F(x)P(x)) → yM(x,y)) xy((F(x)P(x)) → M(x,y)) 13
<<向上翻页
向下翻页>>
点击下载:《离散数学》课程教学课件(PPT讲稿)谓词逻辑初步与推理规则
©2008-现在 cucdc.com 高等教育资讯网 版权所有