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

作　　者：王小花[1] 郭萍[1] 耿学华[1] 

机构地区：[1]南京信息工程大学计算机与软件学院,江苏南京210044

出　　处：《黑龙江科技信息》2011年第28期237-237,236,共2页Heilongjiang Science and Technology Information

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

关 键 词：数理逻辑 命题演算 谓词演算 置换 代换 

分 类 号：O141[理学—数学]