排序方式： 共有31条查询结果，搜索用时 15 毫秒
1.
杜国平 《重庆理工大学学报(社会科学版)》2021,35(6):53-61
以合舍作为唯一初始联结词,在括号表示法中,只需要使用一对左右括号"「」"就可以无歧义地表达所有的逻辑函数,并进而建立包括括号"「」"的引入规则和消去规则在内的自然推演系统NPD1,可以证明该系统与通常的命题逻辑推理系统相等价.通过定义可以给出常见的其他联结词并证明相关定理.受亚里士多德化归思想的启发,构建了系统NPD1的7组化归规则,并给出化归程序;依据此程序,可以将系统内的任一定理能行地化归为一个形如的公式. 相似文献
2.
数学老师：“在数学符号中，大括号像一张弓，小括号像弯弯的月牙，那中括号像什么？”
学生：“像一只还没用过的订书钉。” 相似文献
3.
公文发文字号中的年份,是用六角括号括起来的。这在国家标准《党政机关公文格式》(GB/T9704—2012)中有明确的规定:"(发文字号)编排在发文机关标志下空二行位置,居中排布。年份、发文顺序号用阿拉伯数字标注;年份应标全称,用六角括号‘〔〕’括入"。2012年6月1日实施的国家标准《标点符号用法》(GB/T15834—2011)中也有明确的表述:"标示公文 相似文献
4.
杜国平 《安徽大学学报(哲学社会科学版)》2019,43(3):35-41
括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中置法表达的公式简短。运用括号表示法改写的一阶逻辑自然推理系统非常简洁。括号表示法为研究逻辑常项的推理结构提供了一个非常良好的分析工具。 相似文献
7.
刘新文 《湖南科技大学学报(社会科学版)》2005,8(2):27-29
系统Z是文[7]构造的经典命题逻辑系统,这一系统的初始联结词是一类广义的谢夫竖函数,并且采用括号记法。作者在系统Z中加入存在量词,把存在量词和广义谢夫竖函数统一作括号记法,并且把系统Z的规则作相应的处理,最后证明了所得系统Z'的完全性。 相似文献
8.
主要讨论与四阶矩阵特征值问题相联系的孤子方程及其Lax上,利用位势函数与特征函数之间的Bargmann约束,将四阶特征值问题及相应的伴随特征值问题非线性化,获得新的有限维Hamilton系统,并应用r-矩阵理论证明了新的有限维Hamilton系统在Liouville意义下的完全可积性。最后借助于在Liouville意义下完全可积Hamilton系统的对合解得到孤子方程族解的对合表示。 相似文献
9.
刘鹤亭 《石河子大学学报(哲学社会科学版)》2014,(2):48-53
作为社会学家们研究宗教时所采取的一种立场,彼得·伯格的"方法论上的无神论"被广为接受,但亦不乏争议。该文研究发现,"方法论上的无神论"概念的结构可简单表述为在社会学理论化的参照框架之内,研究者们必须把"超自然者"、"宗教对真理的诸种声称"和"涉及到非经验的实在的宗教经验"严格地加上括号;并且,宗教必须被看成是人类的投射和产物。 相似文献
10.