汉语词典

符号逻辑

数理逻辑。

词典解释

数理逻辑。