逻辑等价相关论文
学界通常把具有“如果…，那么…”这种结构的句子称为条件句，把以条件句为研究对象的逻辑称为条件句逻辑。条件句逻辑是重要的，因为在......
问题119例1在等腰Rt△ABC中,在斜边AB上取一点M,求AM的长小于AC的长的概率.分析点M随机地落在线段AB上,故线段AB为试验所有结果构......
数学的证明是借助于真命题来论述某一命题真实性的推理过程。证明是数学的母机,它直接产生大量的成果,丰富数学的内容。数学的证......
本文对让步句的语意重心进行分析,主要从让步句的语义背景特征入手来对让步句的逻辑系统构建进行一个前准备。在构建让步句的逻辑......
本文介绍了LSIS-II布图设计系统结合规模生产的要求所进行的实用化设计和发展工作.包括系统采用的功能流、自检流、容错流的结构设......
通过把n-值ukasiewicz命题逻辑中公式的概率真度函数抽象为模态词,把概率真度函数的基本恒等式抽象为关于模态词的公理,建立一个......
引入了平衡逻辑公式的概念,证明了和一个平衡逻辑公式等价的逻辑公式是平衡逻辑公式.并且n元平衡逻辑公式中等价类关于(一),ν,Λ,......
王国俊提出了命题真度的概念，它与命题逻辑等价的概念不同，但它们之间具有一定的联系．文中通过在全体公式之集上引入某种等价关系，给出......
量词在一阶逻辑推理中起着重要作用，然而它的性质及运算规律比较繁杂，关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来......
二值命题逻辑系统中理论的结论集是逻辑推理研究的基本对象，对其结构进行分析是逻辑推理研究中需要解决的问题。通过公式是有限理论......
为解决教学上的重点难点，本文从学生实际出发，抓住关键，编制这一章节的内容结构框图。根据教材潜在形式逻辑的线索，采取分析归纳，提纲......
命题公式是命题逻辑中的基本研究对象。判定两个命题公式是否逻辑等价是一个重要问题。本文结合例题讲解,对证明两个命题公式等价......
二值命题逻辑系统中理论Г的带误差结论集是近似推理研究的基本对象，对其结构进行分析是近似推理研究中需要解决的问题。通过公式是......
给出了基于模糊逻辑等价度量的模糊集的扰动的定义，讨论了模糊集扰动与模糊连接词及蕴涵算子扰动之间的关系，针对若干特殊的模糊连接......
