简析逻辑推演--程序设计在现实生活中的应用(一)