重言式相关论文
讨论剩余类蕴涵算子之一Godel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持......
研究带参数的模糊逻辑系统RDP中的广义重言式理论.结果表明系统RDP中只有三种不同的广义重言式,即(1/2),重言式,(1/2)+-重言式和重......
关于欧文·M·柯匹的19条推论规则的不完全性问题，西方学术界很少讨论，如果提出一个有效论证不能用十九条推论规则证明其有效性，会引......
定义了非线性逻辑系统(-W)2,研究了(-W)2中的重言式及广义重言式,得到了若干与线性逻辑系统(-W)中相类似的结果.......
讨论了n值逻辑系统Sn,给出了判断其子代数的充要条件；并比较了不同的逻辑系统Sn中的重言式，同时给出了逻辑系统Sn中判断公式不是重言......
讨论了五值非线性序集逻辑系统L25,将四值逻辑系统扩充到五值逻辑系统,在五值逻辑系统中,建立了相应的重言式理论、准重言式理论。......
本文从语义和形义关系两个方面来分析《诗经》中重言双音形容词的语义特点。从语义上看,《诗经》中的重言双音形容词具有模糊性、......
引入了亚模糊命题的概念。在Gaines-Rescher的蕴涵算子下，证明了简单亚析取式A是重言式的必要条件为A包含环公式为其子公式。......
讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln（n〉3），首先给出了L3的真值表，它是C2真值表的扩......
现代逻辑的实质蕴涵"怪论"问题是困扰逻辑学发展的一个难题.对此问题存在两种态度:一种是持批判的态度,认为实质蕴涵不够完善,试图......
同一律、不矛盾律和排中律是传统形式逻辑中的基本规律，在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律......
从语言上看,条件命题等非纯真值复合命题与蕴涵命题等纯真值复合命题之间存在着对应关系,但从逻辑语义上看,它们所指谓的客观事件......
研究了多值逻辑系统中的广义矛盾式，并对这些多值逻辑系统中的广义矛盾式进行了分划，强调了这种分划的不重不漏．......
系统Hα是一个带有参数的系统，将参数α赋予不同的值，将会得到不同的多值逻辑系统．借助子代数理论，研究了多值逻辑系统Hα中的重言式分......
<逻辑哲学论>的目的是为了分清可说的和不可说的界限.不可说的东西不是由证实原则决定的,也不是由逻辑形式的界限决定的,而是由于......
研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系.指出了多值逻辑系统中判断公式不是重言式的充分条件,并对其中一......
对MV单位区间[0，1]和n-值MV代数Ln的子代数的结构问题及其上重言式之间的关系进行了较为细致的研究。主要结论是：如果MV单位区间[0，1]......
同一律、不矛盾律和排中律是传统形式逻辑中的基本规律。在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规......
维特根斯坦在其早期代表作《逻辑哲学论》中深入探讨了逻辑真理的理解问题.然而当今学界流行的看法是,维特根斯坦有着最狭隘的逻辑......
重言式在日常生活和文学作品中广为运用而且具有鲜明的特色和交际价值.本文列举了一些重言式的应用实例,从语用学的角度分析发话人......
《庄子》中人物繁多,人物的命名是作者匠心独运的创造.'重言式'命名传承历史评价,整合帝王系统,改换圣贤精神;'寓言式......
基于一类带参数a的[0，1]上的t-模＊。及与之伴随的蕴涵算子Ha（0≤a≤1）所建立的多值逻辑系统Ha，研究了当α=1/2时的多值逻辑系统H1/2．以H1......
真值表方法是命题逻辑的一种重要的方法.它既可以判定一个命题公式是重言式、矛盾式或协调式,也可以判定命题推理是否有效.掌握真......
<正> 一、历史背景从哲学史来说,经验论的发源地是英国。它的创始人是Locke、Berkeley和Hume。后来法国出现了一种极端形式的经验......
介绍了3种真值集为非线性序集的4值逻辑系统的┐，∨，∨运算及蕴含算子→，并研究了它们的性质及重言式理论，准重言式理论，得到一些结论。......
考虑了Kleene蕴涵算子的导出算子的三值逻辑系统I3和n值逻辑系统In(n>3).首先,给出I3的真值表,证明了I3是二值逻辑系统C2的推广.其......
高校“离散数学”命题逻辑与高中数学衔接,是高中数学的延续与深化。针对命题逻辑总体知识结构以及内容细节中的几个关键难点,文章......
讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件，并比较了不同的逻辑系统Sn中的重言式，同时给出了逻辑系统Sn中判断公式......
在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理。用有理数域上的多项式组替代命题公式,......
本文论述了一种逻辑方法———归谬赋值法使用中的两个问题:一是关于如何正确使用归谬赋值法的问题,对归谬赋值法使用中经常出现的......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
<正>一、多值逻辑的历史和动因 我们首先简要介绍多值逻辑的历史,分析它发展的动因,并给出在以后的讨论中要用到的一些重要的多值......
现在的多值逻辑已成为内容丰富的逻辑学分支,在计算机和人工智能中有着广泛的应用,这种发展与其早期的思想有着一定的联系。从亚里......
<正>一、什么是模糊性?像"高"和"矮"、"大"和"小"、"胖"和"瘦"、"美"和"丑"、"聪明"和"愚笨"、"富有"和"贫穷"、"秃头"、"谷堆"、"......
真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定 (或证明 )方法 ,但不是传统命题逻辑推理式的......
【正】 四分析哲学:逻辑实证主义(逻辑经验主义)这是本世纪三——四十年代在西方风靡一时的一个分析哲学学派,其核心是名为“维也......
<正> 李全元、邓光汉两同志在《逻辑与语言学习》87年第3期上撰文,就充分条件、必要条件的定义问题与我商榷。我想有必要简要地答......
维特根斯坦在其前期著作《逻辑哲学论》中阐述了他的逻辑哲学,其核心思想为:逻辑命题是重言式。这种逻辑哲学以其新颖和简洁受到了......
“无”是一个基本的哲学范畴,哲学范畴体系中不可无“无”。本文论述了提出和研究“无”这个范畴的意义,并且简要地回顾了历史上哲......
【正】 关于同一律,流行着几个不同的公式:有的是传统逻辑历来沿用的,有的是利用数理逻辑的成果重新提出的;有的是半符号半文字式......
<正> 形式逻辑和辩证逻辑是两种不同的逻辑系统,它们不仅有不同的逻辑规律和规则,而且还有不同的逻辑公理。形式逻辑的公理是同一......
维特根斯坦是二十世纪以来西方哲学史上著名的哲学家之一,《逻辑哲学论》是他早期哲学的代表作。其中“逻辑必然”的思想不仅影响......
