定义的使用

　　 现在继续研究简化表达式时所牵涉到的第三个(即最后一个)基本活动:函数定义的使用。 假定有形为 (f v_1…v_n)=体的一个函数定义。 在用t_i代换体中的相应形参之后,由等式公理知,可用f之体替代f的一次调用:……