⒈ 数理逻辑。
⒈ 一种逻辑。不限名词和命题，将其关系用数学符号表达，而以数学运算的方式，据以推断论证命题的结果，有执简衘繁的功效。
1、实验表明，智能神经网络系统组成原理将面向对象、符号逻辑融于神经网络中，提供了构造功能完备的智能系统的途径。
2、本课首先将向你介绍符号逻辑的一个分支，即通常认为成为的句子逻辑或命题逻辑。
3、符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。
