第133章 符号逻辑推理的数学模型(第4页)