命题演算相关论文
<正> 《辞书研究》1984年第2期上,有一篇徐庆凯同志的文章《从辞书学角度评<逻辑学辞典>》。这篇文章说:“《逻辑学辞典》……填补......
主要讨论中介逻辑命题演算系统MP中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾......
一、问题的提出(一) 在命题演算中讨论的联结词有下列五种: 1、非,由它可以从A作出“非A”,“非A”叫做A的否定式,记为(?)。
Fir......
语篇都由一定数量的语义块和言语行为块在不同心理操作层次上组合构成。从宏观语义角度看,语篇的宏观结构(即语篇最高宏观命题)可......
一、引言逻辑推理是一种思维形式。它是由一个或几个命题推导出新命题的过程。逻辑代数中的命题运算正是由一个或几个命题构成一......
本文给出划分一种LSI版图设计图形为曝光单元集的一个算法。该算法可同时获正、反两种曝光单元集,为曝光方式的选择提供了灵活性。
In......
人工智能是研制出具有智能行为的计算机系统。要想让计算机具有智能,最根本的和首要的是要计算机具有推理能力。而推理理论恰恰是......
在古典的二值逻辑 CL(Classical Logic)中,每一命题X的真值取自二元集合{0, 1},即T(X)=0与T(X)=1为两种极端的稳定状态;因此CL只......
本文给出了一个用来描述不精确推理模型中各个要素及它们之间关系的抽象模型.
This article presents an abstract model that de......
在知识表示和自动推理领域,命题逻辑是一种极其重要的形式化语言,其中命题逻辑可满足性问题是研究最广泛的核心问题之一,约简命题逻辑......
吴洪博博士蒋王国俊教授在R0逻辑系统中的广义重言式理论推广到Godel逻辑系统中,通过定义两个同构映射,得到其逻辑系统F(S)的一个......
研究了模糊命题演算的形式演绎系统 *和修正的Kleene逻辑系统W,W,Wk及R0-代数.给出了 *系统的半对偶形式系统S * ;与交推理规则相......
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*及与之在语义上相关的R0-代数,讨论了R0-代数中混合运算():a()b= (a→()b)的......
研究了模糊命题演算的一种形式演绎系统L*和修正的Kleene逻辑系统W-,W,Wk及R0-代数,给出了L*系统的一种弱完全对偶形式系统WCL-*,......
本文将王国俊教授在逻辑系统,W,Wk中的广义重言式理论进行推广并应用到了Go(o)del逻辑系统(G-),G,Gn中.主要结果是 :在逻辑系统(G-......
研究了王国俊教授建立的模糊命题演算的形式演绎系统 *以及在语义上相关的修正的Kleene逻辑系统W,W,Wk,给出了 *系统的一种改进系......
研究模糊命题演算的形式演绎系统L*和Lukasiewicz命题演算系统Lu,提出基础系统L*--BL*系统,证明BL*系统的一种扩张与Lukasiewicz系......
本文试图用数学集合试方法,研究思维的各种现象,引进思维空间、思维元集合、思维对象等概念,并以此研究思维对等,思维包含,思维背......
将王国俊教授在逻辑系统W,W,Wk中的广义重言式理论进行推广,并应用到了Gainse-Rescher逻辑系统Gr,Gr,Sn中,主要结果是:在逻辑系统Gr,Gr中,重言式不可能由对非重言式进行有......
用计算机解决数理逻辑命题演算中的部分命题表达式的证明问题。...
研究了王国俊教授建立的模糊命题演算的形式演绎系统T以及在语义上相关的修正的Kleene逻辑系统W,W,Wk,给出了T系统的一种改进系统T0,并......
利用命题演算可以解决一类逻辑推理问题,但就在命题演算过程中,常会遇到一些困难,本文通过典型例子说明利用逻辑方程求解技巧可避免这......
一、引言理论计算机科学的发展吸取了大量数学和逻辑上的重要成果.逻辑是理论计算机科学十分重要的基础之一,而其中又以直觉主义逻......
随着高中新课改的普及,高考对考生创新能力的要求逐渐加强,创新型试题的命制更是常考常新,但总体上都是考查同学们能综合运用所学......
中介命题演算扩张系统MP~*,是在中介命题演算系统MP中增加了一条命题的原始联结词“(?)”而构成的。因此,关于MP~*的完备性,只需在......
提出采用时序逻辑系统描述故障的概念,推演故障的性质和相互关系,对故障进行分类,并预测将发生的故障。以网络故障预测问题为例说明这......
本文试图进一步实现G.W.Leibniz提出的数理逻辑几何化设想。为此,探讨了谓词演算的几何建模与图象算法。文中提出了:①量词状态图......
文[1,2]给出了中介逻辑的命题演算系统MP及MP~*,文[3]给出了MP~*的语义解释并证明了MP~*在此语义解释下的可靠性、完备性定理。但......
<正> 在这一讲中,我们将更深入地研究逻辑数学。更正式地,这种运用数学手段研究逻辑的科学,叫做数理逻辑学。当然,更细致地说,这个......
【正】 “次协调逻辑”(para-consistent logic)这个术语意味着,新逻辑的协调性次于经典逻辑,但又远高于完全不协调系统。换句话说......
次协调逻辑学说是越来越引人注目的一种国际逻辑新思潮。它是与数理逻辑、辩证逻辑、人工智能三方面都有密切关系的一种新颖奇特的......
研究了模糊命题演算的一种形式演绎系统T^*-和修正的Kleene逻辑系统W^-,W,Wk及R0-代数,给出了T^*-系统的一种弱完全对偶形式系统WCT......
研究了王国俊教授建立的模糊命题演算的形式演绎系统T^*及与之在语义上相关的R0-代数,讨论了R0-代数中混合运算×:a×b=_(a→_b)......
逻辑是古老而至今还十分兴旺发达的科学。它有许多类型。而其中,符号逻辑可称为传统逻辑的现代类型,它发展得最为成熟,并且硕果累......
现代规范逻辑的类型和系统是很多的,本文评价其中六个类型的若干系统。六个类型是指:一元规范命题逻辑和二元规范命题逻辑,他们各......
一引言《系统辩证论》最大的特征是使社会科学研究方法进一步科学化,也即把系统理论引入社会科学研究中来。更有意义的是强调在任......
【正】 根据教学计划,八六级计算机应用专业第一学期开设《离散数学》。该课是计算机专业的专业基础课。虽说是门数学课,但是以计......
通过真值表技术把一个命题演算的合式公式化成主析取(主合取)范式在数理逻辑教学中是比较抽象的内容,如果把握住小项的编码的性质,......
【正】逻辑代数的建立,展示了形式逻辑的改造,宣告了数理逻辑的诞生。然而,它在形式逻辑和数理逻辑中并未得到系统的运用。问题在......
本文作者在1997年第一期<河北大学学报>(自然版)上曾发表了<全功能运算集>一文.<再谈全功能运算集>进一步对命题演算中所有的二元......
今天,数理逻辑可以说已经是一门成熟的科学,它的内容十分丰富,它弥补了传统逻辑的不足。爱尔兰数学家布尔(G.Boole)仿照数学的方式......
作者研究λ演算中第二不动点的性质,首先关于第二不动点的3个例题之间的关系且证明了这们,然后为第二不动点组合子给以一个充分条件且......