论数理逻辑中的置换与代换

本文介绍了数理逻辑的发展史，论述了数理逻辑中的置换和代换的定义、置换定理和代换定理、二者区别及关系，说明了置换和代换在整个数理逻辑中的地位及重要作用。最后，简单谈了学习数理逻辑对思维和行为的指导作用。