3. 单调推理和非单调推理