共查询到10条相似文献，搜索用时 187 毫秒
1.
董英东 《毕节师范高等专科学校学报》2014,(8):1-7
每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。 相似文献
2.
每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。 相似文献
3.
斯多葛学派是古希腊在逻辑上可以跟亚里士多德逻辑相媲美的学派。他们所建立的命题逻辑系统是运用自然推理的方法 ,把命题逻辑加以形式化 ,是最早的一个自然推理系统。该派认为 ,运用他们的命题逻辑系统中的 5个不可证式作为基本推理规则 ,借助 4个元逻辑规则 ,可以推论出命题逻辑系统的全部正确的推理形式。但从现代逻辑的角度来考察斯多葛学派命题逻辑系统 ,却发现它是一个不完全的系统。 相似文献
4.
知识蕴涵模态逻辑系统 总被引：3，自引：1，他引：2
使用经典逻辑对海量知识系统进行分析处理和信息挖掘,需要解决的关键问题之一就是司各脱法则问题.基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略.在根据这种策略而建立的知识蕴涵命题逻辑系统中:1.蕴涵关系符合直觉;2.经典逻辑中基本的逻辑规律在该系统中得以保留;3.不改变经典否定、合取的性质;4.司各脱法则不成立.在知识蕴涵命题逻辑的基础上,构建了一个知识蕴涵模态命题逻辑系统,它可以描述包含模态信息的不协调知识系统的推理机制.根据给出的形式语义,证明了该系统的可靠性和完全性,并且证明了严格蕴涵悖论在该系统中不会出现. 相似文献
5.
王玉红 《赤峰学院学报(自然科学版)》2011,27(2):66-67
数理逻辑就是精确化、数学化的形式逻辑.它是现代计算机技术的基础.数理逻辑包括两个最基本的组成部分,就是"命题逻辑"和"一阶谓词逻辑".其中命题逻辑又被称为二值逻辑,它的运算特点同电路设计中的开与关、高电位与低电位等现象完全一样,都只有"0"、"1"两种不同的状态,因此,它在电路设计分析中有着广泛而重要的应用. 相似文献
6.
自然语言逻辑与形式语言逻辑(命题逻辑等)的差别，主要在于一个研宄自然语言指号系统，一个研究形式语言指号系统，而两种指号系统的重要差别表现在语用方面。语用学与自然语言逻辑具有密切的关系，如果说形式语言逻辑是语义逻辑，那么自然语言逻辑是语用逻辑。作为语用逻辑，着重研究语用推理，如行事推理、语境推理。 相似文献
7.
王国俊提出了命题真度的概念,它与命题逻辑等价的概念不同,但它们之间具有一定的联系．文中通过在全体公式之集上引入某种等价关系,给出了二值命题逻辑中命题真度相同与逻辑等价的关系． 相似文献
8.
苏国鑫 《中山大学学报论丛》2008,1(3)
非直谓现象普遍存在于许多领域中.在数学中,对集合的最小元的定义是非直谓的.在逻辑中,岁素悖论的产生是由于允许非直谓地定义一个集合,即"所有不包含它自身的集合的集合".莱布尼兹对"同一性"的定义--"a与b是相同实体当且仅当对所有性质f,如果f(a)则f(b),反之亦然"--是非直谓的.罗素构造分歧类型论的动机不是来自形式系统的悖论,而是来自日常语言中的悖论.本文的目标是构造一个量化命题逻辑米刻画关于特定的非直谓语句的推理.一个非直谓语句的表达预设了一个语句集,一个典型的非直谓语句是"拿破仑具备一名伟人将军的所有德性"(罗素的例子).本文所关注的足"一阶"非直谓语句,即仅预设直谓语句集的非直谓语句.非直谓语句的一个性质是:一个非直谓语句等价于它所预设的语句集中的成员(可能无穷)的合取.这一性质需要在要构造的逻辑系统的句法中被表达出米,而针对此本文所采川的手段足在命题逻辑系统的符号中加入"命题量词",也就是说本文要构造一个量化命题逻辑系统.在形式化部分,本文给出了这个逻辑的句法、语义、希尔伯特公理系统和它的完全性证明. 相似文献
9.
现代逻辑的奠基者之一皮尔士在1896年创造了存在图系统,存在图由Alpha图、Beta图和Gamma图三个部分组成,分别对应于古典命题逻辑、谓词逻辑、模态逻辑与高阶逻辑。首先介绍皮尔士的Alpha图,针对它的非组合性提出一个递归定义来刻画一部分皮尔士原来的Alpha图,并给出这部分Alpha图的一个形式推演系统。 相似文献
10.
二值命题逻辑中τ(A→X)=α型逻辑方程在有限理论结论集的结构研究中有着重要应用.讨论基于真度的τ(A→X)=m/2n型逻辑方程的解在逻辑运算下的相关性质,给出反映其解集结构的几个数值特征的数值表示,为进一步研究该类逻辑方程的解集以及应用提供数值化结果. 相似文献