符号逻辑

基本解释：

---

数理逻辑。