咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 103 篇 期刊文献
  • 2 篇 学位论文
  • 1 篇 会议

馆藏范围

  • 106 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 68 篇 哲学
    • 68 篇 哲学
  • 31 篇 理学
    • 30 篇 数学
    • 1 篇 系统科学
  • 17 篇 法学
    • 17 篇 社会学
  • 8 篇 教育学
    • 8 篇 教育学
  • 5 篇 工学
    • 2 篇 控制科学与工程
    • 2 篇 计算机科学与技术...
    • 1 篇 仪器科学与技术
    • 1 篇 软件工程
  • 4 篇 文学
    • 4 篇 中国语言文学
  • 4 篇 管理学
    • 4 篇 管理科学与工程(可...

主题

  • 106 篇 重言式
  • 9 篇 真值表
  • 8 篇 数理逻辑
  • 8 篇 逻辑系统
  • 7 篇 排中律
  • 6 篇 逻辑学家
  • 6 篇 维特根斯坦
  • 6 篇 现代逻辑
  • 6 篇 命题逻辑
  • 6 篇 矛盾式
  • 6 篇 传统逻辑
  • 6 篇 联结词
  • 5 篇 真值函项
  • 5 篇 子代数
  • 5 篇 逻辑命题
  • 4 篇 多值逻辑系统
  • 4 篇 分析命题
  • 4 篇 公理系统
  • 4 篇 矛盾律
  • 4 篇 逻辑哲学

机构

  • 7 篇 陕西师范大学
  • 5 篇 贵州大学
  • 4 篇 潍坊学院
  • 3 篇 西安文理学院
  • 3 篇 南京大学
  • 3 篇 武汉大学
  • 2 篇 甘肃工业大学
  • 2 篇 大连理工大学
  • 2 篇 华南师范大学
  • 2 篇 安徽大学
  • 2 篇 清华大学
  • 2 篇 淮南师范学院
  • 2 篇 哈尔滨师范大学
  • 2 篇 中国社会科学院哲...
  • 2 篇 中国科技大学
  • 1 篇 北京师大数学系
  • 1 篇 上海财经大学
  • 1 篇 应用数学系
  • 1 篇 复旦大学
  • 1 篇 四川省教育学院

作者

  • 3 篇 张清宇
  • 3 篇 隋云云
  • 3 篇 吴洪博
  • 2 篇 关晓红
  • 2 篇 王军风
  • 2 篇 马巧云
  • 2 篇 胡军
  • 2 篇 王国俊
  • 2 篇 朱晓佳
  • 2 篇 辛晓东
  • 2 篇 霍书全
  • 2 篇 胡江山
  • 2 篇 盛作国
  • 2 篇 金岳霖
  • 2 篇 龚启荣
  • 1 篇 许占君
  • 1 篇 周以匀
  • 1 篇 王汉清
  • 1 篇 马静
  • 1 篇 李伯聪

语言

  • 106 篇 中文
检索条件"主题词=重言式"
共 106 条 记 录，以下是11-20 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
重言式的语用修辞特色
收藏
分享
引用
西安电子科技大学学报（社会科学版） 2002年 第4期12卷 99-102页
作者： 吴丽兴 广东工业大学 广东广州510090
重言式在日常生活和文学作品中广为运用而且具有鲜明的特色和交际价值。本文列举了一些重言式的应用实例,从语用学的角度分析发话人使用重言式的交际意向,总结出重言式的四种语用修辞特点。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
重言式和矛盾式的代数化证明
收藏
分享
引用
计算机与数字工程 2009年 第8期37卷 17-21页
作者： 王礼萍 张树功 哈尔滨学院数学与计算机学院 哈尔滨150086 吉林大学数学学院 长春130012
在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理。用有理数域上的多项式组替代命题公式,利用纯代数的方法给出命题公式的重言式和矛盾式的证明。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
重言式、逻辑规律与准逻辑悖论
收藏
分享
引用
贵阳学院学报（社会科学版） 2006年 第4期1卷 79-82页
作者： 胡红 盛作国 贵州大学人文学院 贵州贵阳550025 贵阳学院图书馆 贵州贵阳550005
同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
重言式核对器的正确性
收藏
分享
引用
计算机工程与应用 1982年 第Z1期 30-49页
在介绍如何证明刚才所述理论中的定理之前,读者熟悉理论本身很重要。此外,从头至尾地看一遍某些困难定理的证明,让读者对其后各章要介绍的内容有个感性认识亦有用。最后,不熟悉机械定理证明的读者,可能非常想看一看我们如何机械地证明... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
扩展重言式
收藏
分享
引用
清华大学学报(自然科学版) 1987年 第3期 100-105页
作者： 李大法 应用数学系
对于任何ｗｆｆ　Ａ，能够得到这样一个 ｗｆｆ，它和Ａ等价，且量词的辖域最小。如 果这后一个ｗｆｆ是重言式，则称Ａ是扩展重言式。还证明了，如Ａ是扩展重言式， 则Ａ。还定义了一个系统，对于这个系统的每一个定理，能够证明它是... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
逻辑系统的重言式理论
收藏
分享
引用
潍坊学院学报 2013年 第4期13卷 70-71页
作者： 隋云云 胡江山 潍坊学院 山东潍坊261061
引入了五值逻辑系统,在该系统中,建立了相应的重言式理论、准重言式理论,得到一些结论。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
《诗经》重言式双音形容词的语义特点
收藏
分享
引用
长江学术 2012年 第1期 110-113页
作者： 向力 华中师范大学出版社
本文从语义和形义关系两个方面来分析《诗经》中重言双音形容词的语义特点。从语义上看,《诗经》中的重言双音形容词具有模糊性、多义性、灵活性和广泛性的特点;从形义关系来看,《诗经》中的重言双音形容词具有一形表多义、多形表近义... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
多值逻辑系统H_α中的重言式分类定理
收藏
分享
引用
西安文理学院学报（自然科学版） 2008年 第3期11卷 36-39页
作者： 于鸿丽 西安文理学院数学系 陕西西安710065
系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统.借助子代数理论,研究了多值逻辑系统Hα中的重言式分类定理,为系统Hα的进一步研究奠定了基础.
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
n值逻辑系统S_n的子代数及其重言式理论
收藏
分享
引用
潍坊学院学报 2008年 第6期8卷 91-93页
作者： 隋云云 潍坊学院 山东潍坊261061
讨论了n值逻辑系统Sn,给出了判断其子代数的充要条件;并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
非线性序逻辑系统~2中的重言式
收藏
分享
引用
固原师专学报 2002年 第3期23卷 1-5页
作者： 辛晓东 固原师专数学与计算机科学系 宁夏固原756000
定义了非线性逻辑系统W^2,研究了W^2中的重言式及广义重言式,得到了若干与线性逻辑系统W^2中相类似的结果。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共11页 <<  < 1 2 3 4 5 6 7 8 9 10 >  >> 跳转到页 
回到顶部
执行限定条件