名词数理逻辑，逻辑符号
1. 符号逻辑：1881年英国数学家范恩(John Venn, 1834-1923)出版的<<符号逻辑>>(Symbolic Logic)书中,改良了尤拉的原始想法,创造出知名的范氏图(Venn diagram). 范氏图的方法是处理牵涉到命题变数的逻辑论证. 各个命题变数分别以互相重叠的圆来表示,
2. 符号逻辑[学]：二进法算术与布尔(George Boole)发明的符号逻辑学(Symbolic logic)有密切关系. 电子计算机采用二进法,里面所有开关电路(Switchingcircuits)的作用都可以用符号表示;电路的简化,往往借助符号逻辑学的定理. 电子计算机的设计师,
3. 数理逻辑：symbol 符号 | symbolic logic 数理逻辑 | symbolic 象征的
4. 符号逻萝辑：syllabric articulation 音节清晰度 | symbolic logic 符号逻萝辑 | symmetrical circulator 对称环行器
noun
1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Synonym: mathematical logic formal logic