符号逻辑

数理逻辑。