符号逻辑

注释

数理逻辑。