点击下载:华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 一阶逻辑
正在加载图片...
元数:在谓词中所包含的个体词数。 n元谓词:含n(n≥1)个个体词的谓词, 可用D(x1X2……,xn)表示。 一元谓词表性质; 二元或更多元谓词表关系。元 数:在谓词中所包含的个体词数。 n元谓词:含n(n1)个个体词的谓词, 可用D(x1 , x2 ,……,xn)表示。 一元谓词表性质; 二元或更多元谓词表关系
<<向上翻页
向下翻页>>
点击下载:华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 一阶逻辑
©2008-现在 cucdc.com 高等教育资讯网 版权所有