命题函数相关论文
"形式蕴涵"理论是弗雷格"命题函数"和"逻辑量词"两大发现的结晶,而"实质蕴涵怪论"之"严峻反例"疑难的出现,源自由"命题......
1 预备知识谁都知道汉语、英语等这些自然语言是人们交流思想的工具,它既可以表达精确而深刻的思想;又能表达模棱两可的糊涂观念.......
题目(2011年北大等十三校联考(北约)自主招生第7题)求|x-1|+|2x-1|+…+|2011x-1|的最小值.本题作为最后的压轴题,完解本题,意义非......
请下载后查看,本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view......
请下载后查看,本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view......
本书著者Carnap君是近年新起的所谓维也纳国有力人物之一,对於数理逻辑显扬极力者。现在这本小书不仅是数理逻辑钜典Principia Mat......
从形式蕴涵看“实质蕴涵怪论”,是化解实质蕴涵理论之“严峻反例”的谓词逻辑路径,旨在纠正经典命题逻辑定理在条件句分析中的误用......
师专现用《初等代数研究》教材中,用平均数代换法证明例题:若a>0,b>0,且a+b+c=1求证:(a+1/a)3+(b+1/b)3+(c+1/c)3≥1000/9是错误的,本文给出一种正确......
从逻辑电路、逻辑网络图和事故树等几个方面论述了命题逻辑在简化方面的途径,具有一定的实用价值。......
函数f(x)=x+1x的一个应用雷正才(湖南省娄底一中417000)我们知道,利用函数的单调性可以比较有关数值的大小,因而利用函数的单调性可以证明有关不等式.下......
<正> 本书作者盧卡西维茨,是波兰著名的数理逻辑学家,并且他精通希腊文,曾根据希腊原文直接研究亚理士多德的逻辑学著作。因此,这......
1 引言 我们知道,有界、收敛、一致收敛、一致连续等概念,是数学分析中的重要基本概念,要理解这些基本概念,不但要知道它的正面,还......
请下载后查看,本文暂不支持在线获取查看简介。
Please download and view, this article does not support online access to vie......
<正> 物质客体的属性要阐明物质客体范畴,还必须进一步分析属性范畴。这里所讲的属性就是物质客体的属性亦即物质实体的属性。不......
本文提出了命题多项式,0-1命题多项式的概念,应用它们,实现了命题函数的解析化。...
命题函数y=a/cosx+b/sinx,(a、b∈R~+),x∈(0,1/2π)的最小值为(((a~2)~(1/3)+(b~2~(1/3))~3)~(1/2) 证明∵a~(1/3)cosx+b~(1/3)s......
中介逻辑ML是根据中介原则构造的一种新的、非古典的逻辑演算系统,详见文[1,2]。本文给出了ML的一种模型,即ML理论的一种语义解释......
<正> 本文给出一种计算命题(也称命题函数或真值函数)“真、假”值的方法,应用它可以为一类逻辑方程(组)提供新的解法。 为了行文......
从形式蕴涵看“实质蕴涵怪论”,是化解实质蕴涵理论之“严峻反例”的谓词逻辑路径,旨在纠正经典命题逻辑定理在条件句分析中的误用......
本研究在前人对现代汉语名词谓语句和国外对非动词谓语句所作研究的基础上,以现代汉语名词谓语句为主要研究对象,首先对汉语中的名词......
罗素的摹状词理论改变了我们对语言的理解,让我们认识到语言在本质上不是表征性的。通过对摹状词理论的辖域问题进行深入的句法分......