| 释义 |
symbolic logic
符号逻辑学
The discipline in which valid argument and operations are dealt with using an artificial language designated to avoid the ambiguities and logical inadequacies of natural languages.
为了避免自然语言的模糊性和逻辑上的不充分性,利用专门设计的人工语言来处理合法的 论证及运算的一门学科。同mathematical logic。 |