括号表示法相关论文
汉语中的“不可得兼”型联结词是一个在表达命题之间逻辑关系上能力完备的逻辑联结词,和析舍的表达能力等价。使用括号表示法,“不......
以合舍作为唯一初始联结词,在括号表示法中,只需要使用一对左右括号“「」”就可以无歧义地表达所有的逻辑函数,并进而建立包括括......
科技期刊函数图标目、表格栏目的作用十分重要,犹如“画龙点睛”的“睛”。近年来我国科技期刊图表标目、栏目的表示方法较为混乱,......
张清宇先生在20世纪90年代创建了不用联结词的逻辑系统,在其中使用括号表达命题联结词和量词的功能,这是一项逻辑符号技术的创新性......
