论文部分内容阅读
讨论了谓词逻辑中带有多重量词的谓词公式的否定问题，得出了对于此类谓词公式可以逐层否定的结论，从而填补了现有诸教材在这个问题上的一个空白。
带有多重量词的谓词公式的否定
【摘 要】
：
讨论了谓词逻辑中带有多重量词的谓词公式的否定问题，得出了对于此类谓词公式可以逐层否定的结论，从而填补了现有诸教材在这个问题上的一个空白。
【机 构】
：
甘肃广播电视大学教学指导中心,甘肃联合大学数学与信息学院
【出 处】
：
甘肃广播电视大学学报
【发表日期】
：
2008年3期
其他文献
摘 要：随着新课改的推进，尤其是当代大学生的思政教育在新课改中广泛受到关注，使得当代大学生思政教育的切入点和课堂教学模式有所转变。大学思政教育在受到全方位、多维度、开放性改革的同时，也面临着许多问题，大学课堂教学中有效运用思政教育正是目前所面临的一道难题。本文结合实际针对这一难题提出一系列有效的課堂教学运用模式，促进思政教育积极有效地开展，加强思政课堂教学的实践性和理论性，增强当代大学生的思政理念
文章论述了培育和发展非政府组织的重要性，以及非政府组织在社会调控中所具有的特殊功能。指出在非政府组织的发展中，应通过准确的角色定位、加强与公众的交流与沟通、处理好与
写实性、新鲜性、客观性、合理性与概括性是消息叙事的突出特点。随着我国新闻报道改革的深入发展及社会、文化、新闻观念自身的演变，消息叙事的发展在以下两方面会更加显著：其
运用模糊综合评价方法结合安全性评价体系对供电企业安全管理系统进行科学评价，并以鄂州供电公司为例对其安全管理系统进行了评价，得出了湖北鄂州供电公司安全管理系统状况良好