C_n(1≤n〈ω)及C_ω中的否定

来源 :湖南科技大学学报:社会科学版 | 被引量 : 0次 | 上传用户:ghmyjp
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在对当关系逻辑中,命题A与命题△A之间是一种下反对关系。在弗协调逻辑系统中,我们通过定义一个一元连接词●,可以证明,在对当关系逻辑中算子△所具有的性质,在弗协调逻辑中其否定﹁也都具有这些性质,从而得出,弗协调逻辑中的否定﹁是一种特殊的下反对关系算子。
其他文献
休闲在哲学领域具有特殊的地位和意义。亚里士多德把休闲确立为西方哲学的起源之一,把休闲归结为一种蕴含智慧、中庸和愉悦的理性的精神生活。费希特从人的权利出发,把休闲规定
三月初,冬小麦已经悄悄探出头来,又到一年春灌时。刚刚过去的冬季对于唐山市丰润区的农民来说是煎熬的,整个冬天只下了一场雪,冬小麦的种植面临着干旱的严峻挑战。和往年不同
法的价值是指法作为一种规范体系或行为规则有哪些性状、属性、作用为人所运用、珍视、欣赏和追求;而法律行为价值是指法律行为对于法学研究、立法、司法、执法的意义和作用,
国网唐山供电公司认真贯彻国家电网有限公司、国网冀北电力有限公司"不忘初心、牢记使命"主题教育各项工作部署,深化向心力、创造力、支撑力、驱动力的"四力"建设,将"不忘初
茶花文化是人类社会历史发展过程中所创造的茶花物质财富和精神财富的总和,包括茶花的物种、品种、古树、文学艺术等。在对中国茶花博物馆的定位与功能、场馆内外区域综合环
众所周知,世界上大多数女人都喜欢谈论衣服,就像她们谈论丈夫一样。一天,住在附近的四个女人被邀请参加一个聚会。她们在讨论她们将穿什么衣服去参加聚会。她们最终决定选择
70年砥砺奋进,70年创新发展,河北承德这座以避暑山庄而闻名中外的山城,用雄伟的电网架构编织起纵横紫塞大地的网脉,自强不息的电力人创造了社会经济发展新成就,将光明赞歌唱
对于小学数学教学而言,想要提高它的课堂教学效率,提高学生的学习效率,最直接和最有效的方式,就是提高学生在数学课堂中的参与度。数学是一门比较强的理论和实践相结合的学科
吴茱萸(Evodia rutaecarpa)为芸香科吴茱萸属植物,落叶灌木或小乔木,其果实供药用,为常用中药材,具有温中散寒、燥湿、止痛等功效,也可外用。较适合退耕还林及房前屋后种植,具有成本
2017年6月3日,锡盟-泰州±800千伏特高压直流输电工程在玉田境内全线贯通。