导读:本文包含了命题集论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:命题,逻辑,完备,系统,拓扑,定理,模型。
命题集论文文献综述
王昭海,吴洪博[1]（2016）在《命题集F(S)上的一种等价分类方法》一文中研究指出给出了命题集F(S)上的一种等价分类方法,得到一个集合[F]。同时在集合[F]上定义距离ρ及闭包运算C*,得到在[F]上存在唯一的一个拓扑Τ,使得在拓扑空间([F],Τ)中对任意的集合Γ[F]都有C*(Γ)=Γ。(本文来源于《计算机工程与应用》期刊2016年16期）
马垣[2]（2013）在《内涵亏值及二值命题逻辑中命题集合约简》一文中研究指出求命题集所有可能的约简是二值命题逻辑的一个重要课题.目前的算法都是逐一求单个约简,汇总起来得到所有可能约简.文中应用形式概念的理论,提出内涵亏值、亏值超图等思想,给出一次即可求出所有约简的算法.该算法使计算全部约简的运算次数大为减少.(本文来源于《模式识别与人工智能》期刊2013年10期）
任燕,王洪涛[3]（2009）在《二值命题逻辑中的极大命题集与完备命题集》一文中研究指出系统讨论了二值命题逻辑系统中极大命题集与完备命题集,给出了两种命题集的等价描述和表示定理,揭示了极大命题集和完备命题集的深刻内涵和联系。(本文来源于《模糊系统与数学》期刊2009年03期）
李立峰[4]（2009）在《n值命题逻辑系统L_n*中有限命题集的相容性与约简》一文中研究指出设Γ为有限命题集,首先讨论了Γ在不同的n值命题逻辑系统Ln*中的相容性问题,提出了Γ的约简理论,从命题集Γ所诱导的多值形式背景出发,运用概念格的方法从Γ及其子集的关系出发给出了Γ约简的判定定理。(本文来源于《计算机工程与应用》期刊2009年13期）
李立峰,张建科,冯锋[5]（2009）在《■ukasiewicz命题逻辑系统中有限命题集的约简理论》一文中研究指出在n值■ukasiewicz命题逻辑中提出了命题集Γ的约简理论,引入由命题集Γ所诱导的形式背景的概念,从Γ及其子集的关系出发给出了n值命题逻辑中有限命题集Γ约简的判定定理以及求Γ约简的方法。说明了无穷值■ukasiewicz命题逻辑中命题集Γ的约简可转化为n值情形。(本文来源于《计算机工程与应用》期刊2009年07期）
任燕,王洪涛[6]（2008）在《二值命题逻辑中的极大命题集与完备命题集》一文中研究指出本文系统的讨论了二值命题逻辑系统中极大命题集与完备命题集,给出了两种命题集的等价描述和表示定理,揭示了极大命题集和完备命题集的深刻内涵和联系.(本文来源于《第六届中国不确定系统年会论文集》期刊2008-08-01）
刘保翠,王国俊[7]（2007）在《命题集F(S)基于相似关系定义的拓扑》一文中研究指出在命题集F(S)上利用相似关系进行等价分类,得到一个集合〔F〕.在集合〔F〕上定义距离p及闭包运算C*,则在〔F〕上存在唯一的一个拓扑T使得在拓扑空间(〔F〕,T)中,对任意的集合Γ〔F〕都有C*(Γ)=Γ.(本文来源于《安康学院学报》期刊2007年03期）
李立峰,王国俊[8]（2006）在《Lukasie wicz命题集的积分真度、发散度与相容度的分布》一文中研究指出研究了Lukasiewicz命题集的积分真度、发散度与相容度在[0,1]中的分布问题.利用一组公式所对应的McNaughtom函数,证明了Lukasiewicz逻辑系统中积分真度之集在[0,1]中稠密、发散度取值之集在[0,1]中稠密.结果表明,当Γ有限且相容时,相容度取值之集在[1/2,1]中稠密.(本文来源于《陕西师范大学学报(自然科学版)》期刊2006年02期）
任燕,马晓珏,王洪涛[9]（2006）在《~*命题集的约简及命题集的根》一文中研究指出本文的主要目的有两个,第一,在*系统中给出了独立命题集的概念,并定义了命题集的约简;第二,讨论了命题集的根。(本文来源于《模糊系统与数学》期刊2006年02期）
任燕[10]（2004）在《命题集的相容性、根及发散性》一文中研究指出本文涉及叁个命题逻辑系统：二值经典逻辑系统，Lukasiewicz逻辑系统和L~*逻辑系统，主要内容是在不同的逻辑系统中有重点的讨论命题集的相容性、命题集的根以及命题集的发散性与相容性之间的关系。 在任何逻辑系统中，命题集的相容性都是一个十分重要的问题。命题集是相容的或是不相容的是我们对命题集的好坏最简单也是最直接的分类。我们主要关心的当然是相容的命题集，所以有必要讨论命题集的相容性，从而把不相容的命题集分离出来。本文的第一章主要在L~*系统中讨论了命题集的相容性，详细研究了两种特殊的命题集-极大命题集和完备命题集，并给出了具体的例子加以说明，中间穿插说明与二值逻辑系统中相应性质的差异。 在逻辑学中，人们把各种具体的命题抽象化为符号，如A，B，C等。并可利用逻辑连接词对这些代表命题的符号(公式)进行运算以得更多的公式。一个自然的问题是给定了一组公式Γ，从Γ出发可以“推出”哪些公式?即，若以D(Γ)表示全部Γ-推论之集，那么D(Γ)这个集合是怎样的?王国俊教授在文献[1]中首次提出在命题集F(S)中引入伪度量p，通过p可以计算D(Γ)的直径，从而了解D(Γ)的大体情况。同时，王教授也在文献[1]中首次提出了关于命题集Γ的根的概念。从根的意义上看，只要知道了Γ的最小推论(即根)，把比它大的公式拿来就得出了Γ的全部推论。但文[1]只证明了二值命题逻辑系统中公式集F(S)的每个有限子集都有根，对于L~*系统，命题集Γ的根的存在性及性质并未涉及。在本文的第二章中，主要讨论并回答了这个问题。此部分中首先给出独立命题集的概念，并在独立命题集中得到：任一有限的独立命题集的根都存在，给出了根的一般表达式；任一无限的独立命题集的根都不存在。而后又定义了命题集的约简，利用约简的定义把根的存在性的问题推广到一般的命题集上，对根的概念及其应用作了较深入细致的分析及推广。 既然命题集的相容性是任何逻辑系统所关心的，那么一个自然的问题是：命题集的相容性是否有程度之分?命题集的发散度的引进为解决这一问题提出了一种有利的工具。发散度的值在[0，1]中变化，称发散度为1的公式为全发散的，那么显然不相容的命题集是全发散的。反过来，全发散的命题集是否必为不相容的?这是一个尚不清楚的问题。本文的第叁章中，在我们所涉及的叁个系统中均回答了这一问题。关于命题集的相容度是否有程度之分，以及关于命题集的相容度的计算问题，文[40]针对Luksiewicz逻辑系统中的有限命题集提出了相容度函数，用来刻画有限命题集的相容度，对于无限命题集文[40]并没有给出相容度函数.第叁章的最后一节受文阵01的启发，讨论了二值经典逻辑系统命题集的相容度的计算问题，给出了任意命题集相容度函数，同时也把文【40]所给的函数推广到一般命题集上.同时也可以看出，这种推广在满足紧致性的系统中具有一般性.(本文来源于《陕西师范大学》期刊2004-04-01）
命题集论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
求命题集所有可能的约简是二值命题逻辑的一个重要课题.目前的算法都是逐一求单个约简,汇总起来得到所有可能约简.文中应用形式概念的理论,提出内涵亏值、亏值超图等思想,给出一次即可求出所有约简的算法.该算法使计算全部约简的运算次数大为减少.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
命题集论文参考文献
[1].王昭海,吴洪博.命题集F(S)上的一种等价分类方法[J].计算机工程与应用.2016
[2].马垣.内涵亏值及二值命题逻辑中命题集合约简[J].模式识别与人工智能.2013
[3].任燕,王洪涛.二值命题逻辑中的极大命题集与完备命题集[J].模糊系统与数学.2009
[4].李立峰.n值命题逻辑系统L_n*中有限命题集的相容性与约简[J].计算机工程与应用.2009
[5].李立峰,张建科,冯锋.■ukasiewicz命题逻辑系统中有限命题集的约简理论[J].计算机工程与应用.2009
[6].任燕,王洪涛.二值命题逻辑中的极大命题集与完备命题集[C].第六届中国不确定系统年会论文集.2008
[7].刘保翠,王国俊.命题集F(S)基于相似关系定义的拓扑[J].安康学院学报.2007
[8].李立峰,王国俊.Lukasiewicz命题集的积分真度、发散度与相容度的分布[J].陕西师范大学学报(自然科学版).2006
[9].任燕,马晓珏,王洪涛.~*命题集的约简及命题集的根[J].模糊系统与数学.2006
[10].任燕.命题集的相容性、根及发散性[D].陕西师范大学.2004
论文知识图
