命题演算

摘要： 逻辑是探索、阐述和确立有效推理原则的学科,最早是由古希腊学者亚里士多德创建的.用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑,也叫做符号逻辑.一、数理逻辑的产生利用计算的方法来代替人们思维中的逻辑推理过程,这种想法早在17世纪就有人提出过.

摘要： 数学思维的创造性是科学思维的特征,是指一个由具体事物到抽象认识的过程,即从直观动作、表象符号到命题演算.数学的创造性思维是指在数学思维过程中表现出前所未有的思维成果,解决别人未能解决的问题,数学理论的形成就是数学创造性的产物.数学思维的创造性过程是多种思维形式的协调统一,

摘要： 本文的目标是建立2n值命题演算(2n-Valued Propositional Calculus,2nP)的语义,为大数据科学奠定逻辑基础。描述了2n值逻辑的真值形式、采用位结构刻画了联结词的功能,并建立了赋值映射;根据多值逻辑的特点,以数据冗余、key-value模型为例,直觉地讨论了2n值逻辑应用于大数据研究的有效性;初步分析了2nP语义与经典命题逻辑语义之间的关系,并展望了2nP在计算机科学、人工智能、信息技术等学科的应用前景。

摘要： 首先介绍命题演算的Gentzen型系统G,然后给出一个命题演算的永真推理系统H,最后证明一个命题在G中可证当且仅当它在H中可证,从而G与H是等价的.

摘要： 随着高中新课改的普及,高考对考生创新能力的要求逐渐加强,创新型试题的命制更是常考常新,但总体上都是考查同学们能综合运用所学知识解决问题的能力.下面列举几例,供参考.1新定义型例1现定义命题演算的合式公式（wff）,

摘要： There are a lot of different views in analyzing the related reasoning in half-fee litigation from the standpoint of logic, and many premises are questionable. Someone thinks that it breaks the law of identity, someone thinks that it breaks the law of contradiction, and someone also thinks that it is a logical paradox with no false in logic. Whether someone considers it as a sophistry or not, most people think that its reasoning has no question in formal, and is a formal dilemma reasoning. On the view of the form of inference, this paper analyzes the casuistic nature of Hypothetical inference,points out that the main problem is not the breaking of the law of identity or the breaking of the law of contradiction , but the implementation of replacing of non-equivalence proposition. So it is a false inference in form.%从逻辑的角度考察著名的"半费之讼"所涉及的推理,有很多不同的观点.多数人认为其总前提有问题,有人认为违反了同一律,有人认为违反了矛盾律.但是,还有人认为推理没有逻辑错误,是一个逻辑悖论.无论是否认为它是诡辩,多数人认为其推理在形式上没有问题,属于正式的"两难推理".从推理形式的角度分析"普罗泰戈拉推理"中的诡辩性质,指出其主要问题并不是违反同一律或者矛盾律,而是以偏概全,实施了隐蔽的不等价命题代换,认定它是一个形式错误的推理.

摘要： 本文介绍了数理逻辑的发展史，论述了数理逻辑中的置换和代换的定义、置换定理和代换定理、二者区别及关系，说明了置换和代换在整个数理逻辑中的地位及重要作用。最后，简单谈了学习数理逻辑对思维和行为的指导作用。

摘要： 在模糊逻辑系统L*中,P ∧ Q是()(()P ∨()Q)的简写,连接词∧与连接词(),∨,→的关系应由L*中的公理体系决定.本文通过在L*中增加适当公理使得连接词∧与(),∨,→具备所需的特殊关系,得到的主要结论是:在L*中增加公理L*9b:(((A→C)∨(B→C))→(A ∧ B→C)),同时放弃约定"P∧Q是()(()P∨()Q)的简写",所得的系统L*0与L*等价.

摘要： 对BR0代数,Boole代数以及BL*系统,命题演算形式系统L进行了研究.首先讨论了BR0代数与Boole代数间的相互关系,随后在BL*系统中分别添加公理模式(A→B)→-AˇB或0(A→(B→C))→(A^B→C)得到BL*系统的两种扩张,并证明了BL*系统的这两种扩张与命题演算形式系统L之间是等价的.

摘要： 本文提出互逆主义命题演算,包括一层命题演算和二层命题演算.一层命题演算研究从事实命题到单经数命题的归纳复合和从单经数命题到事实命题的分解.二层命题演算研究从单经数命题到单逻命题的归纳复合和从单逻命题到单经数命题的分解.互逆主义命题演算在许多方面要优于经典命题演算.

摘要： 主要讨论中介逻辑命题演算系统MP中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾项两部分,形式简洁,为规范化研究该系统中的合式公式提供了一种工具.此外,还给出了构造中介逻辑命题演算系统MP的联结词的归约.

摘要： 主要讨论中介逻辑命题演算系统MP中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾项两部分,形式简洁,为规范化研究该系统中的合式公式提供了一种工具.此外,还给出了构造中介逻辑命题演算系统MP的联结词的归约.

摘要： 逻辑系统的健全性是由何华灿教授引入的逻辑学新概念.本文分析了t-模基模糊逻辑形式系统健全性缺失的关健原因,通过改造t-模的定义,引入星型t-模(简称为t*-模)作为“逻辑与”的新语义;引入逻辑系统的弱健全性概念,并初步探讨了具有弱健全性的模糊逻辑形式系统的构造问题.特别地,本文讨论了几种著名t-模的t*-模推广,证明了W型t*-模满足结合律,初步建立了基于W型t*-模的形式系统WL*.

摘要： 逻辑系统的健全性是由何华灿教授引入的逻辑学新概念.本文分析了t-模基模糊逻辑形式系统健全性缺失的关健原因,通过改造t-模的定义,引入星型t-模(简称为t*-模)作为“逻辑与”的新语义;引入逻辑系统的弱健全性概念,并初步探讨了具有弱健全性的模糊逻辑形式系统的构造问题.特别地,本文讨论了几种著名t-模的t*-模推广,证明了W型t*-模满足结合律,初步建立了基于W型t*-模的形式系统WL*.

摘要： 逻辑系统的健全性是由何华灿教授引入的逻辑学新概念.本文分析了t-模基模糊逻辑形式系统健全性缺失的关健原因,通过改造t-模的定义,引入星型t-模(简称为t*-模)作为“逻辑与”的新语义;引入逻辑系统的弱健全性概念,并初步探讨了具有弱健全性的模糊逻辑形式系统的构造问题.特别地,本文讨论了几种著名t-模的t*-模推广,证明了W型t*-模满足结合律,初步建立了基于W型t*-模的形式系统WL*.

摘要： 逻辑系统的健全性是由何华灿教授引入的逻辑学新概念.本文分析了t-模基模糊逻辑形式系统健全性缺失的关健原因,通过改造t-模的定义,引入星型t-模(简称为t*-模)作为“逻辑与”的新语义;引入逻辑系统的弱健全性概念,并初步探讨了具有弱健全性的模糊逻辑形式系统的构造问题.特别地,本文讨论了几种著名t-模的t*-模推广,证明了W型t*-模满足结合律,初步建立了基于W型t*-模的形式系统WL*.

摘要： 一种高中数理化演算用演算纸固定装置，包括箱体，箱体顶面开设矩形凹槽，矩形凹槽内底面左侧开设两个相互平行的长条孔，长条孔与箱体的左端面平行，矩形凹槽内底面的前侧开设两个矩形孔，矩形孔位于矩形凹槽内部靠近右端处，矩形凹槽的前后两内侧面对称开设第一长条槽，两条第一长条槽之间设有矩形活动板，矩形活动板的前后两端的左右两侧均固定安装导向块。本发明可以帮助学校有效的整治考场风气，减少考场作弊情况的发生，本发明结构简单，使用方便，但对学校的学习风气有很大的帮助，适合推广使用，本发明还可以作为普通的课桌使用，适用范围较广。

摘要： 一种装置用于选择一第一编码演算法以及一第二编码演算法的其中之一以编码一音信，以得到音信的一编码版，一滤波器接收音信、减少音信的谐波的振幅、并输出音信的一滤波版。第一估计器使用音信的滤波版来估计音信的一信噪比或一分段式信噪比，以作为音信的一第一品质测量，非实际上使用第一编码演算法来编码与解码音信。第二估计器估计一信噪比或一分段式信噪比以作为音信的一第二品质测量，非实际上使用第二编码演算法来编码与解码音信。控制器依据在第一品质测量与第二品质测量之间的比较而选择第一编码演算法或第二编码演算法。

摘要： 本申请涉及选择第一编码演算法和第二编码演算法之一的装置与方法。一种装置用于选择一第一编码演算法以及一第二编码演算法的其中之一以编码一音信，以得到音信的一编码版，一滤波器接收音信、减少音信的谐波的振幅、并输出音信的一滤波版。第一估计器使用音信的滤波版来估计音信的一信噪比或一分段式信噪比，以作为音信的一第一品质测量，非实际上使用第一编码演算法来编码与解码音信。第二估计器估计一信噪比或一分段式信噪比以作为音信的一第二品质测量，非实际上使用第二编码演算法来编码与解码音信。控制器依据在第一品质测量与第二品质测量之间的比较而选择第一编码演算法或第二编码演算法。

摘要： 一种高中数理化演算用演算纸固定装置，包括箱体，箱体顶面开设矩形凹槽，矩形凹槽内底面左侧开设两个相互平行的长条孔，长条孔与箱体的左端面平行，矩形凹槽内底面的前侧开设两个矩形孔，矩形孔位于矩形凹槽内部靠近右端处，矩形凹槽的前后两内侧面对称开设第一长条槽，两条第一长条槽之间设有矩形活动板，矩形活动板的前后两端的左右两侧均固定安装导向块。本发明可以帮助学校有效的整治考场风气，减少考场作弊情况的发生，本发明结构简单，使用方便，但对学校的学习风气有很大的帮助，适合推广使用，本发明还可以作为普通的课桌使用，适用范围较广。

摘要： 一种装置用于选择一第一编码演算法以及一第二编码演算法的其中之一以编码一音信，以得到音信的一编码版，一滤波器接收音信、减少音信的谐波的振幅、并输出音信的一滤波版。第一估计器使用音信的滤波版来估计音信的一信噪比或一分段式信噪比，以作为音信的一第一品质测量，非实际上使用第一编码演算法来编码与解码音信。第二估计器估计一信噪比或一分段式信噪比以作为音信的一第二品质测量，非实际上使用第二编码演算法来编码与解码音信。控制器依据在第一品质测量与第二品质测量之间的比较而选择第一编码演算法或第二编码演算法。

摘要： “积坐标系数学演算盘(简称“积盘”)和演算法”是进行形象、系统化数学教学(或自学)的设备和方法。“积盘”是新型广泛的“形”(动图)、“数”(变数)对应系统，能把函数的“函线”(即图像)进行微分变换使其降次简化和直观量化(如把二次抛物线降、简为斜、截式直线)因而能使许多数学问题变得简明好懂。演算法是依据已知，在“积盘”中组建起“形”、“数”对应的数学“模型”进行“演算”(在演示题意、算理、显现数量关系或算式的同时“算”出答案)式教学来帮人认识理解抽象的数学问题，使人加深理解印象、克服死记和遗忘以提高教学效率和质量。能演算或演证从简单的四则运算、分数比例、一二次函数，直到微积分方面的数学问题。它有普通、精致、微机三种型号，微机型效果最好。

摘要： 本发明提供了面向多动态目标无线传能的快速时间反演算法及生成装置，以时分复用的模式控制多目标传能，以射频混频的形式实现相位共轭，基于外差混频的方向回溯阵列，实现了基于相位共轭进行无线传能，以及多动态目标无线传能的自适应跟踪。本发明的技术要点包括基于时分复用的模式控制、导航信号发射接收、相位共轭信号处理以及速调管放大等主要技术。本发明基于时分复用与相位共轭进行无线传能，解决了点对多点的运动目标传能问题，可应用于中低速移动目标的微波无线传能系统。本发明通过转发天线单元接收到任意方向的来波且满足相位共轭原理，对任意方向的来波进行回溯，原理简洁，方案简单高效，有较强的工程实用性。

摘要： 本发明公开一种加强声音定位与侦测范围的组合演算方法，包括以下步骤：播放一段测试音频；多路声音输入设备接收测试音频并进行多次采样得到对应的采样值；对采样信号分别归档区分出负责不同距离的多组设备的采样值；判断哪组设备是有效可信任的采样值；对该组声音输入设备采样值进行归一化；根据先前训练好的每个设备的模型预测声音到每个设备的距离；通过三角函数公式计算出声音与设备的角度来判断声音位置。本发明通过多组相对检测范围较小和精准度一般的声音输入设备的组合，实现对更广范围和距离的声音检测和定位。

摘要： 本实用新型公开了演算板领域的一种大数据演算用多功能演算板，包括展示板，展示板的左侧面固定镶嵌有演算板，展示板的正面固定连接有储物盒，储物盒的内底壁固定连接有工具箱，工具箱的上方放置有盖板，盖板的底面与工具箱的上表面相接触，储物盒的内底壁固定连接有放置盒，通过设置有展示板，能够进行展示工作，避免了演算过程中展示存在不足的问题，通过设置有演算板，能够在演算板上进行演算操作，有效的避免了演算过程中存在困难的问题，通过设置有防护门，起到了对演算板防护的作用，避免了演算板出现损坏的问题，通过在储物盒的内部放置多个物品，避免了演算板功能单一，只能实现演算的功能，存在不能进行其他功能的问题。

摘要： 本实用新型公开了一种用于数学公式演算的演算装置，所述演算板本体由第一板体、第一延伸板、第二延伸板和第三延伸板，所述第一板体设置为方形，所述第一板体的上端固定设置有提手，所述提手上设置有贯穿性的挂孔，所述第一板体的一侧设置有第一延伸板，所述第一延伸板通过活动搭扣与第一板体相连接。本实用新型一种用于数学公式演算的演算装置在保证数学教学工作者对需要演示的数学公式进行全面演算的同时且有效的提高了数学教学工作者的工作效率，另外本实用新型既便于数学教学工作者对待演示的数学公式进行备课且有效的避免了演算板上的备课内容受到外界的刮蹭，进而有效的提高了数学教学工作者的教学质量。