qiē/qiè yòng1.谓切实可用。

shù/shǔ/shuò lǐ luó jí亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。

qì yīng1.没人认领的婴儿,被不知名的父母遗弃的婴孩。2.遗弃或抛弃婴儿,尤指遗弃或抛弃在野外的行为。如：反对一切用杀婴、弃婴…来调节生育率的做法。