符号逻辑

【意思解释】数理逻辑。