数理逻辑的例句(数理逻辑在句子中的用法)