词语

符号逻辑

fú hào luó jí

数理逻辑。