您现在的位置是:首页 > 词典 > 现代学科

多值逻辑

分类:现代学科1244字

多值逻辑是一门研究具有有穷或无穷多个真值的命题的逻辑演算,以及这些演算的逻辑性质的逻辑学科。它是现代逻辑的一个分支。

古希腊亚里士多德(Aristotle)曾经讨论过命题除“真”“假”之外的另一种真值“未来可能”。例如,命题“明天发生海战”,就可以既不取值真、也不取值假,而取第三种真值——至少在事件发生以前——“未来可能”。近代,多值逻辑是由麦克柯尔(MacColl,H.)提出来的。他认为命题除了取真假二值外,还可以取必然、不可能和可能这些模态值。20世纪20年代早期,卢卡西维茨(Lukasiewicz,J.)和波斯特(Post,E.L.)分别建立三值逻辑系统。1930年,卢卡西维茨又把他的三值逻辑推 ......     (共1244字)    [阅读本文]>>

其他相关分类

推荐内容

  • 现代学科

    人-机系统

    人-机系统是研究在一定的环境条件下、为达到某些整体性目标而存在交互作用的人和机的组合的学科,属于工程控制论与生物医学工程等基本学科中的交叉学科。人-机系统的组成原理图在下图中示出。人-机系统组成原理图图

    1121字 56
  • 现代学科

    自适应控制

    自适应控制是一门研究具有不确定性系统控制问题的学科。它是“工程控制论”基本学科中的一个分支学科。由于自适应控制适用的领域很广,加上有些系统的自适应控制律与非线性或时变控制律没有明显的界限,因此自适应控制

    1384字 20
  • 现代学科

    材料科学

    材料科学是研究材料的化学组成、结构及其特性,并在此基础上研制具有性能和新功能的新型材料及其应用的一门科学。材料科学是20世纪60年代才发展起来的一门新学科。近代化学和物理学的发展,为揭示物质本质的奥秘提

    757字 35
  • 现代学科

    经典控制理论

    经典控制理论是一门研究单输入单输出线性时不变反馈控制系统的学科,它属于工程控制论基本学科中的一个分支学科。自动控制理论是自动化技术的基础理论,按它的发展过程大致可划分为经典控制理论、现代控制理论和大系统

    1492字 31
  • 现代学科

    复变函数论

    复变函数论是一门研究以复数为自变量函数的性质,理论及其应用的数学分支。形如z=x+iy或z=x+yi的数,称为复数,其中x,y为任意实数,分别称为复数z的实部与虚部。i(i2=-1)称为虚数单位。复数可

    1069字 18