一阶逻辑相关的词语大全

“一阶逻辑” 相关的词语大全

一阶逻辑 [ yī jiē luó ji ]

合逻辑 [ hé luó jí ]
一个论证在逻辑的推理形式上是正确的，称为「合逻辑」。

布尔（george boo [ bù ěr ]
人名。（公元1815～1864）英国有名的数学家和逻辑学家，终身致力于近代符号逻辑的建立，是近代逻辑代数的开拓者。公…

数理逻辑 [ shù lǐ luó ji ]
数学的一个分支，用数学方法研究推理、计算等逻辑问题。也叫符号逻辑。

命题逻辑 [ mìng tí luó jí ]
逻辑的一种形式。把命题作为一个整体，研究命题公式的真假关系及推理的逻辑系统。

无矛盾律 [ wú máo dùn lǜ ]
统逻辑基本规律之一。

逻辑树 [ luó jí shù ]
以分支表现的一种逻辑规格方法。逻辑树的每一个分支点均是一个决策点，分支代表要采取之行动。

理则 [ lǐ zé ]
（一）、即逻辑。（二）、原理法则。

布尔算符 [ bù ěr suàn fú ]
搜索引擎中的一种逻辑算符。

分层理论 [ fēn céng lǐ lùn ]
数理逻辑中递归论的一部分。

逻辑代数 [ luó jí dài shù ]
又称“布尔代数”、“开关代数”。研究逻辑问题的一门数学。是现代数学中的一个重要分支。由英国数学家布尔提出。其逻辑变量…

现代逻辑 [ xiàn dài luó jí ]
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们…

布尔代数 [ bù ěr dài shù ]
是一个用于集合运算和逻辑运算的公式。

辩学 [ biàn xué ]
（一）、关于辩论的学问。（二）、逻辑学的旧称。

命题演算 [ mìng tí yǎn suàn ]
符号逻辑的一种系统，以命题为单位，藉逻辑连接词予以结合，且逐步推论以决定命题的真假值。亦探讨逻辑连接词的性质、命题公…

博弈逻辑 [ bó yì luó ji ]
博弈逻辑 - 简介 博弈论研究人类活动中的互动行为，在经济学中得到广泛的运用。在博弈论中，人类的所有活动，只要是互动…

断案 [ duàn àn ]
（一）、审判诉讼案 件。（二）、逻辑中三段论式中的结论。

跳变 [ tiào biàn ]
连续的中断；特指逻辑证明中一个必要步骤的遗漏。

阶梯理论 [ jiē tī lǐ lùn ]
（一）、感知运动阶段；（二）、情绪幻想阶段；（三）、表象式思维阶段；（四）、具体运算阶段；（五）、形式运算阶段；（六…

宗因 [ zōng yīn ]
佛教因明学说中的第一和第二支。借指佛学逻辑。

适配 [ shì pèi ]
将一种硬件设计的思想映射到某种可编程逻辑器件中。

理则学 [ lǐ zé xué ]
研究关于推理、思考所得为正、误之一般性原理与法则的学问。一般根据英语 Logic译作「逻辑」、「逻辑学」，依日文译作…

扇入 [ shàn rù ]
在逻辑电路中可能连到逻辑闸电路所允许输入端的数目。亦称为输入端数。例如资料通信中，许多终端输出可能，被扇入一多工器中…

反对判断 [ fǎn duì pàn duàn ]
不能同真但可以同假的两个判断。如“逻辑学是无用的”和“逻辑学是万能的”就是反对判断。对于反对判断，可以由一个判断之真…

逻辑错误 [ luó jí cuò wù ]
违反逻辑规则而产生的错误。如违反同一律而产生的偷换概念，违反矛盾律而产生的自相矛盾，违反排中律而产生的模棱两可。逻辑…