论文部分内容阅读
针对不同个体域,用实例讨论了谓词逻辑中命题符号化时函数的引入、函数的作用以及谓词和函数的区别,并给出了错误使用函数的例子,分析了产生错误的原因。
函数在谓词逻辑符号化中的应用
【摘 要】
：
针对不同个体域,用实例讨论了谓词逻辑中命题符号化时函数的引入、函数的作用以及谓词和函数的区别,并给出了错误使用函数的例子,分析了产生错误的原因。
【机 构】
：
唐山学院基础教学部
【出 处】
：
唐山学院学报
【发表日期】
：
2016年6期
其他文献
某地下室防水工程采用柔性防水(聚氨酯防水涂膜和三元丁防水卷材)与刚性防水相结合,多道设防,同时防排结合、精心施工,严把材料、施工质量关,保证了工程质量.
瓦屋面有美观及耐久性和排水性好等优点,近年发展较快,应用广泛,特别是住宅区,往往成片都是瓦屋面,显得非常整齐美观.但在瓦屋面建设过程中,由于认识不足、重视不够,防水质量