点击下载:东北大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 谓词逻辑
正在加载图片...
·例题3.每个人都有一个生母。 设P(x):x是个人。M(x,y):y是x的生母。 此命题可以写成 Vx(P(x)→y(P(y)∧M(x,y))• 例题3. 每个人都有一个生母。 设 P(x):x是个人。M(x,y):y是x的生母。 此命题可以写成 x(P(x)→y(P(y)∧M(x,y)))
<<向上翻页
向下翻页>>
点击下载:东北大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 谓词逻辑
©2008-现在 cucdc.com 高等教育资讯网 版权所有