符号替代法是把问题事件中的重要概念和结论用符号表示以帮助推理的过程。