符
号
逻
辑
fú hào luó jí
基本释义
数理逻辑。
英文翻译
Symbolic logic