Inf是 R 中的保留字，因此在解释器级别处理。也就是说，类似于FALSE & TRUE $\rightarrow$ FALSE和FALSE | TRUE $\rightarrow$ TRUE，当面对翻译时Inf ? Inf，它根据操作来决定做什么?。您可以在后台考虑一组 if-then 规则，将表达式解析为Inffor +and*和NaNfor -and /，不涉及复杂的推理。